BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
thread
Google thread

Tag #thread

591 papers:

ASPLOSASPLOS-2020-VicarteSPF #game studies
Game of Threads: Enabling Asynchronous Poisoning Attacks (JRSV, BS, RP, CWF), pp. 35–52.
IFM-2019-MargariaS #concurrent #industrial
The Digital Thread in Industry 4.0 (TM, AS), pp. 3–24.
SEFMSEFM-2019-WijsW #code generation #composition #concurrent #multi #verification
Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators (AW, MW), pp. 410–429.
HaskellHaskell-2019-ErtelARGC #composition #concurrent #data flow #monad #named #parallel
STCLang: state thread composition as a foundation for monadic dataflow parallelism (SE, JA, NAR, AG, JC), pp. 146–161.
ASEASE-2019-FischerTP #concurrent #multi #source code
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq (BF, SLT, GP), pp. 1150–1153.
ASEASE-2019-PobeeMC #concurrent #multi #performance #source code #transaction
Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs (EBP, XM, WKC), pp. 760–771.
ASEASE-2019-WangZL00L #named #novel #test coverage #testing
MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes (ZW, YZ, SL, JS0, XC0, HL), pp. 722–734.
ESEC-FSEESEC-FSE-2019-PobeeC #concurrent #multi #named #performance #source code
AggrePlay: efficient record and replay of multi-threaded programs (EBP, WKC), pp. 567–577.
ICSE-2019-Yin0L0 #concurrent #parallel #refinement #verification
Parallel refinement for multi-threaded program verification (LY, WD0, WL, JW0), pp. 643–653.
ASPLOSASPLOS-2019-KondguliH #hardware #named #performance #smt #using
Bootstrapping: Using SMT Hardware to Improve Single-Thread Performance (SK, MH), pp. 687–700.
ASPLOSASPLOS-2019-MerrifieldRDE #lazy evaluation #multi #performance
Lazy Determinism for Faster Deterministic Multithreading (TM, SR, JD, JE), pp. 879–891.
CCCC-2019-LiuHWCL0X #compilation #concurrent #kernel #named
PPOpenCL: a performance-portable OpenCL compiler with host and kernel thread code fusion (YL, LH, MW, HC, FL, XF0, JX), pp. 2–16.
ICSTICST-2019-TerragniPB #dependence #generative #parallel #testing
Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies (VT, MP, FAB), pp. 264–275.
FMFM-2018-Laneve #analysis #concurrent #lightweight #source code
A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks (CL), pp. 608–624.
SEFMSEFM-2018-SchuppA #analysis #concurrent #hybrid #multi #safety
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems (SS, ), pp. 89–104.
CIKMCIKM-2018-Avigdor-Elgrabli #email #identification
More than Threads: Identifying Related Email Messages (NAE, RG, IGZ, AR), pp. 1711–1714.
OOPSLAOOPSLA-2018-DrechslerMSM #programming
Thread-safe reactive programming (JD, RM, GS, MM), p. 30.
PLDIPLDI-2018-LiuSWTL #named #parallel
iReplayer: in-situ and identical record-and-replay for multithreaded applications (HL, SS, WW, CT0, TL), pp. 344–358.
ASEASE-2018-BeyerF #concurrent #independence #model checking #multi
Domain-independent multi-threaded software model checking (DB, KF), pp. 634–644.
ASEASE-2018-HabibP #documentation #graph #learning #using
Is this class thread-safe? inferring documentation using graph-based learning (AH, MP), pp. 41–52.
ASEASE-2018-TerragniP #challenge #concurrent #effectiveness #generative #testing
Effectiveness and challenges in generating concurrent tests for thread-safe classes (VT, MP), pp. 64–75.
ESEC-FSEESEC-FSE-2018-Chen00M0 #concurrent #parallel #source code #testing
Testing multithreaded programs via thread speed control (DC, YJ0, CX0, XM, JL0), pp. 15–25.
ASPLOSASPLOS-2018-DeLozierELD #concurrent #named
SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably (CD, AE, BL, JD), pp. 286–300.
ASPLOSASPLOS-2018-FixNAZQA #hardware #parallel #transaction
Hardware Multithreaded Transactions (JF, NPN, SA, HZ, SQ, DIA), pp. 15–29.
CIKMCIKM-2017-HalderKS #concurrent #health #recommendation #topic #using
Health Forum Thread Recommendation Using an Interest Aware Topic Model (KH, MYK, KS), pp. 1589–1598.
LOPSTRLOPSTR-2017-NguyenT #analysis #parallel #source code
CARET Analysis of Multithreaded Programs (HVN, TT), pp. 73–90.
PLDIPLDI-2017-MullerA0 #parallel
Responsive parallel computation: bridging competitive and cooperative threading (SKM, UAA, RH0), pp. 677–692.
POPLPOPL-2017-HoenickeMP #composition #concurrent #verification
Thread modularity at many levels: a pearl in compositional verification (JH, RM, AP), pp. 473–485.
SASSAS-2017-HolikMVW #analysis #heuristic #summary
Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic (LH, RM0, TV, SW), pp. 169–191.
SASSAS-2017-MukherjeePSDR #abstraction #performance #semantics #source code
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs (SM, OP, SS, DD, NR), pp. 253–276.
ESEC-FSEESEC-FSE-2017-GuoCY #concurrent #detection #execution #named
AtexRace: across thread and execution sampling for in-house race detection (YG, YC0, ZY), pp. 315–325.
ESEC-FSEESEC-FSE-2017-KusanoW #memory management #modelling #static analysis
Thread-modular static analysis for relaxed memory models (MK, CW0), pp. 337–348.
ICSE-2017-ChoudharyLP #concurrent #detection #generative #performance #safety #testing
Efficient detection of thread safety violations via coverage-guided generation of concurrent tests (AC, SL, MP), pp. 266–277.
ICSTICST-2017-ChanWSPS #analysis #concurrent #fault #invariant #multi #named #source code #using
IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants (AC, SW0, HS, KP, NS), pp. 184–195.
ICSTICST-2017-ZhangYZLCHL #automation #data flow #parallel #source code #testing
Automated Testing of Definition-Use Data Flow for Multithreaded Programs (XZ0, ZY, QZ, PL, JC, YH, TL0), pp. 172–183.
VMCAIVMCAI-2017-MonatM #abstract interpretation #abstraction #concurrent #precise #relational #source code #using
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions (RM, AM), pp. 386–404.
ICSMEICSME-2016-PintoLCL #energy #java #performance
A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections (GP0, KL, FC, YDL), pp. 20–31.
ICSMEICSME-2016-PintoLCL16a #energy #java #performance
Artifacts for “A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections” (GP0, KL, FC, YDL), pp. 614–615.
SCAMSCAM-2016-MingW #concurrent #control flow #multi #named #performance #profiling
BinCFP: Efficient Multi-threaded Binary Code Control Flow Profiling (JM0, DW), pp. 61–66.
IFM-2016-NazarpourFBBC #component #concurrent #monitoring #multi
Monitoring Multi-threaded Component-Based Systems (HN, YF, SB, MB, JC), pp. 141–159.
IFM-2016-SchellhornTW #proving #towards
Towards a Thread-Local Proof Technique for Starvation Freedom (GS, OT, HW), pp. 193–209.
OOPSLAOOPSLA-2016-DalozeMBM #dynamic typing #performance
Efficient and thread-safe objects for dynamically-typed languages (BD, SM, DB, HM), pp. 642–659.
ASEASE-2016-KroeningPSW #analysis #concurrent
Sound static deadlock analysis for C/Pthreads (DK, DP, PS, BW), pp. 379–390.
FSEFSE-2016-Kusano0 #abstract interpretation #composition
Flow-sensitive composition of thread-modular abstract interpretation (MK, CW0), pp. 799–809.
ICSE-2016-Huang #analysis #concurrent #scalability
Scalable thread sharing analysis (JH0), pp. 1097–1108.
CCCC-2016-CaoV #concurrent #memory management
Reducing memory buffering overhead in software thread-level speculation (ZC, CV), pp. 12–22.
CCCC-2016-HammacherSZH #concurrent #kernel
Thread-level speculation with kernel support (CH, KS, AZ, SH), pp. 1–11.
CGOCGO-2016-SuiDX #analysis #parallel #pointer #source code
Sparse flow-sensitive pointer analysis for multithreaded programs (YS, PD, JX), pp. 160–170.
IJCARIJCAR-2016-AthanasiouLW #bound #equation #using #verification
Unbounded-Thread Program Verification using Thread-State Equations (KA, PL, TW), pp. 516–531.
VMCAIVMCAI-2016-ChakiK #concurrent #model checking #multi
Model Checking with Multi-threaded IC3 Portfolios (SC, DK), pp. 517–535.
CSCWCSCW-2015-Huh #community #health #online
Clinical Questions in Online Health Communities: The Case of “See your doctor” Threads (JH), pp. 1488–1499.
ECIRECIR-2015-BiyaniBCM #analysis #concurrent #online #retrieval #using
Using Subjectivity Analysis to Improve Thread Retrieval in Online Forums (PB, SB, CC, PM), pp. 495–500.
OOPSLAOOPSLA-2015-UpadhyayaR #abstraction #concurrent #effectiveness #java #message passing #virtual machine
Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine (GU, HR), pp. 840–859.
PEPMPEPM-2015-LeCT #concurrent #verification
Threads as Resource for Concurrency Verification (DKL, WNC, YMT), pp. 73–84.
POPLPOPL-2015-Chlipala15a #case study #composition #interface #network #parallel #verification #web
From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification (AC), pp. 609–622.
PPDPPPDP-2015-GrandeBS #concurrent #library
Jthread, a deadlock-free mutex library (JG, GB, MS), pp. 149–160.
ASEASE-2015-InversoN0TP #bound #concurrent #model checking #multi #named
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs (OI, TLN, BF, SLT, GP), pp. 807–812.
ESEC-FSEESEC-FSE-2015-GuJSZL #concurrent #what
What change history tells us about thread synchronization (RG, GJ, LS, LZ, SL), pp. 426–438.
ESEC-FSEESEC-FSE-2015-GuoKWYG #execution #parallel #source code #symbolic computation
Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.
ICSEICSE-v1-2015-KusanoCW #generative #invariant #parallel #source code
Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.
SACSAC-2015-DabrowskiLP #compilation #concurrent
Nested atomic sections with thread escape: compilation (FD, FL, TP), pp. 2099–2106.
ASPLOSASPLOS-2015-Bhatotia0ABR #incremental #library #named #parallel
iThreads: A Threading Library for Parallel Incremental Computation (PB, PF, UAA, BBB, RR), pp. 645–659.
CASECASE-2015-ShellshearCBT #algorithm #concurrent #multi #problem
A multi-threaded memetic packing algorithm for the ISO luggage packing problem (ES, JSC, RB, ST), pp. 1509–1514.
CGOCGO-2015-KimHSLH #architecture #concurrent #cpu #modelling #programming #scheduling
Locality-centric thread scheduling for bulk-synchronous programming models on CPU architectures (HSK, IEH, JAS, SSL, WmWH), pp. 257–268.
DACDAC-2015-YunPB #adaptation #named #parallel #runtime #self
HARS: a heterogeneity-aware runtime system for self-adaptive multithreaded applications (JY, JP, WB), p. 6.
DATEDATE-2015-RawatS #architecture #concurrent #hybrid #manycore #memory management
Enabling multi-threaded applications on hybrid shared memory manycore architectures (TR, AS), pp. 742–747.
HPDCHPDC-2015-AkiyamaT #concurrent #scalability
Uni-Address Threads: Scalable Thread Management for RDMA-Based Work Stealing (SA, KT), pp. 15–26.
HPDCHPDC-2015-LiTKC #named #parallel #visual notation
Transit: A Visual Analytical Model for Multithreaded Machines (AL, YCT, AK, HC), pp. 101–106.
ISMMISMM-2015-Kuszmaul #named #parallel #performance
SuperMalloc: a super fast multithreaded malloc for 64-bit machines (BCK), pp. 41–55.
PDPPDP-2015-Denis #communication #named #parallel
pioman: A Pthread-Based Multithreaded Communication Engine (AD), pp. 155–162.
PDPPDP-2015-FilipponeSDSMT #concurrent #simulation
CUDA Dynamic Active Thread List Strategy to Accelerate Debris Flow Simulations (GF, WS, DD, DS, DM, GAT), pp. 316–320.
PDPPDP-2015-MiwaN #using
Progression of MPI Non-blocking Collective Operations Using Hyper-Threading (MM, KN), pp. 163–171.
PDPPDP-2015-ThomanGF #concurrent #implementation #library #on the #quality
On the Quality of Implementation of the C++11 Thread Support Library (PT, PG, TF), pp. 94–98.
PDPPDP-2015-TousimojaradV
Number of Tasks, not Threads, is Key (AT, WV), pp. 128–136.
PPoPPPPoPP-2015-AmerLWBM #runtime
MPI+Threads: runtime contention and remedies (AA, HL, YW, PB, SM), pp. 239–248.
PPoPPPPoPP-2015-DasSR #communication #concurrent #detection #program analysis
Section based program analysis to reduce overhead of detecting unsynchronized thread communication (MD, GS, JR), pp. 283–284.
PPoPPPPoPP-2015-SaillardCB #concurrent #multi #validation
Static/Dynamic validation of MPI collective communications in multi-threaded context (ES, PC, DB), pp. 279–280.
ICLPICLP-2015-CruzRG #data-driven #logic programming #parallel #source code
Thread-Aware Logic Programming for Data-Driven Parallel Programs (FC, RR, SCG), pp. 191–203.
ICSTICST-2015-XuLCK #approach #bound #detection #lightweight
A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.
ISSTAISSTA-2015-DhokMR #automation #named #parallel
Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.
EDMEDM-2014-YangPHR #concurrent #online #recommendation
Forum Thread Recommendation for Massive Open Online Courses (DY, MP, IKH, CPR), pp. 257–260.
ICPCICPC-2014-TianZLFZY #detection #parallel
Plagiarism detection for multithreaded software based on thread-aware software birthmarks (ZT, QZ, TL, MF, XZ, ZY), pp. 304–313.
SCAMSCAM-2014-HutchinsBS #analysis #c #c++ #concurrent #safety
C/C++ Thread Safety Analysis (DH, AB, DS), pp. 41–46.
SEFMSEFM-2014-LovatoMS #diagrams #library
A Thread-Safe Library for Binary Decision Diagrams (AL, DM, FS), pp. 35–49.
OOPSLAOOPSLA-2014-BerganGC #execution #parallel #source code #symbolic computation
Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.
OOPSLAOOPSLA-2014-PintoCL #behaviour #comprehension #concurrent #energy
Understanding energy behaviors of thread management constructs (GP, FC, YDL), pp. 345–360.
OOPSLAOOPSLA-2014-SamakR #concurrent #detection #parallel #synthesis
Multithreaded test synthesis for deadlock detection (MS, MKR), pp. 473–489.
PPDPPPDP-2014-CruzRG #design #implementation #linear #logic programming #parallel #source code #virtual machine
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.
ASEASE-2014-TarvoR #analysis #automation #modelling #parallel #performance #source code
Automated analysis of multithreaded programs for performance modeling (AT, SPR), pp. 7–18.
FSEFSE-2014-SamakR #concurrent #detection #java #library #parallel #precise
Omen+: a precise dynamic deadlock detector for multithreaded Java libraries (MS, MKR), pp. 735–738.
ICSEICSE-2014-CaiWC #approach #constraints #dynamic analysis #named #parallel #source code
ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs (YC, SW, WKC), pp. 491–502.
SACSAC-2014-DabrowskiLP #concurrent
Nested atomic sections with thread escape: a formal definition (FD, FL, TP), pp. 1585–1592.
ASPLOSASPLOS-2014-EyermanE #concurrent #flexibility #manycore #parallel #smt #towards
The benefit of SMT in the multi-core era: flexibility towards degrees of thread-level parallelism (SE, LE), pp. 591–606.
DACDAC-2014-ChenPCWMYZC #manycore #named #parallel #simulation
DAPs: Dynamic Adjustment and Partial Sampling for Multithreaded/Multicore Simulation (CCC, YCP, CFC, WSW, QM, PCY, WZ, TFC), p. 6.
DACDAC-2014-HuXMCHX
Thermal-Sustainable Power Budgeting for Dynamic Threading (XH, YX, JM, GC, YH, YX), p. 6.
DACDAC-2014-KozhikkottuPPDR #clustering #parallel #source code
Variation Aware Cache Partitioning for Multithreaded Programs (VJK, AP, VSP, SD, AR), p. 6.
DATEDATE-2014-AlhammadP #execution #manycore #parallel #predict
Time-predictable execution of multithreaded applications on multicore systems (AA, RP), pp. 1–6.
DATEDATE-2014-DimitrakopoulosSPTMC #hardware #parallel #synthesis
Hardware primitives for the synthesis of multithreaded elastic systems (GD, IS, AP, KT, PMM, JC), pp. 1–4.
DATEDATE-2014-Fu0PJZ #data flow #detection #fault #parallel
A fault detection mechanism in a Data-flow scheduled Multithreaded processor (JF, QY, RP, CRJ, CZ), pp. 1–4.
DATEDATE-2014-LiuSXL #injection #programmable
Programmable decoder and shadow threads: Tolerate remote code injection exploits with diversified redundancy (ZL, WS, SX, ZL), pp. 1–6.
DATEDATE-2014-PandaB #concurrent
Introducing Thread Criticality awareness in Prefetcher Aggressiveness Control (BP, SB), pp. 1–6.
DATEDATE-2014-RoyJ #named #optimisation
ALLARM: Optimizing sparse directories for thread-local data (AR, TMJ), pp. 1–6.
HPCAHPCA-2014-HeirmanCCHJE #architecture #clustering
Undersubscribed threading on clustered cache architectures (WH, TEC, KVC, IH, AJ, LE), pp. 678–689.
HPCAHPCA-2014-LeeSMKSCR #concurrent #resource management #scheduling
Improving GPGPU resource utilization through alternative thread block scheduling (ML, SS, JM, JK, WS, YGC, SR), pp. 260–271.
HPCAHPCA-2014-TsengT #named
CDTT: Compiler-generated data-triggered threads (HWT, DMT), pp. 650–661.
HPCAHPCA-2014-WangDDS #concurrent #memory management #multi #named #predict #source code
DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead (WW, TD, JWD, MLS), pp. 380–391.
PDPPDP-2014-BuonoMMV #architecture #hardware #manycore #message passing #optimisation #using
Optimizing Message-Passing on Multicore Architectures Using Hardware Multi-threading (DB, TDM, GM, MV), pp. 262–270.
PDPPDP-2014-TsujitaYHSNI #file system #parallel #performance
Multithreaded Two-Phase I/O: Improving Collective MPI-IO Performance on a Lustre File System (YT, KY, AH, MS, MN, YI), pp. 232–235.
PDPPDP-2014-UddinPJ #architecture #manycore #simulation
Analytical-Based High-Level Simulation of the Microthreaded Many-Core Architectures (MIU, RP, CRJ), pp. 344–351.
PPoPPPPoPP-2014-LiuM #architecture #parallel #performance #source code
A tool to analyze the performance of multithreaded programs on NUMA architectures (XL, JMMC), pp. 259–272.
PPoPPPPoPP-2014-LuZBW #multi #performance
Efficient deterministic multithreading without global barriers (KL, XZ, TB, XW), pp. 287–300.
PPoPPPPoPP-2014-MaAC #algorithm #analysis #manycore
Theoretical analysis of classic algorithms on highly-threaded many-core GPUs (LM, KA, RDC), pp. 391–392.
PPoPPPPoPP-2014-PetrovicRS #concurrent #hardware #message passing #performance
Leveraging hardware message passing for efficient thread synchronization (DP, TR, AS), pp. 143–154.
PPoPPPPoPP-2014-PusukuriGB #concurrent
Lock contention aware thread migrations (KKP, RG, LNB), pp. 369–370.
PPoPPPPoPP-2014-YangZ #concurrent #named #parallel
CUDA-NP: realizing nested thread-level parallelism in GPGPU applications (YY, HZ), pp. 93–106.
CAVCAV-2014-InversoT0TP #bound #c #concurrent #lazy evaluation #model checking #multi #source code
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization (OI, ET, BF, SLT, GP), pp. 585–602.
CAVCAV-2014-KupriyanovF #concurrent #multi #source code #termination
Causal Termination of Multi-threaded Programs (AK, BF), pp. 814–830.
ISSTAISSTA-2014-LinK #automation #concurrent #multi #satisfiability #source code #using
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability (YL, SSK), pp. 237–247.
ISSTAISSTA-2014-ZhangW #concurrent #parallel #runtime
Runtime prevention of concurrency related type-state violations in multithreaded applications (LZ, CW), pp. 1–12.
TAPTAP-2014-KahkonenH #automation #lightweight #parallel #source code #testing
Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.
VMCAIVMCAI-2014-Mine #abstract interpretation #analysis #relational
Relational Thread-Modular Static Value Analysis by Abstract Interpretation (AM), pp. 39–58.
VISSOFTVISSOFT-2013-KarranTD #analysis #named #visual notation
SYNCTRACE: Visual thread-interplay analysis (BK, JT, JD), pp. 1–10.
OOPSLAOOPSLA-2013-BerganCG #parallel #source code
Input-covering schedules for multithreaded programs (TB, LC, DG), pp. 677–692.
OOPSLAOOPSLA-2013-BoisSEE #concurrent #graph #multi #scalability #visualisation
Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications (KDB, JBS, SE, LE), pp. 355–372.
OOPSLAOOPSLA-2013-BondKCZSBSH #dependence #named
OCTET: capturing and controlling cross-thread dependences efficiently (MDB, MK, MC, MZ, MFS, SB, AS, JH), pp. 693–712.
HILTHILT-2013-Taft #concurrent #named #parallel #proving #safety #source code #tutorial
Tutorial: proving safety of parallel / multi-threaded programs (STT), pp. 1–2.
PLDIPLDI-2013-YuKL #data type #multi
General data structure expansion for multi-threading (HY, HJK, ZL), pp. 243–252.
QAPLQAPL-2013-NgoH #analysis #concurrent #multi #security #source code
Quantitative Security Analysis for Multi-threaded Programs (TMN, MH), pp. 34–48.
ASEASE-2013-KusanoW #c #c++ #concurrent #generative #named #parallel
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications (MK, CW), pp. 722–725.
ASPLOSASPLOS-2013-JogKNMKMID #array #concurrent #named #owl #performance #scheduling
OWL: cooperative thread array aware scheduling techniques for improving GPGPU performance (AJ, OK, NCN, AKM, MTK, OM, RI, CRD), pp. 395–406.
ASPLOSASPLOS-2013-LuciaC #empirical #parallel #source code
Cooperative empirical failure avoidance for multithreaded programs (BL, LC), pp. 39–50.
ASPLOSASPLOS-2013-ZhangKLLS #concurrent #debugging #execution #named
ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution (WZ, MdK, AL, SL, KS), pp. 113–126.
DACDAC-2013-GaribottiOBkASR #distributed #embedded #memory management #multi
Simultaneous multithreading support in embedded distributed memory MPSoCs (RG, LO, RB, Mk, CAJ, GS, MR), p. 7.
DACDAC-2013-NathAR #concurrent #scheduling
Temperature aware thread block scheduling in GPGPUs (RN, RZA, TSR), p. 6.
DATEDATE-2013-HuYH0 #concurrent #low cost #multi #named
Orchestrator: a low-cost solution to reduce voltage emergencies for multi-threaded applications (XH, GY, YH, XL), pp. 208–213.
PPoPPPPoPP-2013-CaiZWC #detection #named #parallel #source code
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs (YC, KZ, SW, WKC), pp. 311–312.
PPoPPPPoPP-2013-LuZWZ0 #multi #named #performance
RaceFree: an efficient multi-threading model for determinism (KL, XZ, XW, WZ, GL), pp. 297–298.
PPoPPPPoPP-2013-WamhoffFFRM #concurrent #memory management #named #performance #transaction
FastLane: improving performance of software transactional memory for low thread counts (JTW, CF, PF, ER, GM), pp. 113–122.
SOSPSOSP-2013-CuiSLLBXYGB #named #reliability #runtime
Parrot: a practical runtime for deterministic, stable, and reliable threads (HC, JS, YHL, HL, BB, XX, JY, GAG, REB), pp. 388–405.
SOSPSOSP-2013-WeissHAA #game studies #named #parallel
ROOT: replaying multithreaded traces with resource-oriented ordering (ZW, TH, ACAD, RHAD), pp. 373–387.
TACASTACAS-2013-PopeeaR #concurrent #contest #multi #named #source code #verification
Threader: A Verifier for Multi-threaded Programs — (Competition Contribution) (CP, AR), pp. 633–636.
CAVCAV-2013-BarnatBHHKLRSW #c #c++ #model checking #parallel #source code
DiVinE 3.0 — An Explicit-State Model Checker for Multithreaded C & C++ Programs (JB, LB, VH, JH, JK, ML, PR, VS, JW), pp. 863–868.
ISSTAISSTA-2013-BindalBL #bound #concurrent #parallel #source code #testing
Variable and thread bounding for systematic testing of multithreaded programs (SB, SB, AL), pp. 145–155.
ISSTAISSTA-2013-LuoR #named #parallel #runtime #source code
EnforceMOP: a runtime property enforcement system for multithreaded programs (QL, GR), pp. 156–166.
CHICHI-2012-FernaeusJT #human-computer
Revisiting the jacquard loom: threads of history and current patterns in HCI (YF, MJ, JT), pp. 1593–1602.
CSCWCSCW-2012-BarksdaleICHJRV #distributed #video
Video threads: asynchronous video sharing for temporally distributed teams (JTB, KI, MC, AH, PJ, AR, GV), pp. 1101–1104.
CIKMCIKM-2012-BiyaniCSM #exclamation #online #what
I want what i need!: analyzing subjectivity of online forum threads (PB, CC, AS, PM), pp. 2495–2498.
KEODKEOD-2012-NairM #correlation
Correlating and Cross-linking Knowledge Threads in Informledge System for Creating New Knowledge (TRGN, MM), pp. 251–256.
SEKESEKE-2012-MeloSS #effectiveness #evaluation #parallel #source code #testing
Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness (SMM, SdRSdS, PSLdS), pp. 476–479.
SIGIRSIGIR-2012-SinghPR #approach
Retrieving similar discussion forum threads: a structure based approach (AS, DP, DR), pp. 135–144.
OOPSLAOOPSLA-2012-SartorE #concurrent #hardware #java #manycore #performance
Exploring multi-threaded Java application performance on multicore hardware (JBS, LE), pp. 281–296.
OOPSLAOOPSLA-2012-TsengT
Software data-triggered threads (HWT, DMT), pp. 703–716.
OOPSLAOOPSLA-2012-YuNPP #named #parallel #source code #testing
Maple: a coverage-driven testing tool for multithreaded programs (JY, SN, CP, GP), pp. 485–502.
PLDIPLDI-2012-PradelG #automation #concurrent #detection #precise #safety
Fully automatic and precise detection of thread safety violations (MP, TRG), pp. 521–530.
PPDPPPDP-2012-Madet #multi #polynomial #λ-calculus
A polynomial time λ-calculus with multithreading and side effects (AM), pp. 55–66.
ASEASE-2012-KahkonenSH #automation #parallel #source code #testing #using
Using unfoldings in automated testing of multithreaded programs (KK, OS, KH), pp. 150–159.
FSEFSE-2012-GanaiLG #analysis #concurrent #multi #named #source code
DTAM: dynamic taint analysis of multi-threaded programs for relevancy (MKG, DL, AG), p. 46.
ICSEICSE-2012-NistorLPGM #automation #clustering #generative #named #parallel #performance #random #testing
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.
SACSAC-2012-FahmyRJ #implementation #interface #kernel #linux #programming #realtime #scheduling
Implementing distributable real-time threads in the Linux kernel: programming interface and scheduling support (SFF, BR, EDJ), pp. 1771–1778.
ASPLOSASPLOS-2012-JoaoSMP #identification #parallel #scheduling
Bottleneck identification and scheduling in multithreaded applications (JAJ, MAS, OM, YNP), pp. 223–234.
ASPLOSASPLOS-2012-RadojkovicCMVPCNV #approach #parallel #statistics
Optimal task assignment in multithreaded processors: a statistical approach (PR, VC, MM, JV, AP, FJC, MN, MV), pp. 235–248.
CCCC-2012-UnkuleSQ #automation #gpu #kernel #locality
Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality (SU, CS, AQ), pp. 21–40.
CGOCGO-2012-HongHYWHLWC #concurrent #multi #named
HQEMU: a multi-threaded and retargetable dynamic binary translator on multicores (DYH, CCH, PCY, JJW, WCH, PL, CMW, YCC), pp. 104–113.
DATEDATE-2012-OzTKT #analysis #parallel #trade-off
Performance-reliability tradeoff analysis for multithreaded applications (IO, HRT, MTK, OT), pp. 893–898.
HPDCHPDC-2012-PasettoMFPX #architecture #communication #evaluation #manycore #parallel #performance
Performance evaluation of interthread communication mechanisms on multicore/multithreaded architectures (DP, MM, HF, FP, JX), pp. 131–132.
PDPPDP-2012-DaniASB #concurrent #named #parallel #predict #source code
TCP: Thread Contention Predictor for Parallel Programs (AMD, BA, YNS, CB), pp. 19–26.
PDPPDP-2012-DemirozTKT #parallel
Locality-Aware Dynamic Mapping for Multithreaded Applications (BD, HRT, MTK, OT), pp. 185–189.
PDPPDP-2012-FreyRE #algorithm #concurrent
SIMT Microscheduling: Reducing Thread Stalling in Divergent Iterative Algorithms (SF, GR, TE), pp. 399–406.
PPoPPPPoPP-2012-BaghsorkhiGDH #evaluation #memory management #parallel #performance
Efficient performance evaluation of memory hierarchy for highly multithreaded graphics processors (SSB, IG, MD, WmWH), pp. 23–34.
PPoPPPPoPP-2012-LeisersonSS #generative #parallel #platform
Deterministic parallel random-number generation for dynamic-multithreading platforms (CEL, TBS, JS), pp. 193–204.
ESOPESOP-2012-LuPZX #parallel #source code
A Type and Effect System for Determinism in Multithreaded Programs (YL, JP, CZ, JX), pp. 518–538.
TACASTACAS-2012-PopeeaR #composition #concurrent #multi #proving #source code #termination
Compositional Termination Proofs for Multi-threaded Programs (CP, AR), pp. 237–251.
CAVCAV-2012-AtigBEL #detection #parallel #source code
Detecting Fair Non-termination in Multithreaded Programs (MFA, AB, ME, AL), pp. 210–226.
CAVCAV-2012-HagueL #analysis #bound #parallel #source code
Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters (MH, AWL), pp. 260–276.
ICLPICLP-J-2012-AreiasR #concurrent #multi #towards #using
Towards multi-threaded local tabling using a common table space (MA, RR), pp. 427–443.
ICLPICLP-J-2012-GebserKS #concurrent #multi
Multi-threaded ASP solving with clasp (MG, BK, TS), pp. 525–545.
ISSTAISSTA-2012-YiDFF #concurrent #java
Cooperative types for controlling thread interference in Java (JY, TD, SNF, CF), pp. 232–242.
ISSTAISSTA-2012-ZhaiXCT #approach #named #parallel
CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications (KZ, BX, WKC, THT), pp. 221–231.
ISSTAISSTA-2012-ZhangLE #fault #parallel #user interface
Finding errors in multithreaded GUI applications (SZ, HL, MDE), pp. 243–253.
VMCAIVMCAI-2012-ChakiGS #concurrent #multi #source code #verification
Regression Verification for Multi-threaded Programs (SC, AG, OS), pp. 119–135.
ICSMEICSM-2011-SyerAH #concurrent #identification #performance
Identifying performance deviations in thread pools (MDS, BA, AEH), pp. 83–92.
WCREWCRE-2011-ScholzK #multi #protocol #source code
Object-Based Dynamic Protocol Recovery for Multi-Threading Programs (BS, RK), pp. 251–260.
TLCATLCA-2011-MadetA #multi #λ-calculus
An Elementary Affine λ-Calculus with Multithreading and Side Effects (AM, RMA), pp. 138–152.
CIKMCIKM-2011-RenMWL #process #topic #web
Summarizing web forum threads based on a latent topic propagation process (ZR, JM, SW, YL), pp. 879–884.
ECIRECIR-2011-DuanZ #concurrent #modelling #retrieval
Exploiting Thread Structures to Improve Smoothing of Language Models for Forum Post Retrieval (HD, CZ), pp. 350–361.
SEKESEKE-2011-LiuL #analysis #parallel #petri net #pointer
Multithreaded Pointer Analysis Based on Petri Net (FL, BL), pp. 127–130.
POPLPOPL-2011-EsparzaG #complexity #parallel #source code #verification
Complexity of pattern-based verification for multithreaded programs (JE, PG), pp. 499–510.
POPLPOPL-2011-GuptaPR #abstraction #concurrent #multi #refinement #source code #verification
Predicate abstraction and refinement for verifying multi-threaded programs (AG, CP, AR), pp. 331–344.
POPLPOPL-2011-JoishaSBBC #automation #compilation #effectiveness #optimisation #parallel #reuse #using
A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code (PGJ, RSS, PB, HJB, DRC), pp. 623–636.
ASEASE-2011-GanaiAWGB #concurrent #multi #named #predict #testing
BEST: A symbolic testing tool for predicting multi-threaded program failures (MKG, NA, CW, AG, GB), pp. 596–599.
ESEC-FSEESEC-FSE-2011-JagannathGJLRM #parallel #testing
Improved multithreaded unit testing (VJ, MG, DJ, QL, GR, DM), pp. 223–233.
ICSEICSE-2011-CordeiroF #bound #concurrent #model checking #multi #smt #using #verification
Verifying multi-threaded software using smt-based context-bounded model checking (LC, BF), pp. 331–340.
ICSEICSE-2011-OhHVP #concurrent #debugging #execution #framework #multi #named
LIME: a framework for debugging load imbalance in multi-threaded execution (JO, CJH, GV, MP), pp. 201–210.
SACSAC-2011-RangasamyS #effectiveness #modelling #parallel #performance #petri net #source code
Petri net based performance modeling for effective DVFS for multithreaded programs (AR, YNS), pp. 647–648.
SACSAC-2011-ShinLSL #concurrent #monitoring #multi #predict #scheduling
Predictable multithread scheduling with cycle-accurate thread progress monitor (YS, SL, MS, SL), pp. 627–628.
ASPLOSASPLOS-2011-BurnimNS #parallel #semantics #source code #specification
Specifying and checking semantic atomicity for multithreaded programs (JB, GCN, KS), pp. 79–90.
ASPLOSASPLOS-2011-KamruzzamanST #manycore #migration #using
Inter-core prefetching for multicore processors using migrating helper threads (MK, SS, DMT), pp. 393–404.
DACDAC-2011-AdirGLNSSZ #concurrent #multi #named
Threadmill: a post-silicon exerciser for multi-threaded processors (AA, MG, SL, AN, GS, VS, AZ), pp. 860–865.
DACDAC-2011-KandemirYK #clustering #concurrent #parallel
A helper thread based dynamic cache partitioning scheme for multithreaded applications (MTK, TY, EK), pp. 954–959.
HPCAHPCA-2011-BrownPT #concurrent #migration #performance #predict #set
Fast thread migration via cache working set prediction (JAB, LP, DMT), pp. 193–204.
HPCAHPCA-2011-FungA #concurrent #control flow #performance
Thread block compaction for efficient SIMT control flow (WWLF, TMA), pp. 25–36.
HPCAHPCA-2011-LeeTST #fine-grained #multi #named
HAQu: Hardware-accelerated queueing for fine-grained threading on a chip multiprocessor (SL, DT, YS, JT), pp. 99–110.
HPCAHPCA-2011-RanjanLMG #clustering #concurrent #multi #named
Fg-STP: Fine-Grain Single Thread Partitioning on Multicores (RR, FL, PM, AG), pp. 15–24.
HPCAHPCA-2011-TsengT
Data-triggered threads: Eliminating redundant computation (HWT, DMT), pp. 181–192.
HPDCHPDC-2011-Garcia-YaguezFG #concurrent
Exclusive squashing for thread-level speculation (ÁGY, DRLF, AGE), pp. 275–276.
PDPPDP-2011-AldeaFG #compilation #concurrent #framework #towards
Towards a Compiler Framework for Thread-Level Speculation (SA, DRLF, AGE), pp. 267–271.
PDPPDP-2011-OzTKT #architecture #concurrent #manycore
Quantifying Thread Vulnerability for Multicore Architectures (IO, HRT, MTK, OT), pp. 32–39.
PPoPPPPoPP-2011-KarmaniMM #concurrent #contract #parallel
Thread contracts for safe parallelism (RKK, PM, BMM), pp. 125–134.
SOSPSOSP-2011-CuiWGGY #multi #performance
Efficient deterministic multithreading through schedule relaxation (HC, JW, JG, HG, JY), pp. 337–351.
SOSPSOSP-2011-LiuCB #multi #named #performance
Dthreads: efficient deterministic multithreading (TL, CC, EDB), pp. 327–336.
CAVCAV-2011-GuptaPR #concurrent #constraints #multi #named #source code #verification
Threader: A Constraint-Based Verifier for Multi-threaded Programs (AG, CP, AR), pp. 412–417.
ICSMEICSM-2010-CeccatoT #consistency #legacy #migration #static analysis
Static analysis for enforcing intra-thread consistent locks in the migration of a legacy system (MC, PT), pp. 1–9.
PASTEPASTE-2010-ReissK #transaction #visualisation
Visualizing threads, transactions and tasks (SPR, SK), pp. 9–16.
SOFTVISSOFTVIS-2010-MaheswaraBC #concurrent #interactive #named #visualisation
TIE: an interactive visualization of thread interleavings (GM, JSB, CC), pp. 215–216.
SOFTVISSOFTVIS-2010-TrumperBD #comprehension #parallel #using #visualisation
Understanding complex multithreaded software systems by using trace visualization (JT, JB, JD), pp. 133–142.
CIKMCIKM-2010-BonacicGMPT #concurrent #multi #performance
Building efficient multi-threaded search nodes (CB, CG, MM, MPM, FT), pp. 1249–1258.
CIKMCIKM-2010-ZhaoBCGWZ #concurrent #learning #online #recommendation
Learning a user-thread alignment manifold for thread recommendation in online forum (JZ, JB, CC, ZG, CW, CZ), pp. 559–568.
KDIRKDIR-2010-SaidW #clustering #concurrent #online
Clustering of Thread Posts in Online Discussion Forums (DAS, NMW), pp. 314–319.
SEKESEKE-2010-LuG #analysis #architecture #concurrent #performance #web
Performance Analysis of a Web Server with Dynamic Thread Pool Architecture (JL, SSG), pp. 99–105.
PLDIPLDI-2010-KamruzzamanST #concurrent #distributed #performance
Software data spreading: leveraging distributed caches to improve single thread performance (MK, SS, DMT), pp. 460–470.
SASSAS-2010-MalkisPR #abstraction #refinement
Thread-Modular Counterexample-Guided Abstraction Refinement (AM, AP, AR), pp. 356–372.
FSEFSE-2010-SorrentinoFM #named #weaving
PENELOPE: weaving threads to expose atomicity violations (FS, AF, PM), pp. 37–46.
ICSEICSE-2010-BurnimS #named #parallel #source code #specification
DETERMIN: inferring likely deterministic specifications of multithreaded programs (JB, KS), pp. 415–424.
ICSEICSE-2010-Cordeiro #bound #concurrent #embedded #model checking #multi #smt
SMT-based bounded model checking for multi-threaded software in embedded systems (LC), pp. 373–376.
ICSEICSE-2010-LaiCC #detection #parallel #random #source code #testing
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing (ZL, SCC, WKC), pp. 235–244.
SACSAC-2010-RodriguesNPM #parallel
A new technique for data privatization in user-level threads and its use in parallel applications (ERR, POAN, JP, CLM), pp. 2149–2154.
ASPLOSASPLOS-2010-BerganADCG #compilation #execution #named #parallel #runtime
CoreDet: a compiler and runtime system for deterministic multithreaded execution (TB, OA, JD, LC, DG), pp. 53–64.
ASPLOSASPLOS-2010-RamanKMJA #concurrent #parallel #transaction #using
Speculative parallelization using software multi-threaded transactions (AR, HK, TRM, TBJ, DIA), pp. 65–76.
ASPLOSASPLOS-2010-VlachosGKCFGM #monitoring #named #online #parallel
ParaLog: enabling and accelerating online parallel monitoring of multithreaded applications (EV, MLG, MAK, SC, BF, PBG, TCM), pp. 271–284.
CGOCGO-2010-StrattonGMAMHH #compilation #fine-grained #manycore #performance #source code
Efficient compilation of fine-grained SPMD-threaded programs for multicore CPUs (JAS, VG, JM, BA, MM, ZH, WmWH), pp. 111–119.
DACDAC-2010-LiuKLC #bound #concurrent #multi
Multi-threaded collision-aware global routing with bounded-length maze routing (WHL, WCK, YLL, KYC), pp. 200–205.
DACDAC-2010-NurvitadhiHLK #automation #parallel #pipes and filters #specification #synthesis #transaction
Automatic multithreaded pipeline synthesis from transactional datapath specifications (EN, JCH, SLL, TK), pp. 314–319.
DATEDATE-2010-AndalamRG #multi #predict #using
Deterministic, predictable and light-weight multithreading using PRET-C (SA, PSR, AG), pp. 1653–1656.
DATEDATE-2010-BaudischBS #independence #parallel #source code
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP (DB, JB, KS), pp. 949–952.
HPCAHPCA-2010-GreskampKT #configuration management #multi #named #performance
LeadOut: Composing low-overhead frequency-enhancing techniques for single-thread performance in configurable multicores (BG, URK, JT), pp. 1–12.
OSDIOSDI-2010-CuiWTY #multi
Stable Deterministic Multithreading through Schedule Memoization (HC, JW, CcT, JY), pp. 207–221.
PDPPDP-2010-RayoBMPD #embedded #manycore #parallel #power management #requirements
Balancing Task Resource Requirements in Embedded Multithreaded Multicore Processors to Reduce Power Consumption (DBR, JSB, HHM, SP, JD), pp. 200–204.
PPoPPPPoPP-2010-JangMSDK #architecture #data transformation #parallel
Data transformations enabling loop vectorization on multithreaded data parallel architectures (BJ, PM, DS, RD, DRK), pp. 353–354.
PPoPPPPoPP-2010-MuralidharaKR #clustering #parallel
Intra-application shared cache partitioning for multithreaded applications (SPM, MTK, PR), pp. 329–330.
PPoPPPPoPP-2010-RadojkovicCVPCNV #concurrent #network #parallel
Thread to strand binding of parallel network applications in massive multi-threaded systems (PR, VC, JV, AP, FJC, MN, MV), pp. 191–202.
PPoPPPPoPP-2010-SutherlandS #composition #concurrent
Composable thread coloring (DFS, WLS), pp. 233–244.
PPoPPPPoPP-2010-TallentMP #parallel
Analyzing lock contention in multithreaded applications (NRT, JMMC, AP), pp. 269–280.
PPoPPPPoPP-2010-ZhangJS #matter #parallel #performance #question #source code
Does cache sharing on modern CMP matter to the performance of contemporary multithreaded programs? (EZZ, YJ, XS), pp. 203–212.
ESOPESOP-2010-Lochbihler #compilation #java #verification
Verifying a Compiler for Java Threads (AL), pp. 427–447.
FASEFASE-2010-ChatterjeeARS #concurrent #multi #source code
Analyzing the Impact of Change in Multi-threaded Programs (KC, LdA, VR, CS), pp. 293–307.
ICLPICLP-J-2010-CostaDR
Threads and or-parallelism unified (VSC, IdCD, RR), pp. 417–432.
ICSTICST-2010-GligoricJM #mutation testing #named #parallel #performance #testing
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code (MG, VJ, DM), pp. 55–64.
VMCAIVMCAI-2010-LahiriMQ
Abstract Threads (SKL, AM, SQ), pp. 231–246.
VLDBVLDB-2009-DasAAA #architecture #concurrent #data type #manycore
Thread Cooperation in Multicore Architectures for Frequency Counting over Multiple Data Streams (SD, SA, DA, AEA), pp. 217–228.
SIGITESIGITE-2009-SaadW #education #lessons learnt
Adopting threads for computing education: lessons learned to date from an nsf cpath project (AS, AW), pp. 203–204.
SCAMSCAM-2009-LangeM #communication #csp #named #process #towards
thr2csp: Toward Transforming Threads into Communicating Sequential Processes (RCL, SM), pp. 3–12.
SEFMSEFM-2009-Ferrara #java #named #parallel #source code
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs (PF), pp. 169–178.
CIKMCIKM-2009-FengA
Incident threading for news passages (AF, JA), pp. 1307–1316.
CIKMCIKM-2009-SeoCS #community #concurrent #online #using
Online community search using thread structure (JS, WBC, DAS), pp. 1907–1910.
SIGIRSIGIR-2009-ElsasC #concurrent #evaluation #online #retrieval
It pays to be picky: an evaluation of thread retrieval in online forums (JLE, JGC), pp. 714–715.
SIGIRSIGIR-2009-LinYCWW #approach #modelling #semantics
Simultaneously modeling semantics and structure of threaded discussions: a sparse coding approach and its applications (CL, JMY, RC, XJW, WW, LZ), pp. 131–138.
ECOOPECOOP-2009-DamJLP #java #monitoring #parallel #security
Security Monitor Inlining for Multithreaded Java (MD, BJ, AL, FP), pp. 546–569.
ECOOPECOOP-2009-WrigstadPMZV #java #named
Loci: Simple Thread-Locality for Java (TW, FP, FM, LZ, JV), pp. 445–469.
OOPSLAOOPSLA-2009-BergerYLN #c #c++ #named #parallel #programming
Grace: safe multithreaded programming for C/C++ (EDB, TY, TL, GN), pp. 81–96.
OOPSLAOOPSLA-2009-Ogasawara #garbage collection #memory management
NUMA-aware memory manager with dominant-thread-based copying GC (TO), pp. 377–390.
AdaEuropeAdaEurope-2009-KaiserP #java #multi #semantics
Weak Fairness Semantic Drawbacks in Java Multithreading (CK, JFPP), pp. 90–104.
PADLPADL-2009-MouraRM
High Level Thread-Based Competitive Or-Parallelism in Logtalk (PM, RR, SCM), pp. 107–121.
PADLPADL-2009-SuleimanM #concurrent #implementation #parallel #prolog
Implementing Thread Cancellation in Multithreaded Prolog Systems (AS, JM), pp. 122–136.
PLDIPLDI-2009-NeamtiuH #concurrent #multi #source code
Safe and timely updates to multi-threaded programs (IN, MWH), pp. 13–24.
POPLPOPL-2009-AbadiP
A model of cooperative threads (MA, GDP), pp. 29–40.
PPDPPPDP-2009-Vasconcelos #functional #linear #parallel #programming
Session types for linear multithreaded functional programming (VTV), pp. 1–6.
ESEC-FSEESEC-FSE-2009-BurnimS #parallel #source code
Asserting and checking determinism for multithreaded programs (JB, KS), pp. 3–12.
SACSAC-2009-Hurlin #parallel #protocol #specification
Specifying and checking protocols of multithreaded classes (CH), pp. 587–592.
ASPLOSASPLOS-2009-EyermanE #smt
Per-thread cycle accounting in SMT processors (SE, LE), pp. 133–144.
ASPLOSASPLOS-2009-OlszewskiAA #multi #named #performance
Kendo: efficient deterministic multithreading in software (MO, JA, SPA), pp. 97–108.
CASECASE-2009-WangLNRKML #concurrent #parallel #source code
Maximally permissive deadlock avoidance for multithreaded computer programs (YW, HL, AN, SAR, TK, SAM, SL), pp. 37–41.
CCCC-2009-GaoLXN #concurrent #predict #recursion #source code
Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction (LG, LL, JX, TFN), pp. 78–93.
DACDAC-2009-KandemirOM #concurrent
Dynamic thread and data mapping for NoC based CMPs (MTK, ÖÖ, SPM), pp. 852–857.
DATEDATE-2009-HongNKO #concurrent #multi #process
Process variation aware thread mapping for Chip Multiprocessors (SH, SHKN, MTK, ÖÖ), pp. 821–826.
DATEDATE-2009-KodakaSTONKMUAOKTM #design #implementation #manycore #scalability
Design and implementation of scalable, transparent threads for multi-core media processor (TK, SS, TT, RO, NN, KK, TM, YU, HA, YO, TK, YT, NM), pp. 1035–1039.
DATEDATE-2009-SahuBP #concurrent #estimation #framework #multi #performance
A generic platform for estimation of multi-threaded program performance on heterogeneous multiprocessors (AS, MB, PRP), pp. 1018–1023.
HPCAHPCA-2009-ChenA #fine-grained #first-order #parallel #throughput
A first-order fine-grained multithreaded throughput model (XEC, TMA), pp. 329–340.
ISMMISMM-2009-HazelwoodLC #parallel #scalability
Scalable support for multithreaded applications on dynamic binary instrumentation systems (KMH, GL, RC), pp. 20–29.
PDPPDP-2009-CasconOHDR #concurrent #interface #multi #network #using
A Multi-Threaded Network Interface Using Network Processors (PC, JO, WMH, AFD, IR), pp. 196–200.
PPoPPPPoPP-2009-KejariwalC #analysis #concurrent #parallel #source code
Parallelization spectroscopy: analysis of thread-level parallelism in hpc programs (AK, CC), pp. 293–294.
PPoPPPPoPP-2009-TallentM #analysis #effectiveness #metric #parallel #performance
Effective performance measurement and analysis of multithreaded applications (NRT, JMMC), pp. 229–240.
ESOPESOP-2009-LeinoM #concurrent #multi #source code #verification
A Basis for Verifying Multi-threaded Programs (KRML, PM), pp. 378–393.
ESOPESOP-2009-SadowskiFF #named #parallel #source code
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs (CS, SNF, CF), pp. 394–409.
TACASTACAS-2009-AtigBQ #analysis #bound #concurrent #source code
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads (MFA, AB, SQ), pp. 107–123.
TACASTACAS-2009-KahlonSG #concurrent #reduction #semantics #source code
Semantic Reduction of Thread Interleavings in Concurrent Programs (VK, SS, AG), pp. 124–138.
LICSLICS-2009-Kahlon #bound #communication #decidability
Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks (VK), pp. 27–36.
VMCAIVMCAI-2009-Sagiv #analysis
Thread-Modular Shape Analysis (MS), p. 3.
ITiCSEITiCSE-2008-Fekete #education #java #student
Teaching students to develop thread-safe java classes (ADF), pp. 119–123.
SIGITESIGITE-2008-Wang #concurrent #education #security
A security thread in a thread-based curriculum (AJAW), pp. 193–200.
ICSMEICSM-2008-TallamTG #concurrent #detection #parallel #slicing #source code
Dynamic slicing of multithreaded programs for race detection (ST, CT, RG), pp. 97–106.
FMFM-2008-NollR #pointer #verification
Verifying Dynamic Pointer-Manipulating Threads (TN, SR), pp. 84–99.
SEFMSEFM-2008-Ferrara #parallel #source code #static analysis
Static Analysis of the Determinism of Multithreaded Programs (PF), pp. 41–50.
ICFPICFP-2008-FluetRRS #parallel
Implicitly-threaded parallelism in Manticore (MF, MR, JHR, AS), pp. 119–130.
IFLIFL-2008-GrelckP #architecture #implementation #parallel #runtime
Implementation Architecture and Multithreaded Runtime System of S-Net (CG, FP), pp. 60–79.
OOPSLAOOPSLA-2008-XianSJ #execution #java #parallel #source code
Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs (FX, WSa, HJ), pp. 163–180.
AdaEuropeAdaEurope-2008-AlonsoVPA #ada #modelling #state machine #visual notation
StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code (DA, CVC, JAP, ), pp. 158–170.
AdaEuropeAdaEurope-2008-FahmyRJ #performance #realtime #scheduling
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness (SFF, BR, EDJ), pp. 211–225.
PADLPADL-2008-MouraCN #multi #programming
High-Level Multi-threading Programming in Logtalk (PM, PC, PN), pp. 265–281.
PLDIPLDI-2008-AndersonGEB #c #named #parallel
SharC: checking data sharing strategies for multithreaded C (ZRA, DG, RE, EAB), pp. 149–158.
PLDIPLDI-2008-FengSDG #hardware #low level #source code
Certifying low-level programs with hardware interrupts and preemptive threads (XF, ZS, YD, YG), pp. 170–182.
PLDIPLDI-2008-FlanaganFY #named #parallel #source code
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs (CF, SNF, JY), pp. 293–303.
SASSAS-2008-LammichM #analysis #concurrent #monitoring #source code
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (PL, MMO), pp. 205–220.
ASEASE-2008-JoshiS #java #parallel #predict #source code #type system
Predictive Typestate Checking of Multithreaded Java Programs (PJ, KS), pp. 288–296.
SACSAC-2008-ChengC #monitoring #named #programmable
SoftMon: programmable software monitoring with minimum overhead by helper-threading (YPC, HSC), pp. 741–747.
SACSAC-2008-FahmyRJ #realtime #scheduling
Scheduling distributable real-time threads in the presence of crash failures and message losses (SFF, BR, EDJ), pp. 294–301.
ASPLOSASPLOS-2008-ChoiPT #branch #predict
Accurate branch prediction for short threads (BC, LP, DMT), pp. 125–134.
ASPLOSASPLOS-2008-OttoniA #communication #concurrent #multi #optimisation #scheduling
Communication optimizations for global multi-threaded instruction scheduling (GO, DIA), pp. 222–232.
ASPLOSASPLOS-2008-SulemanQP #concurrent #execution #multi #power management
Feedback-driven threading: power-efficient and high-performance execution of multi-threaded workloads on CMPs (MAS, MKQ, YNP), pp. 277–286.
CGOCGO-2008-HamptonA #architecture #compilation
Compiling for vector-thread architectures (MH, KA), pp. 205–215.
CGOCGO-2008-RyooRSBUSH #gpu #optimisation #parallel
Program optimization space pruning for a multithreaded gpu (SR, CIR, SSS, SSB, SZU, JAS, WmWH), pp. 195–204.
DACDAC-2008-HsuPB #data flow #graph #parallel #simulation
Multithreaded simulation for synchronous dataflow graphs (CJH, JLP, SSB), pp. 331–336.
DACDAC-2008-TurumellaS #concurrent #verification
Assertion-based verification of a 32 thread SPARCTM CMT microprocessor (BT, MS), pp. 256–261.
DATEDATE-2008-CosteGHHTZ #architecture #design #embedded #evaluation #parallel #validation
Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures (NC, HG, HH, RH, YT, MZ), pp. 88–89.
DATEDATE-2008-EdwardsVT #compilation #concurrent #memory management #message passing #multi #programming
Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads (SAE, NV, OT), pp. 1498–1503.
HPCAHPCA-2008-ChungDKK #memory management #transaction #using
Thread-safe dynamic binary translation using transactional memory (JC, MD, HK, CK), pp. 279–289.
HPCAHPCA-2008-RamirezPSV #performance #smt
Runahead Threads to improve SMT performance (TR, AP, OJS, MV), pp. 149–158.
HPCAHPCA-2008-RashidH #concurrent #parallel #source code
Supporting highly-decoupled thread-level redundancy for parallel programs (MWR, MCH), pp. 393–404.
LCTESLCTES-2008-AuerbachBGSV #concurrent #flexibility #graph #java #programming #strict
Flexible task graphs: a unified restricted thread programming model for java (JSA, DFB, RG, JHS, JV), pp. 1–11.
OSDIOSDI-2008-WangKKLM #concurrent #named #parallel #source code
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs (YW, TK, MK, SL, SAM), pp. 281–294.
PDPPDP-2008-KadidloS #concurrent #correlation #image #parallel
Exploiting Data- and Thread-Level Parallelism for Image Correlation (JK, AS), pp. 407–413.
PDPPDP-2008-LeiZGZ #architecture #named #network
MEANS: A Micro-thrEad Architecture for Network Server (YL, WZ, YG, HZ), pp. 38–42.
PPoPPPPoPP-2008-ChanZBQQG #named #parallel #runtime #scheduling
SuperMatrix: a multithreaded runtime scheduling system for algorithms-by-blocks (EC, FGVZ, PB, ESQO, GQO, RAvdG), pp. 123–132.
PPoPPPPoPP-2008-Mellor-Crummey #question
Where will all the threads come from? (JMMC), pp. 259–260.
PPoPPPPoPP-2008-RyooRBSKH #evaluation #gpu #optimisation #parallel #performance #using
Optimization principles and application performance evaluation of a multithreaded GPU using CUDA (SR, CIR, SSB, SSS, DBK, WmWH), pp. 73–82.
PPoPPPPoPP-2008-ZhaiWYH #compilation #concurrent #optimisation
Compiler optimizations for parallelizing general-purpose applications under thread-level speculation (AZ, SW, PCY, GH), pp. 271–272.
CAVCAV-2008-BerdineLMRS #analysis #concurrent #quantifier
Thread Quantification for Concurrent Shape Analysis (JB, TLA, RM, GR, SS), pp. 399–413.
ICLPICLP-2008-MouraRM
Thread-Based Competitive Or-Parallelism (PM, RR, SCM), pp. 713–717.
ICSTICST-2008-DantasBC #automation #concurrent #multi #testing
Improving Automated Testing of Multi-threaded Software (AD, FVB, WC), pp. 521–524.
ITiCSEITiCSE-2007-BenayaZ #comprehension #java
Understanding threads in an advanced java course (TB, EZ), p. 323.
ITiCSEITiCSE-2007-OechsleB #automation #concurrent
Checking automatically the output of concurrent threads (RO, KB), pp. 43–47.
ICPCICPC-2007-XieKS #comprehension #concurrent #diagrams #empirical #evaluation #interactive #sequence chart #uml
Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions (SX, EK, REKS), pp. 123–134.
SEFMSEFM-2007-DanHC #diagrams #semantics #sequence chart
A Thread-tag Based Semantics for Sequence Diagrams (HD, RMH, SC), pp. 173–182.
HCIHCI-MIE-2007-OguraNS #communication #parallel #using
Exploration of Possibility of Multithreaded Conversations Using a Voice Communication System (KO, KN, KS), pp. 186–195.
PLDIPLDI-2007-CookPR #concurrent #proving #termination
Proving thread termination (BC, AP, AR), pp. 320–330.
PLDIPLDI-2007-GotsmanBCS #analysis
Thread-modular shape analysis (AG, JB, BC, MS), pp. 266–277.
PLDIPLDI-2007-LiZ #concurrent #evaluation #implementation #monad #network #scalability
Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives (PL, SZ), pp. 189–199.
PLDIPLDI-2007-MusuvathiQ #bound #parallel #source code #testing
Iterative context bounding for systematic testing of multithreaded programs (MM, SQ), pp. 446–455.
PLDIPLDI-2007-WangCCJTGYLW #architecture #manycore #named #parallel #programming
EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system (PHW, JDC, GNC, HJ, XT, MG, NYY, GYL, HW), pp. 156–166.
SASSAS-2007-MalkisPR #precise #verification
Precise Thread-Modular Verification (AM, AP, AR), pp. 218–232.
SACSAC-2007-GuKHC
Shared-stack cooperative threads (BG, YK, JH, YC), pp. 1181–1186.
SACSAC-2007-YiMLKJ #concurrent #multi #named #operating system #stack
SESAME: space-efficient stack allocation mechanism for multi-threaded sensor operating systems (SY, HM, SL, YK, IJ), pp. 1201–1202.
CGOCGO-2007-RamanHM #layout #optimisation #parallel #source code
Structure Layout Optimization for Multithreaded Programs (ER, RH, SM), pp. 271–282.
CGOCGO-2007-WangKWY #detection #fault #multi
Compiler-Managed Software-based Redundant Multi-Threading for Transient Fault Detection (CW, HSK, YW, VY), pp. 244–258.
DACDAC-2007-ChuKCCG #embedded #multi #programming
An Embedded Coherent-Multithreading Multimedia Processor and Its Programming Model (JCC, WCK, SHC, TFC, JIG), pp. 652–657.
DACDAC-2007-OstlerC #algorithm #approximate #architecture #concurrent #multi #network
Approximation Algorithm for Data Mapping on Block Multi-threaded Network Processor Architectures (CO, KSC), pp. 801–804.
DATEDATE-2007-DestroFP #refinement
A smooth refinement flow for co-designing HW and SW threads (PD, FF, GP), pp. 105–110.
HPCAHPCA-2007-ZhangTC #adaptation
Accelerating and Adapting Precomputation Threads for Effcient Prefetching (WZ, DMT, BC), pp. 85–95.
HPCAHPCA-2007-ZhongLM #architecture #hybrid #manycore #parallel
Extending Multicore Architectures to Exploit Hybrid Parallelism in Single-thread Applications (HZ, SAL, SAM), pp. 25–36.
HPDCHPDC-2007-SongMD #concurrent #memory management #scheduling
Feedback-directed thread scheduling with memory considerations (FS, SM, JD), pp. 97–106.
ISMMISMM-2007-XianSJ #concurrent #garbage collection #performance #policy #scheduling
Allocation-phase aware thread scheduling policies to improve garbage collection performance (FX, WSa, HJ), pp. 79–90.
PDPPDP-2007-AlonsoGT #concurrent #e-commerce #quality #scheduling
Differentiated Quality of Service for e-Commerce Applications through Connection Scheduling based on System-Level Thread Priorities (JA, JG, JT), pp. 72–76.
PPoPPPPoPP-2007-Boehm #constraints #order
Reordering constraints for pthread-style locks (HJB), pp. 173–182.
PPoPPPPoPP-2007-GontmakherMS #energy #multi #performance #using
Using fine grain multithreading for energy efficient computing (AG, AM, AS), pp. 259–269.
PPoPPPPoPP-2007-GuoDLLC #latency #multi #network
Latency hiding through multithreading on a network processor (XG, JD, LL, ZL, PRC), pp. 130–131.
PPoPPPPoPP-2007-JohnsonEV #composition #concurrent #empirical #optimisation
Speculative thread decomposition through empirical optimization (TAJ, RE, TNV), pp. 205–214.
PPoPPPPoPP-2007-KejariwalTGLKBNVP #analysis #concurrent #cpu #performance #specification #using
Tight analysis of the performance potential of thread speculation using spec CPU 2006 (AK, XT, MG, WL, SK, UB, AN, AVV, CDP), pp. 215–225.
PPoPPPPoPP-2007-MaratheHL #transaction
Featherweight transactions: decoupling threads and atomic blocks (VJM, TLH, JRL), pp. 134–135.
PPoPPPPoPP-2007-MuhlenfeldW #c++ #concurrent #detection #fault #multi
Fault detection in multi-threaded c++ server applications (AM, FW), pp. 142–143.
CAVCAV-2007-BouajjaniFQ #analysis #bound #parallel #source code
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures (AB, SF, SQ), pp. 207–220.
CAVCAV-2007-PatinST #named #parallel #recursion #source code #verification
Spade: Verification of Multithreaded Dynamic and Recursive Programs (GP, MS, TT), pp. 254–257.
ISSTAISSTA-2007-TallamTGZ #execution #parallel #reduction #source code
Enabling tracing Of long-running multithreaded programs via dynamic execution reduction (ST, CT, RG, XZ), pp. 207–218.
SEKESEKE-2006-Sarna-StarostaSD #approach #concurrent #modelling #multi
A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications (BSS, REKS, LKD), pp. 120–125.
SIGIRSIGIR-2006-ShenYSC #concurrent #detection
Thread detection in dynamic text message streams (DS, QY, JTS, ZC), pp. 35–42.
SACSAC-2006-LiH #concurrent #multi
A concurrent reactive Esterel processor based on multi-threading (XL, RvH), pp. 912–917.
ASPLOSASPLOS-2006-LiBH #concurrent #embedded #multi
Mapping esterel onto a multi-threaded embedded processor (XL, MB, RvH), pp. 303–314.
ASPLOSASPLOS-2006-ParasharSG #locality #multi #named #performance
SlicK: slice-based locality exploitation for efficient redundant multithreading (AP, AS, SG), pp. 95–105.
ASPLOSASPLOS-2006-ReddyRP #comprehension #fault tolerance #predict
Understanding prediction-based partial redundant threading for low-overhead, high- coverage fault tolerance (VKR, ER, SP), pp. 83–94.
CGOCGO-2006-BrueningKGB
Thread-Shared Software Code Caches (DB, VK, TG, SB), pp. 28–38.
CGOCGO-2006-SundaresanMRS #case study #compilation #experience #java #multi
Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler (VS, DM, PR, MGS), pp. 87–97.
DATEDATE-2006-KulkarniB #concurrent #framework #memory management #platform
Memory centric thread synchronization on platform FPGAs (CK, GJB), pp. 959–964.
DATEDATE-2006-RaghavanLJCV #architecture #distributed #multi
Distributed loop controller architecture for multi-threading in uni-threaded VLIW processors (PR, AL, MJ, FC, DV), pp. 339–344.
DATEDATE-2006-ScharwachterHLAM #hardware #interprocedural #multi #network #optimisation #using
An interprocedural code optimization technique for network processors using hardware multi-threading support (HS, MH, RL, GA, HM), pp. 919–924.
DATEDATE-2006-Stanley-MarbellLR #adaptation #concurrent #embedded #library #multi
Adaptive data placement in an embedded multiprocessor thread library (PSM, KL, AR), pp. 698–699.
HPCAHPCA-2006-ChungCMMCKO #behaviour #parallel #source code #transaction
The common case transactional behavior of multithreaded programs (JC, HC, CCM, AM, BDC, CK, KO), pp. 266–277.
HPCAHPCA-2006-GontmakherMSS #concurrent
Speculative synchronization and thread management for fine granularity threads (AG, AM, AS, GS), pp. 278–287.
ISMMISMM-2006-SchneiderAN #memory management #parallel #scalability
Scalable locality-conscious multithreaded memory allocation (SS, CDA, DSN), pp. 84–94.
LCTESLCTES-2006-ZhuangP #analysis #compilation #concurrent #effectiveness #network
Effective thread management on network processors with compiler analysis (XZ, SP), pp. 72–82.
PDPPDP-2006-AlbrechtDPSS #design #parallel #using
Impact of Coprocessors on a Multithreaded Processor Design Using Prioritized Threads (CA, ACD, FP, TS, HS), pp. 109–115.
PDPPDP-2006-ZhangSS #runtime
A UPC Runtime System Based on MPI and POSIX Threads (ZZ, JS, SS), pp. 195–202.
PPoPPPPoPP-2006-HuTH #algorithm #manycore #network #parallel
High-performance IPv6 forwarding algorithm for multi-core and multithreaded network processor (XH, XT, BH), pp. 168–177.
PPoPPPPoPP-2006-KahanK #architecture #exclamation #memory management #parallel #quote
“MAMA!”: a memory allocator for multithreaded architectures (SK, PK), pp. 178–186.
CAVCAV-2006-SenV #model checking #parallel #source code
Model Checking Multithreaded Programs with Asynchronous Atomic Methods (KS, MV), pp. 300–314.
LICSLICS-2006-KahlonG #approach #ltl #model checking
An Automata-Theoretic Approach for Model Checking Threads for LTL Propert (VK, AG), pp. 101–110.
CBSECBSE-2005-BehrendsSD #component #concurrent #design #multi
A Component-Oriented Model for the Design of Safe Multi-threaded Applications (RB, REKS, LKD), pp. 251–266.
VLDBVLDB-2005-ZhouCRS #database #multi #performance
Improving Database Performance on Simultaneous Multithreading Processors (JZ, JC, KAR, MS), pp. 49–60.
IWPCIWPC-2005-Reiss05a #concurrent #java #monitoring #performance
Efficient Monitoring and Display of Thread State in Java (SPR), pp. 247–256.
PASTEPASTE-2005-PickettV #framework #java #multi #named
SableSpMT: a software framework for analysing speculative multithreading in Java (CJFP, CV), pp. 59–66.
SCAMSCAM-2005-JonesK #analysis #garbage collection #performance
A Fast Analysis for Thread-Local Garbage Collection with Dynamic Class Loading (REJ, ACK), pp. 129–138.
RTARTA-2005-MoczydlowskiG #termination
Termination of Single-Threaded One-Rule Semi-Thue Systems (WM, AG), pp. 338–352.
ICFPICFP-2005-FengS #assembly #composition #concurrent #termination #verification
Modular verification of concurrent assembly code with dynamic thread creation and termination (XF, ZS), pp. 254–267.
SIGIRSIGIR-2005-WuO #email #retrieval
Indexing emails and email threads for retrieval (YW, DWO), pp. 665–666.
ECOOPECOOP-2005-RodriguezDFHLR #composition #concurrent #ml #multi #source code #specification #verification
Extending JML for Modular Specification and Verification of Multi-threaded Programs (ER, MBD, CF, JH, GTL, R), pp. 551–576.
PLDIPLDI-2005-Boehm #library
Threads cannot be implemented as a library (HJB), pp. 261–268.
PLDIPLDI-2005-QuinonesMSMGT #compilation #framework #slicing
Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices (CGQ, CM, FJS, PM, AG, DMT), pp. 269–279.
CCCC-2005-SadeSS #c #memory management #optimisation #parallel #using
Optimizing C Multithreaded Memory Management Using Thread-Local Storage (YS, SS, RS), pp. 137–155.
CGOCGO-2005-BerndlVZB #flexibility #performance #virtual machine
Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters (MB, BV, MZ, ADB), pp. 15–26.
DACDAC-2005-SahooJIDE #concurrent #multi #reachability
Multi-threaded reachability (DS, JJ, SKI, DLD, EAE), pp. 467–470.
DACDAC-2005-SchaumontLQV #architecture #design #energy #multi
Cooperative multithreading on 3mbedded multiprocessor architectures enables energy-scalable design (PS, BCCL, WQ, IV), pp. 27–30.
DATEDATE-2005-BarrettaFSB #clustering #embedded #parallel
Multithreaded Extension to Multicluster VLIW Processors for Embedded Applications (DB, WF, MS, DB), pp. 748–749.
DATEDATE-2005-Dean #concurrent #integration #realtime #synthesis
Software Thread Integration and Synthesis for Real-Time Applications (AGD), pp. 68–69.
HPCAHPCA-2005-ChandraGKS #architecture #multi #predict
Predicting Inter-Thread Cache Contention on a Chip Multi-Processor Architecture (DC, FG, SK, YS), pp. 340–351.
HPCAHPCA-2005-SpracklenA #challenge #multi
Chip Multithreading: Opportunities and Challenges (LS, SGA), pp. 248–252.
HPCAHPCA-2005-TuckT #parallel #predict
Multithreaded Value Prediction (NT, DMT), pp. 5–15.
LCTESLCTES-2005-SoD #concurrent #integration #pipes and filters
Complementing software pipelining with software thread integration (WS, AGD), pp. 137–146.
PDPPDP-2005-FernandezGBA #3d #architecture #optimisation #video
Optimizing a 3D-FWT Video Encoder for SMPs and HyperThreading Architectures (RFP, JMG, GB, MEA), pp. 76–83.
PPoPPPPoPP-2005-LiHDH #automation #c #multi #source code
Automatic multithreading and multiprocessing of C programs for IXP (LL, BH, JD, LH), pp. 132–141.
PPoPPPPoPP-2005-PrabhuO #concurrent #parallel #specification
Exposing speculative thread parallelism in SPEC2000 (MKP, KO), pp. 142–152.
CAVCAV-2005-KahlonIG #communication #reasoning
Reasoning About Threads Communicating via Locks (VK, FI, AG), pp. 505–518.
ICTSSTestCom-2005-LiL #anti #diagrams #uml #using
Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams (HL, CPL), pp. 69–80.
WICSAWICSA-2004-BernardoB #architecture #generative #parallel #source code
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions (MB, EB), pp. 167–176.
ICFPICFP-2004-TolmachAN #functional #implementation #logic #multi #using
Implementing functional logic languages using multiple threads and stores (APT, SA, MN), pp. 90–102.
CIKMCIKM-2004-NallapatiFPA #topic
Event threading within news topics (RN, AF, FP, JA), pp. 446–453.
PLDIPLDI-2004-JohnsonEV #composition #concurrent
Min-cut program decomposition for thread-level speculation (TAJ, RE, TNV), pp. 59–70.
PLDIPLDI-2004-ZhuangP #network #parallel
Balancing register allocation across threads for a multithreaded network processor (XZ, SP), pp. 289–300.
POPLPOPL-2004-FlanaganF #named #parallel #source code
Atomizer: a dynamic atomicity checker for multithreaded programs (CF, SNF), pp. 256–267.
PPDPPPDP-2004-SerranoBS
Scheme fair threads (MS, FB, BPS), pp. 203–214.
SACSAC-2004-DamianiDG #classification #multi
Re-classification and multi-threading: FickleMT (FD, MDC, PG), pp. 1297–1304.
SACSAC-2004-JiangWM #network
Protein threading with residue-environment matching by artificial neural networks (NJ, WXW, IM), pp. 209–210.
SACSAC-2004-UhrigU #fine-grained #parallel #power management
Fine-grained power management for multithreaded processor cores (SU, TU), pp. 907–908.
SACSAC-PL-J-2004-DamianiDG #classification #multi #on the
On Re-classification and Multi-threading (FD, MDC, PG), pp. 5–30.
LDTALDTA-2004-GradaraSVV #model checking #modelling #parallel #source code
Model Checking Multithreaded Programs by Means of Reduced Models (SG, AS, MLV, GV), pp. 55–74.
ASPLOSASPLOS-2004-WangCWKGCYSMS #framework #multi #platform
Helper threads via virtual multithreading on an experimental itanium® 2 processor-based platform (PHW, JDC, HW, DK, BG, KMC, ABY, TS, SFM, JPS), pp. 144–155.
CGOCGO-2004-KimLWCTZWYGS #physics
Physical Experimentation with Prefetching Helper Threads on Intel’s Hyper-Threaded Processors (DK, SWL, PHW, JdC, XT, XZ, HW, DY, MG, JPS), pp. 27–38.
CGOCGO-2004-ZhaiCSM #communication #compilation #optimisation
Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads (AZ, CBC, JGS, TCM), pp. 39–52.
HPCAHPCA-2004-FalconRV #multi
A Low-Complexity, High-Performance Fetch Unit for Simultaneous Multithreading Processors (AF, AR, MV), pp. 244–253.
LCTESLCTES-2004-KumarSD #concurrent #integration #performance
Asynchronous software thread integration for efficient software (NJK, SS, AGD), pp. 37–46.
PDPPDP-2004-AlbrechtHD #embedded #multi #network
Cooperative Software Multithreading to Enhance Utilization of Embedded Processors for Network Applications (CA, RH, ACD), pp. 300–307.
TACASTACAS-2004-SenRA #analysis #online #parallel #performance #predict #safety #source code
Online Efficient Predictive Safety Analysis of Multithreaded Programs (KS, GR, GA), pp. 123–138.
PLDIPLDI-2003-PraunG #analysis #concurrent #multi #object-oriented #source code
Static conflict analysis for multi-threaded object-oriented programs (CvP, TRG), pp. 115–128.
ASEASE-2003-Roychoudhury #concurrent #multi
Depiction and Playout of Multi-threaded Program Executions (AR), pp. 331–336.
ESEC-FSEESEC-FSE-2003-SenRA #analysis #parallel #runtime #safety #source code
Runtime safety analysis of multithreaded programs (KS, GR, GA), pp. 337–346.
SACSAC-2003-NandaR #analysis #java #parallel #pointer #source code
Pointer Analysis of Multithreaded Java Programs (MGN, SR), pp. 1068–1075.
CCCC-2003-GagnonH #bytecode #effectiveness #java #sequence #using
Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences (EG, LJH), pp. 170–184.
CGOCGO-2003-ChenO #concurrent #named
TEST: A Tracer for Extracting Speculative Thread (MKC, KO), pp. 301–314.
DATEDATE-2003-CassidyPT #concurrent #design #multi #performance
Layered, Multi-Threaded, High-Level Performance Design (ASC, JMP, DET), pp. 10954–10959.
DATEDATE-2003-KinP #data flow #parallel #simulation
Multithreaded Synchronous Data Flow Simulation (JSK, JLP), pp. 11094–11095.
DATEDATE-2003-PetrotG #api #implementation #lightweight #multi
Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect (FP, PG), pp. 20051–20056.
HPCAHPCA-2003-AlameldeenW #architecture #concurrent #multi #simulation #variability
Variability in Architectural Simulations of Multi-Threaded Workloads (ARA, DAW), pp. 7–18.
HPCAHPCA-2003-GarzaranPLVRT #concurrent #memory management #multi #trade-off
Tradeoffs in Buffering Memory State for Thread-Level Speculation in Multiprocessors (MJG, MP, JML, VV, LR, JT), pp. 191–202.
HPCAHPCA-2003-RedstoneEL #named #smt
Mini-Threads: Increasing TLP on Small-Scale SMT Processors (JR, SJE, HML), pp. 19–30.
PPoPPPPoPP-2003-ChenHHJL #analysis #architecture #compilation #multi #points-to #probability
Compiler support for speculative multithreading architecture with probabilistic points-to analysis (PSC, MYH, YSH, RDCJ, JKL), pp. 25–36.
PPoPPPPoPP-2003-McDowellEG #parallel
Improving server software support for simultaneous multithreaded processors (LM, SJE, SDG), pp. 37–48.
PPoPPPPoPP-2003-PrabhuO #concurrent #parallel #using
Using thread-level speculation to simplify manual parallelization (MKP, KO), pp. 1–12.
SOSPSOSP-2003-BehrenCZNB #internet #named #scalability
Capriccio: scalable threads for internet services (JRvB, JC, FZ, GCN, EAB), pp. 268–281.
CAVCAV-2003-HenzingerJMQ #abstraction #refinement
Thread-Modular Abstraction Refinement (TAH, RJ, RM, SQ), pp. 262–274.
ICLPICLP-2003-Wielemaker #prolog
Native Preemptive Threads in SWI-Prolog (JW), pp. 331–345.
PASTEPASTE-2002-SutherlandGS
The code of many colors: relating threads to code and shared state (DFS, AG, WLS), pp. 77–83.
WCREWCRE-2002-CookD #concurrent #interactive
Discovering Thread Interactions in a Concurrent System (JEC, ZD), p. 255–?.
IFLIFL-2002-BoisLT #concurrent #graph #migration #parallel #reduction
Thread Migration in a Parallel Graph Reducer (ARDB, HWL, PWT), pp. 199–214.
PADLPADL-2002-BoyerM
Single-Threaded Objects in ACL2 (RSB, JSM), pp. 9–27.
PLDIPLDI-2002-ChoiLLOSS #concurrent #detection #object-oriented #parallel #performance #precise #source code
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs (JDC, KL, AL, RO, VS, MS), pp. 258–269.
ASEASE-2002-Hall #concurrent #java #multi #named #profiling
CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications (RJH), pp. 107–116.
ICSEICSE-2002-RoychoudhuryM #java #parallel #semantics #specification #verification
Specifying multithreaded Java semantics for program verification (AR, TM), pp. 489–499.
ASPLOSASPLOS-2002-MartinezT #concurrent #parallel
Speculative synchronization: applying thread-level speculation to explicitly parallel applications (JFM, JT), pp. 18–29.
ASPLOSASPLOS-2002-OplingerL #reliability
Enhancing software reliability with speculative threads (JTO, MSL), pp. 184–196.
ASPLOSASPLOS-2002-ZhaiCSM #communication #compilation #optimisation
Compiler optimization of scalar value communication between speculative threads (AZ, CBC, JGS, TCM), pp. 171–183.
DACDAC-2002-SemeriaMPESN #concurrent #design #multi #verification
RTL c-based methodology for designing and verifying a multi-threaded processor (LS, RM, BMP, AE, AS, DN), pp. 123–128.
HPCAHPCA-2002-CascavalCCDGLMSW #architecture #evaluation #parallel
Evaluation of a Multithreaded Architecture for Cellular Computing (CC, JGC, LC, MD, MG, DL, JEM, KS, HSWJ), pp. 311–322.
HPCAHPCA-2002-CintraT #learning #parallel
Speculative Multithreading Eliminating Squashes through Learning Cross-Thread Violations in Speculative Parallelization for Multiprocessors (MHC, JT), pp. 43–54.
HPCAHPCA-2002-JamiesonB #clustering #concurrent #memory management #named
CableS: Thread Control and Memory Management Extensions for Shared Virtual Memory Clusters (PJ, AB), pp. 263–274.
HPCAHPCA-2002-MarcuelloG #multi
Thread-Spawning Schemes for Speculative Multithreading (PM, AG), pp. 55–64.
HPCAHPCA-2002-SteffanCZM #communication #concurrent
Improving Value Communication for Thread-Level Speculation (JGS, CBC, AZ, TCM), pp. 65–75.
ISMMISMM-2002-DomaniGKLPS #java
Thread-local heaps for Java (TD, GG, EKK, EL, EP, DS), pp. 183–194.
PDPPDP-2002-HadjidoukasPP #programming
Integrating MPI and Nanothreads Programming Model (PEH, EDP, TSP), p. 309–?.
PDPPDP-2002-KlauerEMW #architecture #automation #data type #parallel
The CDAG: A Data Structure for Automatic Parallelization for a Multithreaded Architecture (BK, FE, RM, KW), pp. 219–226.
ESOPESOP-2002-FlanaganFQ #source code #verification
Thread-Modular Verification for Shared-Memory Programs (CF, SNF, SQ), pp. 262–277.
ESOPESOP-2002-WansbroughNSS #semantics
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures (KW, MN, PS, AS), pp. 278–294.
FoSSaCSFoSSaCS-2002-Abraham-MummBRS #concept #java #multi #verification
Verification for Java’s Reentrant Multithreading Concept (EÁM, FSdB, WPdR, MS), pp. 5–20.
TACASTACAS-2002-DelzannoRB #automation #java #parallel #source code #towards #verification
Towards the Automated Verification of Multithreaded Java Programs (GD, JFR, LVB), pp. 173–187.
CAVCAV-2002-FlanaganQS #composition #parallel #source code
A Modular Checker for Multithreaded Programs (CF, SQ, SAS), pp. 180–194.
ISSTAISSTA-2002-ChoiZ #concurrent
Isolating failure-inducing thread schedules (JDC, AZ), pp. 210–220.
IWPCIWPC-2001-LuccaFC #algebra #comprehension #object-oriented #representation
An Algebraic Notation for Representing Threads in Object Oriented Software Comprehension (GADL, ARF, UdC), pp. 176–185.
SASSAS-2001-Rinard #analysis #parallel #source code
Analysis of Multithreaded Programs (MCR), pp. 1–19.
HPCAHPCA-2001-RothS #data-driven #multi
Speculative Data-Driven Multithreading (AR, GSS), pp. 37–48.
LCTESLCTES-OM-2001-PyaraliSCS #concurrent #corba #optimisation #realtime
Evaluating and Optimizing Thread Pool Strategies for Real-Time CORBA (IP, MS, RC, DCS), pp. 214–222.
PDPPDP-2001-ArtiagaG #kernel #migration #parallel
Running Multithreaded Applications in Exokernel-based Systems: Porting CThreads to Xok (EA, MG), pp. 77–83.
PDPPDP-2001-LombardD #library
A Freeze/Unfreeze Mechanism for the LinuxThreads Library (PL, YD), pp. 84–88.
PPoPPPPoPP-2001-SalcianuR #analysis #parallel #pointer #source code
Pointer and escape analysis for multithreaded programs (AS, MCR), pp. 12–23.
TACASTACAS-2001-BallCR #library #parallel #verification
Parameterized Verification of Multithreaded Software Libraries (TB, SC, SKR), pp. 158–173.
ITiCSEITiCSE-2000-CarrS #education #library #parallel #programming
A portable class library for teaching multithreaded programming (SC, CKS), pp. 124–127.
WCREWCRE-2000-LuccaFC #approach #case study #modelling #object-oriented
Recovering Use Case Models from Object-Oriented Code: A Thread-based Approach (GADL, ARF, UdC), pp. 108–117.
CSCWCSCW-2000-SmithCB
Conversation trees and threaded chats (MS, JJC, BB), pp. 97–105.
TOOLSTOOLS-EUROPE-2000-BouchenakH #java
Pickling Threads State in the Java System (SB, DH), pp. 22–32.
TOOLSTOOLS-USA-2000-Khwaja #concurrent #embedded #multi #testing #validation
An MFC Based Multi-Threaded Test Environment for the Validation of an Embedded Automotive Microcontroller (AAK), pp. 15–24.
SACSAC-2000-BougeMNP #architecture #case study #distributed #parallel #runtime #using
Using the VI Architecture to Build Distributed, Multithreaded Runtime Systems: A Case Study (LB, JFM, RN, LP), pp. 704–709.
SACSAC-2000-JungKM #delivery #distributed #internet #parallel
Multithreaded Distributed MPEGI-Video Delivery in the Internet Environment (GSJ, KWK, QMM), pp. 592–597.
ASPLOSASPLOS-2000-BergerMBW #memory management #named #parallel #scalability
Hoard: A Scalable Memory Allocator for Multithreaded Applications (EDB, KSM, RDB, PRW), pp. 117–128.
ASPLOSASPLOS-2000-FlautnerURM #concurrent #interactive #parallel #performance
Thread Level Parallelism and Interactive Performance of Desktop Applications (KF, RU, SKR, TNM), pp. 129–138.
ASPLOSASPLOS-2000-RedstoneEL #analysis #architecture #behaviour #operating system #parallel
An Analysis of Operating System Behavior on a Simultaneous Multithreaded Architecture (JR, SJE, HML), pp. 245–256.
ASPLOSASPLOS-2000-SnavelyT #multi
Symbiotic Jobscheduling for a Simultaneous Multithreading Processor (AS, DMT), pp. 234–244.
HPCAHPCA-2000-MowryR #memory management #multi #using
Software-Controlled Multithreading Using Informing Memory Operations (TCM, SRR), pp. 121–132.
ISMMISMM-2000-PlakalF #concurrent #garbage collection #parallel #slicing #using
Concurrent Garbage Collection Using Program Slices on Multithreaded Processors (MP, CNF), pp. 94–100.
ISMMISMM-2000-Steensgaard #concurrent #multi #source code
Thread-Specific Heaps for Multi-Threaded Programs (BS), pp. 18–24.
PDPPDP-2000-LefevreR #clustering #communication #multi #performance #protocol
Combining low-latency communication protocols with multithreading for high performance DSM systems on clusters (LL, OR), pp. 333–340.
ISSTAISSTA-2000-SchulzM #debugging #interface
A thread-aware debugger with an open interface (DS, FM), pp. 201–211.
VLDBVLDB-1999-TanGO #feedback #multi #online #query
Online Feedback for Nested Aggregate Queries with Multi-Threading (KLT, CHG, BCO), pp. 18–29.
TOOLSTOOLS-ASIA-1999-KatribFP #java #using
Synchronizing Java Threads Using Assertions (MK, DF, EP), pp. 51–60.
TOOLSTOOLS-USA-1999-ConcepcionLS #development #multi #recursion #using
Managing the Software Development by Using the Recursive Multi- Threaded (RMT) Tool (AIC, SL, SJS), pp. 344–353.
AdaEuropeAdaEurope-1999-Jimenez-PerisPBA #parallel #performance
Efficient and Extensible Multithreaded Remote Servers (RJP, MPM, FJB, SA), pp. 91–102.
PLDIPLDI-1999-RuginaR #analysis #parallel #pointer #source code
Pointer Analysis for Multithreaded Programs (RR, MCR), pp. 77–90.
SASSAS-1999-HatcliffCDSZ #concurrent #formal method #multi #slicing #source code #virtual machine
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives (JH, JCC, MBD, SS, HZ), pp. 1–18.
ICSEICSE-1999-ConcepcionLS #concurrent #development #monitoring #multi #predict #re-engineering #recursion
The RMT (Recursive Multi-Threaded) Tool: A Computer Aided Software Engineering Tool for Monitoring and Predicting Software Development Progress (AIC, SL, SJS), pp. 660–663.
SACSAC-1999-GollaL #architecture #functional #logic #parallel #scheduling
A Dynamic Scheduling Logic for Exploiting Multiple Functional Units in Single Ship Multithreaded Architectures (PNG, ECL), pp. 466–473.
SACSAC-1999-Jimenez-PerisPA #design pattern #distributed #parallel
Multithreaded Rendezvous: A Design Pattern for Distributed Rendezvous (RJP, MPM, SA), pp. 571–579.
HPCAHPCA-1999-HilyS #effectiveness #execution #multi
Out-of-Order Execution may not be Cost-Effective on Processors Featuring Simultaneous Multithreading (SH, AS), pp. 64–67.
HPCAHPCA-1999-ParcerisaG #multi
The Synergy of Multithreading and Access/Execute Decoupling (JMP, AG), pp. 59–63.
HPCAHPCA-1999-SohnPKKY #communication #parallel
Communication Studies of Single-Threaded and Multithreaded Distributed-Memory Multiprocessors (AS, YP, JYK, YK, YY), pp. 310–314.
HPCAHPCA-1999-TullsenG #architecture #compilation #execution #parallel
Multithreaded Execution Architecture and Compilation (DMT, GRG), p. 321.
HPCAHPCA-1999-TullsenLEL #fine-grained #multi
Supporting Fine-Grained Synchronization on a Simultaneous Multithreading Processor (DMT, JLL, SJE, HML), pp. 54–58.
PPoPPPPoPP-1999-TangSY #execution #memory management #multi #runtime
Compile/Run-Time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines (HT, KS, TY), pp. 107–118.
PPoPPPPoPP-1999-TauraTY #named #standard
StackThreads/MP: Integrating Futures into Calling Standards (KT, KT, AY), pp. 60–71.
PPoPPPPoPP-1999-XuMN
Dynamic Instrumentation of Threaded Applications (ZX, BPM, ON), pp. 49–59.
SOSPSOSP-1999-DudaC #scheduling
Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose schedular (KJD, DRC), pp. 261–276.
ICLPICLP-1999-CarroH #concurrent #database #prolog #using
Concurrency in Prolog Using Threads and a Shared Database (MC, MVH), pp. 320–334.
HTHT-1998-HayashiNHTHG #documentation
Temporally Threaded Workspace: A Model for Providing Activity-Based Perspectives on Document Spaces (KH, TN, TH, MT, SH, SG), pp. 87–96.
PASTEPASTE-1998-Krinke #slicing #source code
Static Slicing of Threaded Programs (JK), pp. 35–42.
PPDPALP-PLILP-1998-EskilsonC #execution #parallel #prolog
SICStus MT — A Multithreaded Execution Environment for SICStus Prolog (JE, MC), pp. 36–53.
PLDIPLDI-1998-FrigoLR #implementation #parallel
The Implementation of the Cilk-5 Multithreaded Language (MF, CEL, KHR), pp. 212–223.
PLDIPLDI-1998-PiumartaR #optimisation
Optimizing Direct-threaded Code by Selective Inlining (IP, FR), pp. 291–300.
POPLPOPL-1998-SmithV #concurrent #data flow #imperative #multi
Secure Information Flow in a Multi-Threaded Imperative Language (GS, DMV), pp. 355–364.
ASPLOSASPLOS-1998-Weissman #approach #concurrent #locality #performance
Performance Counters and State Sharing Annotations: a Unified Approach to Thread Locality (BW), pp. 127–138.
DATEDATE-1998-MrvaBK #architecture #concurrent #java #multi #scalability
A Scalable Architecture for Multi-threaded JAVA Applications (MM, KB, RK), pp. 868–874.
HPCAHPCA-1998-SpeightB #communication #multi #using
Using Multicast and Multithreading to Reduce Communication in Software DSM Systems (ES, JKB), pp. 312–322.
HPCAHPCA-1998-SteffanM #automation #concurrent #parallel #using
The Potential for Using Thread-Level Data Speculation to Facilitate Automatic Parallelization (JGS, TCM), pp. 2–13.
HPCAHPCA-1998-TsaiJNY #concurrent #parallel #performance
Performance Study of a Concurrent Multithreaded Processor (JYT, ZJ, EN, PCY), pp. 24–35.
HPCAHPCA-1998-TubellaG #detection #parallel
Control Speculation in Multithreaded Processors through Dynamic Loop Detection (JT, AG), pp. 14–23.
PDPPDP-1998-KindP #multi
Multi-lingual threading (AK, JAP), pp. 431–437.
IFLIFL-1997-Chakravarty #concurrent #lazy evaluation #parallel
Lazy Thread and Task Creation in Parallel Graph-Reduction (MMTC), pp. 231–249.
UMLUML-1997-SchaderK #java #modelling #uml
Modeling Java Threads in UML (MS, AK), pp. 122–143.
OOPSLAOOPSLA-1997-Haines #analysis #design #implementation #lightweight
An Open Implementation Analysis and Design for Lightweight Threads (MH), pp. 229–242.
TOOLSTOOLS-PACIFIC-1997-WabenhorstP #java #modelling #multi
Modelling Multi-Threading in Java (AW, JP), pp. 153–164.
PLDIPLDI-1997-TauraY #approach #compilation #effectiveness #implementation #multi #performance
Fine-grain Multithreading with Minimal Compiler Support — A Cost Effective Approach to Implementing Efficient Multithreading Languages (KT, AY), pp. 320–333.
SACSAC-1997-LiuLS #clustering #concurrent #multi #performance
An efficient processor partitioning and thread mapping strategy for mesh-connected multiprocessor systems (HL, WML, YS), pp. 403–412.
DATEEDTC-1997-ThoenSJGM #embedded #graph #multi #realtime #synthesis
Multi-thread graph: a system model for real-time embedded software synthesis (FT, JVDS, GGdJ, GG, HDM), pp. 476–481.
HPCAHPCA-1997-EspasaV #architecture #parallel
Multithreaded Vector Architectures (RE, MV), pp. 237–248.
HPDCHPDC-1997-Knafla #adaptation #database #parallel
Speed Up Your Database Client with Adaptable Multithreaded Prefetching (NK), pp. 102–111.
HPDCHPDC-1997-SudoSS #scheduling
Distributed-Thread Scheduling Methods for Reducing Page-Thrashing (YS, SS, SS), pp. 356–364.
PPoPPPPoPP-1997-SodanGMST #architecture #case study #experience #parallel
Experiences with Non-numeric Applications on Multithreaded Architectures (AS, GRG, OM, JUS, XT), pp. 124–135.
SOSPSOSP-1997-SavageABNS #concurrent #detection #multi #named #source code
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs (SS, MB, GN, PS, TEA), pp. 27–37.
AFPAFP-1996-Lee96 #implementation #ml #standard
Implementing Threads in Standard ML (PL), pp. 115–130.
ICFPICFP-1996-WiseW #clustering #pointer
Static and Dynamic Partitioning of Pointers as Links and Threads (DSW, JW), pp. 42–49.
CSCWCSCW-1996-McDanielOM #identification #multi
Identifying and Analyzing Multiple Threads in Computer-Mediated and Face-to-Face Conversations (SEM, GMO, JCM), pp. 39–47.
ASPLOSASPLOS-1996-GrunwaldN #optimisation #performance
Whole-Program Optimization for Time and Space Efficient Threads (DG, RN), pp. 50–59.
ASPLOSASPLOS-1996-PhilbinEADL #concurrent #locality #scheduling
Thread Scheduling for Cache Locality (JP, JE, OJA, CCD, KL), pp. 60–71.
HPCAHPCA-1996-GulatiB #parallel #performance
Performance Study of a Multithreaded Superscalar Microprocessor (MG, NB), pp. 291–301.
HPCAHPCA-1996-MullerSW #memory management #multi
Multitasking and Multithreading on a Multiprocessor with Virtual Shared Memory (HLM, PWAS, DHDW), pp. 212–221.
HPDCHPDC-1996-ParkHKHY #communication #message passing #network #parallel
NYNET Communication System (NCS): A Multithreaded Message Passing Tool over ATM Network (SYP, SH, YK, JSH, RY), pp. 460–469.
PDPPDP-1996-ChenPK #architecture #parallel #performance
Performance of Shared Cache on Multithreaded Architectures (YYC, JKP, CTK), pp. 541–548.
ICLPJICSLP-1996-RaoRR #concurrent
A Thread in Time Saves Tabling Time (PR, CRR, IVR), pp. 112–126.
POPLPOPL-1995-SchauserCG #algorithm #clustering #constraints #source code #strict
Separation Constraint Partitioning — A New Algorithm for Partitioning Non-strict Programs into Sequential Threads (KES, DEC, SCG), pp. 259–271.
SASSAS-1995-Coorg #clustering #code generation #concurrent #functional #multi #strict
Partitioning Non-strict Functional Languages for Multi-threaded Code Generation (SRC), pp. 82–99.
SACSAC-1995-LeeA
Object linkage mechanism for threaded interpretive languages (YML, DJA), pp. 374–378.
HPCAHPCA-1995-FiskeD #concurrent #parallel #scheduling
Thread Prioritization: A Thread Scheduling Mechanism for Multiple-Context Parallel Processors (SF, WJD), pp. 210–221.
HPCAHPCA-1995-GovindarajanNL #architecture #design #evaluation #parallel #performance
Design and Performance Evaluation of a Multithreaded Architecture (RG, SSN, PL), pp. 298–307.
HPCAHPCA-1995-KawanoKTA #architecture #parallel
Fine-Grain Multi-Thread Processor Architecture for Massively Parallel Processing (TK, SK, RiT, MA), pp. 308–317.
HPCAHPCA-1995-LiC #parallel
The Effects of STEF in Finely Parallel Multithreaded Processors (YL, WC), pp. 318–325.
HPDCHPDC-1995-YadavRH #message passing #parallel
A Multithreaded Message Passing Environment for ATM LAN/WAN (RY, RR, SH), pp. 238–245.
PPoPPPPoPP-1995-BlumofeJKLRZ #named #parallel #performance #runtime
Cilk: An Efficient Multithreaded Runtime System (RDB, CFJ, BCK, CEL, KHR, YZ), pp. 207–216.
SOSPSOSP-1995-SteensgaardJ #concurrent
Object and Native Code Thread Mobility Among Heterogeneous Computers (BS, EJ), pp. 68–78.
VLDBVLDB-1994-MatthesS #persistent
Persistent Threads (FM, JWS), pp. 403–414.
LISPLFP-1994-HuelsbergenLA #data type #runtime #using
Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation (LH, JRL, AA), pp. 79–90.
CHICHI-1994-Koenemann-BelliveauCRS94a #comparative #evaluation #usability
Comparative usability evaluation: critical incidents and critical threads (JKB, JMC, MBR, MKS), pp. 245–251.
OOPSLAOOPSLA-1994-BuhrC #design #object-oriented #realtime
Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems (RJAB, RSC), pp. 301–316.
AdaEuropeAdaEurope-1994-SevestreB #ada #generative #multi #operating system
Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model (JS, JB), pp. 24–32.
PLDIPLDI-1994-LaunchburyJ #functional #lazy evaluation
Lazy Functional State Threads (JL, SLPJ), pp. 24–35.
SACSAC-1994-OgataD #compilation #multi
Object allocation and dynamic compilation in MultithreadSmalltalk (KO, ND), pp. 452–456.
SACSAC-1994-WongD #hybrid #stack #using
Supporting thousands of threads using a hybrid stack sharing scheme (KFW, BD), pp. 493–498.
ASPLOSASPLOS-1994-LaudonGH #multi #named
Interleaving: A Multithreading Technique Targeting Multiprocessors and Workstations (JL, AG, MH), pp. 308–318.
PDPPDP-1994-BastiaensLDV #algorithm #concurrent #image #implementation #operating system #parallel #performance #re-engineering
An Efficient Parallel Implementation Of The Ml-EM Algorithm For PET Image Reconstruction With A Multi-threaded Operating System (KB, IL, PD, WV), pp. 253–259.
ICLPICLP-1994-LaunchburyJ #lazy evaluation
Lazy Funtional State Threads: An Abstract (JL, SLPJ), pp. 3–5.
POPLPOPL-1993-DoligezL #concurrent #garbage collection #implementation #ml #parallel
A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML (DD, XL), pp. 113–123.
AdaTRI-Ada-1993-GieringMB #ada #design #implementation #using
Implementing Ada 9X Features Using POSIX Threads: Design Issues (EWG, FM, TPB), pp. 214–228.
HPDCHPDC-1993-MukherjeeS #adaptation #concurrent #configuration management #multi #performance #using
Improving Performance by Use of Adaptive Objects: Experimentation with a Configurable Multiprocessor Thread Package (BM, KS), pp. 59–66.
SOSPSOSP-1993-HauserJTWW #case study #interactive #using
Using Threads in Interactive Systems: A Case Study (CH, CJ, MT, BBW, MW), pp. 94–105.
STOCSTOC-1993-BlumofeL #parallel #scheduling
Space-efficient scheduling of multithreaded computations (RDB, CEL), pp. 362–371.
LISPLFP-1992-JagannathanP #concurrent #multi #performance
A Foundation for an Efficient Multi-Threaded Scheme System (SJ, JP), pp. 345–357.
LISPLFP-1992-TraubCS #analysis #clustering #source code #strict
Global Analysis for Partitioning Non-Strict Programs into Sequential Threads (KRT, DEC, KES), pp. 324–334.
AdaTRI-Ada-C-1992-GieringB #ada #using
Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress (EWG, TPB), pp. 518–529.
AdaTRI-Ada-C-1992-Sielski #ada #implementation #parallel
Implementing Ada Tasking in a Multiprocessing, Multithreaded UNIX Environment (KLS), pp. 512–517.
ISMMIWMM-1992-SergentB #architecture #concurrent #garbage collection #incremental #memory management #multi
Incremental Multi-threaded Garbage Collection on Virtual Shared Memory Architectures (TLS, BB), pp. 179–199.
ICLPJICSLP-1992-SundararajanST #analysis #concurrent #logic programming #source code
Variable Threadedness Analysis for Concurrent Logic Programs (RS, AVSS, ET), pp. 493–508.
FPCAFPCA-1991-Fradet #continuation #detection #using
Syntactic Detection of Single-Threading Using Continuations (PF), pp. 241–258.
FPCAFPCA-1991-SchauserCE #parallel
Compiler-Controlled Multithreading for Lenient Parallel Languages (KES, DEC, TvE), pp. 50–72.
FPCAFPCA-1991-Traub #architecture #code generation #data flow #multi #source code #strict
Multi-thread Code Generation for Dataflow Architectures from Non-Strict Programs (KRT), pp. 73–101.
ASPLOSASPLOS-1991-CullerSSEW #automaton #hardware #parallel
Fine-Grain Parallelism with Minimal Hardware Support: A Compiler-Controlled Threaded Abstract Machine (DEC, AS, KES, TvE, JW), pp. 164–175.
SOSPSOSP-1991-DravesBRD #communication #concurrent #continuation #operating system #using
Using Continuations to Implement Thread Management and Communication in Operating Systems (RD, BNB, RFR, RWD), pp. 122–136.
OOPSLAOOPSLA-ECOOP-1990-FaustL #object-oriented #performance
The Performance of an Object-Oriented Threads Package (JEF, HML), pp. 278–288.
WAGAWAGA-1990-Vorthmann #attribute grammar #coordination #incremental
Coordinated Incremental Attribute Evaluation on a DR-Threaded Tree (SAV), pp. 207–221.
LICSLICS-1990-GuzmanH #polymorphism #λ-calculus
Single-Threaded Polymorphic λ Calculus (JCG, PH), pp. 333–343.
SOSPSOSP-1989-MassalinP #kernel #synthesis
Threads and Input/Output in the Synthesis Kernel (HM, CP), pp. 191–201.
CCCCHSC-1988-Mughal #generative #incremental #programming
Generation of Incremental Indirect Threaded Code for Language-Based Programming Environments (KAM), pp. 230–242.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.