BibSLEIGH — thread tag

thread

thread

Tag #thread

591 papers:

ASPLOS-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.
SEFM-2019-WijsW #code generation #composition #concurrent #multi #verification: Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators (AW, MW), pp. 410–429.
Haskell-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.
ASE-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.
ASE-2019-PobeeMC #concurrent #multi #performance #source code #transaction: Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs (EBP, XM, WKC), pp. 760–771.
ASE-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-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.
ASPLOS-2019-KondguliH #hardware #named #performance #smt #using: Bootstrapping: Using SMT Hardware to Improve Single-Thread Performance (SK, MH), pp. 687–700.
ASPLOS-2019-MerrifieldRDE #lazy evaluation #multi #performance: Lazy Determinism for Faster Deterministic Multithreading (TM, SR, JD, JE), pp. 879–891.
CC-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.
ICST-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.
FM-2018-Laneve #analysis #concurrent #lightweight #source code: A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks (CL), pp. 608–624.
SEFM-2018-SchuppA #analysis #concurrent #hybrid #multi #safety: Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems (SS, EÁ), pp. 89–104.
CIKM-2018-Avigdor-Elgrabli #email #identification: More than Threads: Identifying Related Email Messages (NAE, RG, IGZ, AR), pp. 1711–1714.
OOPSLA-2018-DrechslerMSM #programming: Thread-safe reactive programming (JD, RM, GS, MM), p. 30.
PLDI-2018-LiuSWTL #named #parallel: iReplayer: in-situ and identical record-and-replay for multithreaded applications (HL, SS, WW, CT0, TL), pp. 344–358.
ASE-2018-BeyerF #concurrent #independence #model checking #multi: Domain-independent multi-threaded software model checking (DB, KF), pp. 634–644.
ASE-2018-HabibP #documentation #graph #learning #using: Is this class thread-safe? inferring documentation using graph-based learning (AH, MP), pp. 41–52.
ASE-2018-TerragniP #challenge #concurrent #effectiveness #generative #testing: Effectiveness and challenges in generating concurrent tests for thread-safe classes (VT, MP), pp. 64–75.
ESEC-FSE-2018-Chen00M0 #concurrent #parallel #source code #testing: Testing multithreaded programs via thread speed control (DC, YJ0, CX0, XM, JL0), pp. 15–25.
ASPLOS-2018-DeLozierELD #concurrent #named: SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably (CD, AE, BL, JD), pp. 286–300.
ASPLOS-2018-FixNAZQA #hardware #parallel #transaction: Hardware Multithreaded Transactions (JF, NPN, SA, HZ, SQ, DIA), pp. 15–29.
CIKM-2017-HalderKS #concurrent #health #recommendation #topic #using: Health Forum Thread Recommendation Using an Interest Aware Topic Model (KH, MYK, KS), pp. 1589–1598.
LOPSTR-2017-NguyenT #analysis #parallel #source code: CARET Analysis of Multithreaded Programs (HVN, TT), pp. 73–90.
PLDI-2017-MullerA0 #parallel: Responsive parallel computation: bridging competitive and cooperative threading (SKM, UAA, RH0), pp. 677–692.
POPL-2017-HoenickeMP #composition #concurrent #verification: Thread modularity at many levels: a pearl in compositional verification (JH, RM, AP), pp. 473–485.
SAS-2017-HolikMVW #analysis #heuristic #summary: Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic (LH, RM0, TV, SW), pp. 169–191.
SAS-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-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-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.
ICST-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.
ICST-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.
VMCAI-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.
ICSME-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.
ICSME-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.
SCAM-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.
OOPSLA-2016-DalozeMBM #dynamic typing #performance: Efficient and thread-safe objects for dynamically-typed languages (BD, SM, DB, HM), pp. 642–659.
ASE-2016-KroeningPSW #analysis #concurrent: Sound static deadlock analysis for C/Pthreads (DK, DP, PS, BW), pp. 379–390.
FSE-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.
CC-2016-CaoV #concurrent #memory management: Reducing memory buffering overhead in software thread-level speculation (ZC, CV), pp. 12–22.
CC-2016-HammacherSZH #concurrent #kernel: Thread-level speculation with kernel support (CH, KS, AZ, SH), pp. 1–11.
CGO-2016-SuiDX #analysis #parallel #pointer #source code: Sparse flow-sensitive pointer analysis for multithreaded programs (YS, PD, JX), pp. 160–170.
IJCAR-2016-AthanasiouLW #bound #equation #using #verification: Unbounded-Thread Program Verification using Thread-State Equations (KA, PL, TW), pp. 516–531.
VMCAI-2016-ChakiK #concurrent #model checking #multi: Model Checking with Multi-threaded IC3 Portfolios (SC, DK), pp. 517–535.
CSCW-2015-Huh #community #health #online: Clinical Questions in Online Health Communities: The Case of “See your doctor” Threads (JH), pp. 1488–1499.
ECIR-2015-BiyaniBCM #analysis #concurrent #online #retrieval #using: Using Subjectivity Analysis to Improve Thread Retrieval in Online Forums (PB, SB, CC, PM), pp. 495–500.
OOPSLA-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.
PEPM-2015-LeCT #concurrent #verification: Threads as Resource for Concurrency Verification (DKL, WNC, YMT), pp. 73–84.
POPL-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.
PPDP-2015-GrandeBS #concurrent #library: Jthread, a deadlock-free mutex library (JG, GB, MS), pp. 149–160.
ASE-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-FSE-2015-GuJSZL #concurrent #what: What change history tells us about thread synchronization (RG, GJ, LS, LZ, SL), pp. 426–438.
ESEC-FSE-2015-GuoKWYG #execution #parallel #source code #symbolic computation: Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.
ICSE-v1-2015-KusanoCW #generative #invariant #parallel #source code: Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.
SAC-2015-DabrowskiLP #compilation #concurrent: Nested atomic sections with thread escape: compilation (FD, FL, TP), pp. 2099–2106.
ASPLOS-2015-Bhatotia0ABR #incremental #library #named #parallel: iThreads: A Threading Library for Parallel Incremental Computation (PB, PF, UAA, BBB, RR), pp. 645–659.
CASE-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.
CGO-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.
DAC-2015-YunPB #adaptation #named #parallel #runtime #self: HARS: a heterogeneity-aware runtime system for self-adaptive multithreaded applications (JY, JP, WB), p. 6.
DATE-2015-RawatS #architecture #concurrent #hybrid #manycore #memory management: Enabling multi-threaded applications on hybrid shared memory manycore architectures (TR, AS), pp. 742–747.
HPDC-2015-AkiyamaT #concurrent #scalability: Uni-Address Threads: Scalable Thread Management for RDMA-Based Work Stealing (SA, KT), pp. 15–26.
HPDC-2015-LiTKC #named #parallel #visual notation: Transit: A Visual Analytical Model for Multithreaded Machines (AL, YCT, AK, HC), pp. 101–106.
ISMM-2015-Kuszmaul #named #parallel #performance: SuperMalloc: a super fast multithreaded malloc for 64-bit machines (BCK), pp. 41–55.
PDP-2015-Denis #communication #named #parallel: pioman: A Pthread-Based Multithreaded Communication Engine (AD), pp. 155–162.
PDP-2015-FilipponeSDSMT #concurrent #simulation: CUDA Dynamic Active Thread List Strategy to Accelerate Debris Flow Simulations (GF, WS, DD, DS, DM, GAT), pp. 316–320.
PDP-2015-MiwaN #using: Progression of MPI Non-blocking Collective Operations Using Hyper-Threading (MM, KN), pp. 163–171.
PDP-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.
PDP-2015-TousimojaradV: Number of Tasks, not Threads, is Key (AT, WV), pp. 128–136.
PPoPP-2015-AmerLWBM #runtime: MPI+Threads: runtime contention and remedies (AA, HL, YW, PB, SM), pp. 239–248.
PPoPP-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.
PPoPP-2015-SaillardCB #concurrent #multi #validation: Static/Dynamic validation of MPI collective communications in multi-threaded context (ES, PC, DB), pp. 279–280.
ICLP-2015-CruzRG #data-driven #logic programming #parallel #source code: Thread-Aware Logic Programming for Data-Driven Parallel Programs (FC, RR, SCG), pp. 191–203.
ICST-2015-XuLCK #approach #bound #detection #lightweight: A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.
ISSTA-2015-DhokMR #automation #named #parallel: Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.
EDM-2014-YangPHR #concurrent #online #recommendation: Forum Thread Recommendation for Massive Open Online Courses (DY, MP, IKH, CPR), pp. 257–260.
ICPC-2014-TianZLFZY #detection #parallel: Plagiarism detection for multithreaded software based on thread-aware software birthmarks (ZT, QZ, TL, MF, XZ, ZY), pp. 304–313.
SCAM-2014-HutchinsBS #analysis #c #c++ #concurrent #safety: C/C++ Thread Safety Analysis (DH, AB, DS), pp. 41–46.
SEFM-2014-LovatoMS #diagrams #library: A Thread-Safe Library for Binary Decision Diagrams (AL, DM, FS), pp. 35–49.
OOPSLA-2014-BerganGC #execution #parallel #source code #symbolic computation: Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.
OOPSLA-2014-PintoCL #behaviour #comprehension #concurrent #energy: Understanding energy behaviors of thread management constructs (GP, FC, YDL), pp. 345–360.
OOPSLA-2014-SamakR #concurrent #detection #parallel #synthesis: Multithreaded test synthesis for deadlock detection (MS, MKR), pp. 473–489.
PPDP-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.
ASE-2014-TarvoR #analysis #automation #modelling #parallel #performance #source code: Automated analysis of multithreaded programs for performance modeling (AT, SPR), pp. 7–18.
FSE-2014-SamakR #concurrent #detection #java #library #parallel #precise: Omen+: a precise dynamic deadlock detector for multithreaded Java libraries (MS, MKR), pp. 735–738.
ICSE-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.
SAC-2014-DabrowskiLP #concurrent: Nested atomic sections with thread escape: a formal definition (FD, FL, TP), pp. 1585–1592.
ASPLOS-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.
DAC-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.
DAC-2014-HuXMCHX: Thermal-Sustainable Power Budgeting for Dynamic Threading (XH, YX, JM, GC, YH, YX), p. 6.
DAC-2014-KozhikkottuPPDR #clustering #parallel #source code: Variation Aware Cache Partitioning for Multithreaded Programs (VJK, AP, VSP, SD, AR), p. 6.
DATE-2014-AlhammadP #execution #manycore #parallel #predict: Time-predictable execution of multithreaded applications on multicore systems (AA, RP), pp. 1–6.
DATE-2014-DimitrakopoulosSPTMC #hardware #parallel #synthesis: Hardware primitives for the synthesis of multithreaded elastic systems (GD, IS, AP, KT, PMM, JC), pp. 1–4.
DATE-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.
DATE-2014-LiuSXL #injection #programmable: Programmable decoder and shadow threads: Tolerate remote code injection exploits with diversified redundancy (ZL, WS, SX, ZL), pp. 1–6.
DATE-2014-PandaB #concurrent: Introducing Thread Criticality awareness in Prefetcher Aggressiveness Control (BP, SB), pp. 1–6.
DATE-2014-RoyJ #named #optimisation: ALLARM: Optimizing sparse directories for thread-local data (AR, TMJ), pp. 1–6.
HPCA-2014-HeirmanCCHJE #architecture #clustering: Undersubscribed threading on clustered cache architectures (WH, TEC, KVC, IH, AJ, LE), pp. 678–689.
HPCA-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.
HPCA-2014-TsengT #named: CDTT: Compiler-generated data-triggered threads (HWT, DMT), pp. 650–661.
HPCA-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.
PDP-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.
PDP-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.
PDP-2014-UddinPJ #architecture #manycore #simulation: Analytical-Based High-Level Simulation of the Microthreaded Many-Core Architectures (MIU, RP, CRJ), pp. 344–351.
PPoPP-2014-LiuM #architecture #parallel #performance #source code: A tool to analyze the performance of multithreaded programs on NUMA architectures (XL, JMMC), pp. 259–272.
PPoPP-2014-LuZBW #multi #performance: Efficient deterministic multithreading without global barriers (KL, XZ, TB, XW), pp. 287–300.
PPoPP-2014-MaAC #algorithm #analysis #manycore: Theoretical analysis of classic algorithms on highly-threaded many-core GPUs (LM, KA, RDC), pp. 391–392.
PPoPP-2014-PetrovicRS #concurrent #hardware #message passing #performance: Leveraging hardware message passing for efficient thread synchronization (DP, TR, AS), pp. 143–154.
PPoPP-2014-PusukuriGB #concurrent: Lock contention aware thread migrations (KKP, RG, LNB), pp. 369–370.
PPoPP-2014-YangZ #concurrent #named #parallel: CUDA-NP: realizing nested thread-level parallelism in GPGPU applications (YY, HZ), pp. 93–106.
CAV-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.
CAV-2014-KupriyanovF #concurrent #multi #source code #termination: Causal Termination of Multi-threaded Programs (AK, BF), pp. 814–830.
ISSTA-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.
ISSTA-2014-ZhangW #concurrent #parallel #runtime: Runtime prevention of concurrency related type-state violations in multithreaded applications (LZ, CW), pp. 1–12.
TAP-2014-KahkonenH #automation #lightweight #parallel #source code #testing: Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.
VMCAI-2014-Mine #abstract interpretation #analysis #relational: Relational Thread-Modular Static Value Analysis by Abstract Interpretation (AM), pp. 39–58.
VISSOFT-2013-KarranTD #analysis #named #visual notation: SYNCTRACE: Visual thread-interplay analysis (BK, JT, JD), pp. 1–10.
OOPSLA-2013-BerganCG #parallel #source code: Input-covering schedules for multithreaded programs (TB, LC, DG), pp. 677–692.
OOPSLA-2013-BoisSEE #concurrent #graph #multi #scalability #visualisation: Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications (KDB, JBS, SE, LE), pp. 355–372.
OOPSLA-2013-BondKCZSBSH #dependence #named: OCTET: capturing and controlling cross-thread dependences efficiently (MDB, MK, MC, MZ, MFS, SB, AS, JH), pp. 693–712.
HILT-2013-Taft #concurrent #named #parallel #proving #safety #source code #tutorial: Tutorial: proving safety of parallel / multi-threaded programs (STT), pp. 1–2.
PLDI-2013-YuKL #data type #multi: General data structure expansion for multi-threading (HY, HJK, ZL), pp. 243–252.
QAPL-2013-NgoH #analysis #concurrent #multi #security #source code: Quantitative Security Analysis for Multi-threaded Programs (TMN, MH), pp. 34–48.
ASE-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.
ASPLOS-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.
ASPLOS-2013-LuciaC #empirical #parallel #source code: Cooperative empirical failure avoidance for multithreaded programs (BL, LC), pp. 39–50.
ASPLOS-2013-ZhangKLLS #concurrent #debugging #execution #named: ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution (WZ, MdK, AL, SL, KS), pp. 113–126.
DAC-2013-GaribottiOBkASR #distributed #embedded #memory management #multi: Simultaneous multithreading support in embedded distributed memory MPSoCs (RG, LO, RB, Mk, CAJ, GS, MR), p. 7.
DAC-2013-NathAR #concurrent #scheduling: Temperature aware thread block scheduling in GPGPUs (RN, RZA, TSR), p. 6.
DATE-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.
PPoPP-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.
PPoPP-2013-LuZWZ0 #multi #named #performance: RaceFree: an efficient multi-threading model for determinism (KL, XZ, XW, WZ, GL), pp. 297–298.
PPoPP-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.
SOSP-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.
SOSP-2013-WeissHAA #game studies #named #parallel: ROOT: replaying multithreaded traces with resource-oriented ordering (ZW, TH, ACAD, RHAD), pp. 373–387.
TACAS-2013-PopeeaR #concurrent #contest #multi #named #source code #verification: Threader: A Verifier for Multi-threaded Programs — (Competition Contribution) (CP, AR), pp. 633–636.
CAV-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.
ISSTA-2013-BindalBL #bound #concurrent #parallel #source code #testing: Variable and thread bounding for systematic testing of multithreaded programs (SB, SB, AL), pp. 145–155.
ISSTA-2013-LuoR #named #parallel #runtime #source code: EnforceMOP: a runtime property enforcement system for multithreaded programs (QL, GR), pp. 156–166.
CHI-2012-FernaeusJT #human-computer: Revisiting the jacquard loom: threads of history and current patterns in HCI (YF, MJ, JT), pp. 1593–1602.
CSCW-2012-BarksdaleICHJRV #distributed #video: Video threads: asynchronous video sharing for temporally distributed teams (JTB, KI, MC, AH, PJ, AR, GV), pp. 1101–1104.
CIKM-2012-BiyaniCSM #exclamation #online #what: I want what i need!: analyzing subjectivity of online forum threads (PB, CC, AS, PM), pp. 2495–2498.
KEOD-2012-NairM #correlation: Correlating and Cross-linking Knowledge Threads in Informledge System for Creating New Knowledge (TRGN, MM), pp. 251–256.
SEKE-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.
SIGIR-2012-SinghPR #approach: Retrieving similar discussion forum threads: a structure based approach (AS, DP, DR), pp. 135–144.
OOPSLA-2012-SartorE #concurrent #hardware #java #manycore #performance: Exploring multi-threaded Java application performance on multicore hardware (JBS, LE), pp. 281–296.
OOPSLA-2012-TsengT: Software data-triggered threads (HWT, DMT), pp. 703–716.
OOPSLA-2012-YuNPP #named #parallel #source code #testing: Maple: a coverage-driven testing tool for multithreaded programs (JY, SN, CP, GP), pp. 485–502.
PLDI-2012-PradelG #automation #concurrent #detection #precise #safety: Fully automatic and precise detection of thread safety violations (MP, TRG), pp. 521–530.
PPDP-2012-Madet #multi #polynomial #λ-calculus: A polynomial time λ-calculus with multithreading and side effects (AM), pp. 55–66.
ASE-2012-KahkonenSH #automation #parallel #source code #testing #using: Using unfoldings in automated testing of multithreaded programs (KK, OS, KH), pp. 150–159.
FSE-2012-GanaiLG #analysis #concurrent #multi #named #source code: DTAM: dynamic taint analysis of multi-threaded programs for relevancy (MKG, DL, AG), p. 46.
ICSE-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.
SAC-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.
ASPLOS-2012-JoaoSMP #identification #parallel #scheduling: Bottleneck identification and scheduling in multithreaded applications (JAJ, MAS, OM, YNP), pp. 223–234.
ASPLOS-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.
CC-2012-UnkuleSQ #automation #gpu #kernel #locality: Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality (SU, CS, AQ), pp. 21–40.
CGO-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.
DATE-2012-OzTKT #analysis #parallel #trade-off: Performance-reliability tradeoff analysis for multithreaded applications (IO, HRT, MTK, OT), pp. 893–898.
HPDC-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.
PDP-2012-DaniASB #concurrent #named #parallel #predict #source code: TCP: Thread Contention Predictor for Parallel Programs (AMD, BA, YNS, CB), pp. 19–26.
PDP-2012-DemirozTKT #parallel: Locality-Aware Dynamic Mapping for Multithreaded Applications (BD, HRT, MTK, OT), pp. 185–189.
PDP-2012-FreyRE #algorithm #concurrent: SIMT Microscheduling: Reducing Thread Stalling in Divergent Iterative Algorithms (SF, GR, TE), pp. 399–406.
PPoPP-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.
PPoPP-2012-LeisersonSS #generative #parallel #platform: Deterministic parallel random-number generation for dynamic-multithreading platforms (CEL, TBS, JS), pp. 193–204.
ESOP-2012-LuPZX #parallel #source code: A Type and Effect System for Determinism in Multithreaded Programs (YL, JP, CZ, JX), pp. 518–538.
TACAS-2012-PopeeaR #composition #concurrent #multi #proving #source code #termination: Compositional Termination Proofs for Multi-threaded Programs (CP, AR), pp. 237–251.
CAV-2012-AtigBEL #detection #parallel #source code: Detecting Fair Non-termination in Multithreaded Programs (MFA, AB, ME, AL), pp. 210–226.
CAV-2012-HagueL #analysis #bound #parallel #source code: Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters (MH, AWL), pp. 260–276.
ICLP-J-2012-AreiasR #concurrent #multi #towards #using: Towards multi-threaded local tabling using a common table space (MA, RR), pp. 427–443.
ICLP-J-2012-GebserKS #concurrent #multi: Multi-threaded ASP solving with clasp (MG, BK, TS), pp. 525–545.
ISSTA-2012-YiDFF #concurrent #java: Cooperative types for controlling thread interference in Java (JY, TD, SNF, CF), pp. 232–242.
ISSTA-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.
ISSTA-2012-ZhangLE #fault #parallel #user interface: Finding errors in multithreaded GUI applications (SZ, HL, MDE), pp. 243–253.
VMCAI-2012-ChakiGS #concurrent #multi #source code #verification: Regression Verification for Multi-threaded Programs (SC, AG, OS), pp. 119–135.
ICSM-2011-SyerAH #concurrent #identification #performance: Identifying performance deviations in thread pools (MDS, BA, AEH), pp. 83–92.
WCRE-2011-ScholzK #multi #protocol #source code: Object-Based Dynamic Protocol Recovery for Multi-Threading Programs (BS, RK), pp. 251–260.
TLCA-2011-MadetA #multi #λ-calculus: An Elementary Affine λ-Calculus with Multithreading and Side Effects (AM, RMA), pp. 138–152.
CIKM-2011-RenMWL #process #topic #web: Summarizing web forum threads based on a latent topic propagation process (ZR, JM, SW, YL), pp. 879–884.
ECIR-2011-DuanZ #concurrent #modelling #retrieval: Exploiting Thread Structures to Improve Smoothing of Language Models for Forum Post Retrieval (HD, CZ), pp. 350–361.
SEKE-2011-LiuL #analysis #parallel #petri net #pointer: Multithreaded Pointer Analysis Based on Petri Net (FL, BL), pp. 127–130.
POPL-2011-EsparzaG #complexity #parallel #source code #verification: Complexity of pattern-based verification for multithreaded programs (JE, PG), pp. 499–510.
POPL-2011-GuptaPR #abstraction #concurrent #multi #refinement #source code #verification: Predicate abstraction and refinement for verifying multi-threaded programs (AG, CP, AR), pp. 331–344.
POPL-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.
ASE-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-FSE-2011-JagannathGJLRM #parallel #testing: Improved multithreaded unit testing (VJ, MG, DJ, QL, GR, DM), pp. 223–233.
ICSE-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.
ICSE-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.
SAC-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.
SAC-2011-ShinLSL #concurrent #monitoring #multi #predict #scheduling: Predictable multithread scheduling with cycle-accurate thread progress monitor (YS, SL, MS, SL), pp. 627–628.
ASPLOS-2011-BurnimNS #parallel #semantics #source code #specification: Specifying and checking semantic atomicity for multithreaded programs (JB, GCN, KS), pp. 79–90.
ASPLOS-2011-KamruzzamanST #manycore #migration #using: Inter-core prefetching for multicore processors using migrating helper threads (MK, SS, DMT), pp. 393–404.
DAC-2011-AdirGLNSSZ #concurrent #multi #named: Threadmill: a post-silicon exerciser for multi-threaded processors (AA, MG, SL, AN, GS, VS, AZ), pp. 860–865.
DAC-2011-KandemirYK #clustering #concurrent #parallel: A helper thread based dynamic cache partitioning scheme for multithreaded applications (MTK, TY, EK), pp. 954–959.
HPCA-2011-BrownPT #concurrent #migration #performance #predict #set: Fast thread migration via cache working set prediction (JAB, LP, DMT), pp. 193–204.
HPCA-2011-FungA #concurrent #control flow #performance: Thread block compaction for efficient SIMT control flow (WWLF, TMA), pp. 25–36.
HPCA-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.
HPCA-2011-RanjanLMG #clustering #concurrent #multi #named: Fg-STP: Fine-Grain Single Thread Partitioning on Multicores (RR, FL, PM, AG), pp. 15–24.
HPCA-2011-TsengT: Data-triggered threads: Eliminating redundant computation (HWT, DMT), pp. 181–192.
HPDC-2011-Garcia-YaguezFG #concurrent: Exclusive squashing for thread-level speculation (ÁGY, DRLF, AGE), pp. 275–276.
PDP-2011-AldeaFG #compilation #concurrent #framework #towards: Towards a Compiler Framework for Thread-Level Speculation (SA, DRLF, AGE), pp. 267–271.
PDP-2011-OzTKT #architecture #concurrent #manycore: Quantifying Thread Vulnerability for Multicore Architectures (IO, HRT, MTK, OT), pp. 32–39.
PPoPP-2011-KarmaniMM #concurrent #contract #parallel: Thread contracts for safe parallelism (RKK, PM, BMM), pp. 125–134.
SOSP-2011-CuiWGGY #multi #performance: Efficient deterministic multithreading through schedule relaxation (HC, JW, JG, HG, JY), pp. 337–351.
SOSP-2011-LiuCB #multi #named #performance: Dthreads: efficient deterministic multithreading (TL, CC, EDB), pp. 327–336.
CAV-2011-GuptaPR #concurrent #constraints #multi #named #source code #verification: Threader: A Constraint-Based Verifier for Multi-threaded Programs (AG, CP, AR), pp. 412–417.
ICSM-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.
PASTE-2010-ReissK #transaction #visualisation: Visualizing threads, transactions and tasks (SPR, SK), pp. 9–16.
SOFTVIS-2010-MaheswaraBC #concurrent #interactive #named #visualisation: TIE: an interactive visualization of thread interleavings (GM, JSB, CC), pp. 215–216.
SOFTVIS-2010-TrumperBD #comprehension #parallel #using #visualisation: Understanding complex multithreaded software systems by using trace visualization (JT, JB, JD), pp. 133–142.
CIKM-2010-BonacicGMPT #concurrent #multi #performance: Building efficient multi-threaded search nodes (CB, CG, MM, MPM, FT), pp. 1249–1258.
CIKM-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.
KDIR-2010-SaidW #clustering #concurrent #online: Clustering of Thread Posts in Online Discussion Forums (DAS, NMW), pp. 314–319.
SEKE-2010-LuG #analysis #architecture #concurrent #performance #web: Performance Analysis of a Web Server with Dynamic Thread Pool Architecture (JL, SSG), pp. 99–105.
PLDI-2010-KamruzzamanST #concurrent #distributed #performance: Software data spreading: leveraging distributed caches to improve single thread performance (MK, SS, DMT), pp. 460–470.
SAS-2010-MalkisPR #abstraction #refinement: Thread-Modular Counterexample-Guided Abstraction Refinement (AM, AP, AR), pp. 356–372.
FSE-2010-SorrentinoFM #named #weaving: PENELOPE: weaving threads to expose atomicity violations (FS, AF, PM), pp. 37–46.
ICSE-2010-BurnimS #named #parallel #source code #specification: DETERMIN: inferring likely deterministic specifications of multithreaded programs (JB, KS), pp. 415–424.
ICSE-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.
ICSE-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.
SAC-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.
ASPLOS-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.
ASPLOS-2010-RamanKMJA #concurrent #parallel #transaction #using: Speculative parallelization using software multi-threaded transactions (AR, HK, TRM, TBJ, DIA), pp. 65–76.
ASPLOS-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.
CGO-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.
DAC-2010-LiuKLC #bound #concurrent #multi: Multi-threaded collision-aware global routing with bounded-length maze routing (WHL, WCK, YLL, KYC), pp. 200–205.
DAC-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.
DATE-2010-AndalamRG #multi #predict #using: Deterministic, predictable and light-weight multithreading using PRET-C (SA, PSR, AG), pp. 1653–1656.
DATE-2010-BaudischBS #independence #parallel #source code: Multithreaded code from synchronous programs: Extracting independent threads for OpenMP (DB, JB, KS), pp. 949–952.
HPCA-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.
OSDI-2010-CuiWTY #multi: Stable Deterministic Multithreading through Schedule Memoization (HC, JW, CcT, JY), pp. 207–221.
PDP-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.
PPoPP-2010-JangMSDK #architecture #data transformation #parallel: Data transformations enabling loop vectorization on multithreaded data parallel architectures (BJ, PM, DS, RD, DRK), pp. 353–354.
PPoPP-2010-MuralidharaKR #clustering #parallel: Intra-application shared cache partitioning for multithreaded applications (SPM, MTK, PR), pp. 329–330.
PPoPP-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.
PPoPP-2010-SutherlandS #composition #concurrent: Composable thread coloring (DFS, WLS), pp. 233–244.
PPoPP-2010-TallentMP #parallel: Analyzing lock contention in multithreaded applications (NRT, JMMC, AP), pp. 269–280.
PPoPP-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.
ESOP-2010-Lochbihler #compilation #java #verification: Verifying a Compiler for Java Threads (AL), pp. 427–447.
FASE-2010-ChatterjeeARS #concurrent #multi #source code: Analyzing the Impact of Change in Multi-threaded Programs (KC, LdA, VR, CS), pp. 293–307.
ICLP-J-2010-CostaDR: Threads and or-parallelism unified (VSC, IdCD, RR), pp. 417–432.
ICST-2010-GligoricJM #mutation testing #named #parallel #performance #testing: MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code (MG, VJ, DM), pp. 55–64.
VMCAI-2010-LahiriMQ: Abstract Threads (SKL, AM, SQ), pp. 231–246.
VLDB-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.
SIGITE-2009-SaadW #education #lessons learnt: Adopting threads for computing education: lessons learned to date from an nsf cpath project (AS, AW), pp. 203–204.
SCAM-2009-LangeM #communication #csp #named #process #towards: thr2csp: Toward Transforming Threads into Communicating Sequential Processes (RCL, SM), pp. 3–12.
SEFM-2009-Ferrara #java #named #parallel #source code: Checkmate: A Generic Static Analyzer of Java Multithreaded Programs (PF), pp. 169–178.
CIKM-2009-FengA: Incident threading for news passages (AF, JA), pp. 1307–1316.
CIKM-2009-SeoCS #community #concurrent #online #using: Online community search using thread structure (JS, WBC, DAS), pp. 1907–1910.
SIGIR-2009-ElsasC #concurrent #evaluation #online #retrieval: It pays to be picky: an evaluation of thread retrieval in online forums (JLE, JGC), pp. 714–715.
SIGIR-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.
ECOOP-2009-DamJLP #java #monitoring #parallel #security: Security Monitor Inlining for Multithreaded Java (MD, BJ, AL, FP), pp. 546–569.
ECOOP-2009-WrigstadPMZV #java #named: Loci: Simple Thread-Locality for Java (TW, FP, FM, LZ, JV), pp. 445–469.
OOPSLA-2009-BergerYLN #c #c++ #named #parallel #programming: Grace: safe multithreaded programming for C/C++ (EDB, TY, TL, GN), pp. 81–96.
OOPSLA-2009-Ogasawara #garbage collection #memory management: NUMA-aware memory manager with dominant-thread-based copying GC (TO), pp. 377–390.
AdaEurope-2009-KaiserP #java #multi #semantics: Weak Fairness Semantic Drawbacks in Java Multithreading (CK, JFPP), pp. 90–104.
PADL-2009-MouraRM: High Level Thread-Based Competitive Or-Parallelism in Logtalk (PM, RR, SCM), pp. 107–121.
PADL-2009-SuleimanM #concurrent #implementation #parallel #prolog: Implementing Thread Cancellation in Multithreaded Prolog Systems (AS, JM), pp. 122–136.
PLDI-2009-NeamtiuH #concurrent #multi #source code: Safe and timely updates to multi-threaded programs (IN, MWH), pp. 13–24.
POPL-2009-AbadiP: A model of cooperative threads (MA, GDP), pp. 29–40.
PPDP-2009-Vasconcelos #functional #linear #parallel #programming: Session types for linear multithreaded functional programming (VTV), pp. 1–6.
ESEC-FSE-2009-BurnimS #parallel #source code: Asserting and checking determinism for multithreaded programs (JB, KS), pp. 3–12.
SAC-2009-Hurlin #parallel #protocol #specification: Specifying and checking protocols of multithreaded classes (CH), pp. 587–592.
ASPLOS-2009-EyermanE #smt: Per-thread cycle accounting in SMT processors (SE, LE), pp. 133–144.
ASPLOS-2009-OlszewskiAA #multi #named #performance: Kendo: efficient deterministic multithreading in software (MO, JA, SPA), pp. 97–108.
CASE-2009-WangLNRKML #concurrent #parallel #source code: Maximally permissive deadlock avoidance for multithreaded computer programs (YW, HL, AN, SAR, TK, SAM, SL), pp. 37–41.
CC-2009-GaoLXN #concurrent #predict #recursion #source code: Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction (LG, LL, JX, TFN), pp. 78–93.
DAC-2009-KandemirOM #concurrent: Dynamic thread and data mapping for NoC based CMPs (MTK, ÖÖ, SPM), pp. 852–857.
DATE-2009-HongNKO #concurrent #multi #process: Process variation aware thread mapping for Chip Multiprocessors (SH, SHKN, MTK, ÖÖ), pp. 821–826.
DATE-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.
DATE-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.
HPCA-2009-ChenA #fine-grained #first-order #parallel #throughput: A first-order fine-grained multithreaded throughput model (XEC, TMA), pp. 329–340.
ISMM-2009-HazelwoodLC #parallel #scalability: Scalable support for multithreaded applications on dynamic binary instrumentation systems (KMH, GL, RC), pp. 20–29.
PDP-2009-CasconOHDR #concurrent #interface #multi #network #using: A Multi-Threaded Network Interface Using Network Processors (PC, JO, WMH, AFD, IR), pp. 196–200.
PPoPP-2009-KejariwalC #analysis #concurrent #parallel #source code: Parallelization spectroscopy: analysis of thread-level parallelism in hpc programs (AK, CC), pp. 293–294.
PPoPP-2009-TallentM #analysis #effectiveness #metric #parallel #performance: Effective performance measurement and analysis of multithreaded applications (NRT, JMMC), pp. 229–240.
ESOP-2009-LeinoM #concurrent #multi #source code #verification: A Basis for Verifying Multi-threaded Programs (KRML, PM), pp. 378–393.
ESOP-2009-SadowskiFF #named #parallel #source code: SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs (CS, SNF, CF), pp. 394–409.
TACAS-2009-AtigBQ #analysis #bound #concurrent #source code: Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads (MFA, AB, SQ), pp. 107–123.
TACAS-2009-KahlonSG #concurrent #reduction #semantics #source code: Semantic Reduction of Thread Interleavings in Concurrent Programs (VK, SS, AG), pp. 124–138.
LICS-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.
VMCAI-2009-Sagiv #analysis: Thread-Modular Shape Analysis (MS), p. 3.
ITiCSE-2008-Fekete #education #java #student: Teaching students to develop thread-safe java classes (ADF), pp. 119–123.
SIGITE-2008-Wang #concurrent #education #security: A security thread in a thread-based curriculum (AJAW), pp. 193–200.
ICSM-2008-TallamTG #concurrent #detection #parallel #slicing #source code: Dynamic slicing of multithreaded programs for race detection (ST, CT, RG), pp. 97–106.
FM-2008-NollR #pointer #verification: Verifying Dynamic Pointer-Manipulating Threads (TN, SR), pp. 84–99.
SEFM-2008-Ferrara #parallel #source code #static analysis: Static Analysis of the Determinism of Multithreaded Programs (PF), pp. 41–50.
ICFP-2008-FluetRRS #parallel: Implicitly-threaded parallelism in Manticore (MF, MR, JHR, AS), pp. 119–130.
IFL-2008-GrelckP #architecture #implementation #parallel #runtime: Implementation Architecture and Multithreaded Runtime System of S-Net (CG, FP), pp. 60–79.
OOPSLA-2008-XianSJ #execution #java #parallel #source code: Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs (FX, WSa, HJ), pp. 163–180.
AdaEurope-2008-AlonsoVPA #ada #modelling #state machine #visual notation: StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code (DA, CVC, JAP, BÁ), pp. 158–170.
AdaEurope-2008-FahmyRJ #performance #realtime #scheduling: Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness (SFF, BR, EDJ), pp. 211–225.
PADL-2008-MouraCN #multi #programming: High-Level Multi-threading Programming in Logtalk (PM, PC, PN), pp. 265–281.
PLDI-2008-AndersonGEB #c #named #parallel: SharC: checking data sharing strategies for multithreaded C (ZRA, DG, RE, EAB), pp. 149–158.
PLDI-2008-FengSDG #hardware #low level #source code: Certifying low-level programs with hardware interrupts and preemptive threads (XF, ZS, YD, YG), pp. 170–182.
PLDI-2008-FlanaganFY #named #parallel #source code: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs (CF, SNF, JY), pp. 293–303.
SAS-2008-LammichM #analysis #concurrent #monitoring #source code: Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (PL, MMO), pp. 205–220.
ASE-2008-JoshiS #java #parallel #predict #source code #type system: Predictive Typestate Checking of Multithreaded Java Programs (PJ, KS), pp. 288–296.
SAC-2008-ChengC #monitoring #named #programmable: SoftMon: programmable software monitoring with minimum overhead by helper-threading (YPC, HSC), pp. 741–747.
SAC-2008-FahmyRJ #realtime #scheduling: Scheduling distributable real-time threads in the presence of crash failures and message losses (SFF, BR, EDJ), pp. 294–301.
ASPLOS-2008-ChoiPT #branch #predict: Accurate branch prediction for short threads (BC, LP, DMT), pp. 125–134.
ASPLOS-2008-OttoniA #communication #concurrent #multi #optimisation #scheduling: Communication optimizations for global multi-threaded instruction scheduling (GO, DIA), pp. 222–232.
ASPLOS-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.
CGO-2008-HamptonA #architecture #compilation: Compiling for vector-thread architectures (MH, KA), pp. 205–215.
CGO-2008-RyooRSBUSH #gpu #optimisation #parallel: Program optimization space pruning for a multithreaded gpu (SR, CIR, SSS, SSB, SZU, JAS, WmWH), pp. 195–204.
DAC-2008-HsuPB #data flow #graph #parallel #simulation: Multithreaded simulation for synchronous dataflow graphs (CJH, JLP, SSB), pp. 331–336.
DAC-2008-TurumellaS #concurrent #verification: Assertion-based verification of a 32 thread SPARCTM CMT microprocessor (BT, MS), pp. 256–261.
DATE-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.
DATE-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.
HPCA-2008-ChungDKK #memory management #transaction #using: Thread-safe dynamic binary translation using transactional memory (JC, MD, HK, CK), pp. 279–289.
HPCA-2008-RamirezPSV #performance #smt: Runahead Threads to improve SMT performance (TR, AP, OJS, MV), pp. 149–158.
HPCA-2008-RashidH #concurrent #parallel #source code: Supporting highly-decoupled thread-level redundancy for parallel programs (MWR, MCH), pp. 393–404.
LCTES-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.
OSDI-2008-WangKKLM #concurrent #named #parallel #source code: Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs (YW, TK, MK, SL, SAM), pp. 281–294.
PDP-2008-KadidloS #concurrent #correlation #image #parallel: Exploiting Data- and Thread-Level Parallelism for Image Correlation (JK, AS), pp. 407–413.
PDP-2008-LeiZGZ #architecture #named #network: MEANS: A Micro-thrEad Architecture for Network Server (YL, WZ, YG, HZ), pp. 38–42.
PPoPP-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.
PPoPP-2008-Mellor-Crummey #question: Where will all the threads come from? (JMMC), pp. 259–260.
PPoPP-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.
PPoPP-2008-ZhaiWYH #compilation #concurrent #optimisation: Compiler optimizations for parallelizing general-purpose applications under thread-level speculation (AZ, SW, PCY, GH), pp. 271–272.
CAV-2008-BerdineLMRS #analysis #concurrent #quantifier: Thread Quantification for Concurrent Shape Analysis (JB, TLA, RM, GR, SS), pp. 399–413.
ICLP-2008-MouraRM: Thread-Based Competitive Or-Parallelism (PM, RR, SCM), pp. 713–717.
ICST-2008-DantasBC #automation #concurrent #multi #testing: Improving Automated Testing of Multi-threaded Software (AD, FVB, WC), pp. 521–524.
ITiCSE-2007-BenayaZ #comprehension #java: Understanding threads in an advanced java course (TB, EZ), p. 323.
ITiCSE-2007-OechsleB #automation #concurrent: Checking automatically the output of concurrent threads (RO, KB), pp. 43–47.
ICPC-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.
SEFM-2007-DanHC #diagrams #semantics #sequence chart: A Thread-tag Based Semantics for Sequence Diagrams (HD, RMH, SC), pp. 173–182.
HCI-MIE-2007-OguraNS #communication #parallel #using: Exploration of Possibility of Multithreaded Conversations Using a Voice Communication System (KO, KN, KS), pp. 186–195.
PLDI-2007-CookPR #concurrent #proving #termination: Proving thread termination (BC, AP, AR), pp. 320–330.
PLDI-2007-GotsmanBCS #analysis: Thread-modular shape analysis (AG, JB, BC, MS), pp. 266–277.
PLDI-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.
PLDI-2007-MusuvathiQ #bound #parallel #source code #testing: Iterative context bounding for systematic testing of multithreaded programs (MM, SQ), pp. 446–455.
PLDI-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.
SAS-2007-MalkisPR #precise #verification: Precise Thread-Modular Verification (AM, AP, AR), pp. 218–232.
SAC-2007-GuKHC: Shared-stack cooperative threads (BG, YK, JH, YC), pp. 1181–1186.
SAC-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.
CGO-2007-RamanHM #layout #optimisation #parallel #source code: Structure Layout Optimization for Multithreaded Programs (ER, RH, SM), pp. 271–282.
CGO-2007-WangKWY #detection #fault #multi: Compiler-Managed Software-based Redundant Multi-Threading for Transient Fault Detection (CW, HSK, YW, VY), pp. 244–258.
DAC-2007-ChuKCCG #embedded #multi #programming: An Embedded Coherent-Multithreading Multimedia Processor and Its Programming Model (JCC, WCK, SHC, TFC, JIG), pp. 652–657.
DAC-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.
DATE-2007-DestroFP #refinement: A smooth refinement flow for co-designing HW and SW threads (PD, FF, GP), pp. 105–110.
HPCA-2007-ZhangTC #adaptation: Accelerating and Adapting Precomputation Threads for Effcient Prefetching (WZ, DMT, BC), pp. 85–95.
HPCA-2007-ZhongLM #architecture #hybrid #manycore #parallel: Extending Multicore Architectures to Exploit Hybrid Parallelism in Single-thread Applications (HZ, SAL, SAM), pp. 25–36.
HPDC-2007-SongMD #concurrent #memory management #scheduling: Feedback-directed thread scheduling with memory considerations (FS, SM, JD), pp. 97–106.
ISMM-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.
PDP-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.
PPoPP-2007-Boehm #constraints #order: Reordering constraints for pthread-style locks (HJB), pp. 173–182.
PPoPP-2007-GontmakherMS #energy #multi #performance #using: Using fine grain multithreading for energy efficient computing (AG, AM, AS), pp. 259–269.
PPoPP-2007-GuoDLLC #latency #multi #network: Latency hiding through multithreading on a network processor (XG, JD, LL, ZL, PRC), pp. 130–131.
PPoPP-2007-JohnsonEV #composition #concurrent #empirical #optimisation: Speculative thread decomposition through empirical optimization (TAJ, RE, TNV), pp. 205–214.
PPoPP-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.
PPoPP-2007-MaratheHL #transaction: Featherweight transactions: decoupling threads and atomic blocks (VJM, TLH, JRL), pp. 134–135.
PPoPP-2007-MuhlenfeldW #c++ #concurrent #detection #fault #multi: Fault detection in multi-threaded c++ server applications (AM, FW), pp. 142–143.
CAV-2007-BouajjaniFQ #analysis #bound #parallel #source code: Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures (AB, SF, SQ), pp. 207–220.
CAV-2007-PatinST #named #parallel #recursion #source code #verification: Spade: Verification of Multithreaded Dynamic and Recursive Programs (GP, MS, TT), pp. 254–257.
ISSTA-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.
SEKE-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.
SIGIR-2006-ShenYSC #concurrent #detection: Thread detection in dynamic text message streams (DS, QY, JTS, ZC), pp. 35–42.
SAC-2006-LiH #concurrent #multi: A concurrent reactive Esterel processor based on multi-threading (XL, RvH), pp. 912–917.
ASPLOS-2006-LiBH #concurrent #embedded #multi: Mapping esterel onto a multi-threaded embedded processor (XL, MB, RvH), pp. 303–314.
ASPLOS-2006-ParasharSG #locality #multi #named #performance: SlicK: slice-based locality exploitation for efficient redundant multithreading (AP, AS, SG), pp. 95–105.
ASPLOS-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.
CGO-2006-BrueningKGB: Thread-Shared Software Code Caches (DB, VK, TG, SB), pp. 28–38.
CGO-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.
DATE-2006-KulkarniB #concurrent #framework #memory management #platform: Memory centric thread synchronization on platform FPGAs (CK, GJB), pp. 959–964.
DATE-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.
DATE-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.
DATE-2006-Stanley-MarbellLR #adaptation #concurrent #embedded #library #multi: Adaptive data placement in an embedded multiprocessor thread library (PSM, KL, AR), pp. 698–699.
HPCA-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.
HPCA-2006-GontmakherMSS #concurrent: Speculative synchronization and thread management for fine granularity threads (AG, AM, AS, GS), pp. 278–287.
ISMM-2006-SchneiderAN #memory management #parallel #scalability: Scalable locality-conscious multithreaded memory allocation (SS, CDA, DSN), pp. 84–94.
LCTES-2006-ZhuangP #analysis #compilation #concurrent #effectiveness #network: Effective thread management on network processors with compiler analysis (XZ, SP), pp. 72–82.
PDP-2006-AlbrechtDPSS #design #parallel #using: Impact of Coprocessors on a Multithreaded Processor Design Using Prioritized Threads (CA, ACD, FP, TS, HS), pp. 109–115.
PDP-2006-ZhangSS #runtime: A UPC Runtime System Based on MPI and POSIX Threads (ZZ, JS, SS), pp. 195–202.
PPoPP-2006-HuTH #algorithm #manycore #network #parallel: High-performance IPv6 forwarding algorithm for multi-core and multithreaded network processor (XH, XT, BH), pp. 168–177.
PPoPP-2006-KahanK #architecture #exclamation #memory management #parallel #quote: “MAMA!”: a memory allocator for multithreaded architectures (SK, PK), pp. 178–186.
CAV-2006-SenV #model checking #parallel #source code: Model Checking Multithreaded Programs with Asynchronous Atomic Methods (KS, MV), pp. 300–314.
LICS-2006-KahlonG #approach #ltl #model checking: An Automata-Theoretic Approach for Model Checking Threads for LTL Propert (VK, AG), pp. 101–110.
CBSE-2005-BehrendsSD #component #concurrent #design #multi: A Component-Oriented Model for the Design of Safe Multi-threaded Applications (RB, REKS, LKD), pp. 251–266.
VLDB-2005-ZhouCRS #database #multi #performance: Improving Database Performance on Simultaneous Multithreading Processors (JZ, JC, KAR, MS), pp. 49–60.
IWPC-2005-Reiss05a #concurrent #java #monitoring #performance: Efficient Monitoring and Display of Thread State in Java (SPR), pp. 247–256.
PASTE-2005-PickettV #framework #java #multi #named: SableSpMT: a software framework for analysing speculative multithreading in Java (CJFP, CV), pp. 59–66.
SCAM-2005-JonesK #analysis #garbage collection #performance: A Fast Analysis for Thread-Local Garbage Collection with Dynamic Class Loading (REJ, ACK), pp. 129–138.
RTA-2005-MoczydlowskiG #termination: Termination of Single-Threaded One-Rule Semi-Thue Systems (WM, AG), pp. 338–352.
ICFP-2005-FengS #assembly #composition #concurrent #termination #verification: Modular verification of concurrent assembly code with dynamic thread creation and termination (XF, ZS), pp. 254–267.
SIGIR-2005-WuO #email #retrieval: Indexing emails and email threads for retrieval (YW, DWO), pp. 665–666.
ECOOP-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.
PLDI-2005-Boehm #library: Threads cannot be implemented as a library (HJB), pp. 261–268.
PLDI-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.
CC-2005-SadeSS #c #memory management #optimisation #parallel #using: Optimizing C Multithreaded Memory Management Using Thread-Local Storage (YS, SS, RS), pp. 137–155.
CGO-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.
DAC-2005-SahooJIDE #concurrent #multi #reachability: Multi-threaded reachability (DS, JJ, SKI, DLD, EAE), pp. 467–470.
DAC-2005-SchaumontLQV #architecture #design #energy #multi: Cooperative multithreading on 3mbedded multiprocessor architectures enables energy-scalable design (PS, BCCL, WQ, IV), pp. 27–30.
DATE-2005-BarrettaFSB #clustering #embedded #parallel: Multithreaded Extension to Multicluster VLIW Processors for Embedded Applications (DB, WF, MS, DB), pp. 748–749.
DATE-2005-Dean #concurrent #integration #realtime #synthesis: Software Thread Integration and Synthesis for Real-Time Applications (AGD), pp. 68–69.
HPCA-2005-ChandraGKS #architecture #multi #predict: Predicting Inter-Thread Cache Contention on a Chip Multi-Processor Architecture (DC, FG, SK, YS), pp. 340–351.
HPCA-2005-SpracklenA #challenge #multi: Chip Multithreading: Opportunities and Challenges (LS, SGA), pp. 248–252.
HPCA-2005-TuckT #parallel #predict: Multithreaded Value Prediction (NT, DMT), pp. 5–15.
LCTES-2005-SoD #concurrent #integration #pipes and filters: Complementing software pipelining with software thread integration (WS, AGD), pp. 137–146.
PDP-2005-FernandezGBA #3d #architecture #optimisation #video: Optimizing a 3D-FWT Video Encoder for SMPs and HyperThreading Architectures (RFP, JMG, GB, MEA), pp. 76–83.
PPoPP-2005-LiHDH #automation #c #multi #source code: Automatic multithreading and multiprocessing of C programs for IXP (LL, BH, JD, LH), pp. 132–141.
PPoPP-2005-PrabhuO #concurrent #parallel #specification: Exposing speculative thread parallelism in SPEC2000 (MKP, KO), pp. 142–152.
CAV-2005-KahlonIG #communication #reasoning: Reasoning About Threads Communicating via Locks (VK, FI, AG), pp. 505–518.
TestCom-2005-LiL #anti #diagrams #uml #using: Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams (HL, CPL), pp. 69–80.
WICSA-2004-BernardoB #architecture #generative #parallel #source code: Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions (MB, EB), pp. 167–176.
ICFP-2004-TolmachAN #functional #implementation #logic #multi #using: Implementing functional logic languages using multiple threads and stores (APT, SA, MN), pp. 90–102.
CIKM-2004-NallapatiFPA #topic: Event threading within news topics (RN, AF, FP, JA), pp. 446–453.
PLDI-2004-JohnsonEV #composition #concurrent: Min-cut program decomposition for thread-level speculation (TAJ, RE, TNV), pp. 59–70.
PLDI-2004-ZhuangP #network #parallel: Balancing register allocation across threads for a multithreaded network processor (XZ, SP), pp. 289–300.
POPL-2004-FlanaganF #named #parallel #source code: Atomizer: a dynamic atomicity checker for multithreaded programs (CF, SNF), pp. 256–267.
PPDP-2004-SerranoBS: Scheme fair threads (MS, FB, BPS), pp. 203–214.
SAC-2004-DamianiDG #classification #multi: Re-classification and multi-threading: Fickle_MT (FD, MDC, PG), pp. 1297–1304.
SAC-2004-JiangWM #network: Protein threading with residue-environment matching by artificial neural networks (NJ, WXW, IM), pp. 209–210.
SAC-2004-UhrigU #fine-grained #parallel #power management: Fine-grained power management for multithreaded processor cores (SU, TU), pp. 907–908.
SAC-PL-J-2004-DamianiDG #classification #multi #on the: On Re-classification and Multi-threading (FD, MDC, PG), pp. 5–30.
LDTA-2004-GradaraSVV #model checking #modelling #parallel #source code: Model Checking Multithreaded Programs by Means of Reduced Models (SG, AS, MLV, GV), pp. 55–74.
ASPLOS-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.
CGO-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.
CGO-2004-ZhaiCSM #communication #compilation #optimisation: Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads (AZ, CBC, JGS, TCM), pp. 39–52.
HPCA-2004-FalconRV #multi: A Low-Complexity, High-Performance Fetch Unit for Simultaneous Multithreading Processors (AF, AR, MV), pp. 244–253.
LCTES-2004-KumarSD #concurrent #integration #performance: Asynchronous software thread integration for efficient software (NJK, SS, AGD), pp. 37–46.
PDP-2004-AlbrechtHD #embedded #multi #network: Cooperative Software Multithreading to Enhance Utilization of Embedded Processors for Network Applications (CA, RH, ACD), pp. 300–307.
TACAS-2004-SenRA #analysis #online #parallel #performance #predict #safety #source code: Online Efficient Predictive Safety Analysis of Multithreaded Programs (KS, GR, GA), pp. 123–138.
PLDI-2003-PraunG #analysis #concurrent #multi #object-oriented #source code: Static conflict analysis for multi-threaded object-oriented programs (CvP, TRG), pp. 115–128.
ASE-2003-Roychoudhury #concurrent #multi: Depiction and Playout of Multi-threaded Program Executions (AR), pp. 331–336.
ESEC-FSE-2003-SenRA #analysis #parallel #runtime #safety #source code: Runtime safety analysis of multithreaded programs (KS, GR, GA), pp. 337–346.
SAC-2003-NandaR #analysis #java #parallel #pointer #source code: Pointer Analysis of Multithreaded Java Programs (MGN, SR), pp. 1068–1075.
CC-2003-GagnonH #bytecode #effectiveness #java #sequence #using: Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences (EG, LJH), pp. 170–184.
CGO-2003-ChenO #concurrent #named: TEST: A Tracer for Extracting Speculative Thread (MKC, KO), pp. 301–314.
DATE-2003-CassidyPT #concurrent #design #multi #performance: Layered, Multi-Threaded, High-Level Performance Design (ASC, JMP, DET), pp. 10954–10959.
DATE-2003-KinP #data flow #parallel #simulation: Multithreaded Synchronous Data Flow Simulation (JSK, JLP), pp. 11094–11095.
DATE-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.
HPCA-2003-AlameldeenW #architecture #concurrent #multi #simulation #variability: Variability in Architectural Simulations of Multi-Threaded Workloads (ARA, DAW), pp. 7–18.
HPCA-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.
HPCA-2003-RedstoneEL #named #smt: Mini-Threads: Increasing TLP on Small-Scale SMT Processors (JR, SJE, HML), pp. 19–30.
PPoPP-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.
PPoPP-2003-McDowellEG #parallel: Improving server software support for simultaneous multithreaded processors (LM, SJE, SDG), pp. 37–48.
PPoPP-2003-PrabhuO #concurrent #parallel #using: Using thread-level speculation to simplify manual parallelization (MKP, KO), pp. 1–12.
SOSP-2003-BehrenCZNB #internet #named #scalability: Capriccio: scalable threads for internet services (JRvB, JC, FZ, GCN, EAB), pp. 268–281.
CAV-2003-HenzingerJMQ #abstraction #refinement: Thread-Modular Abstraction Refinement (TAH, RJ, RM, SQ), pp. 262–274.
ICLP-2003-Wielemaker #prolog: Native Preemptive Threads in SWI-Prolog (JW), pp. 331–345.
PASTE-2002-SutherlandGS: The code of many colors: relating threads to code and shared state (DFS, AG, WLS), pp. 77–83.
WCRE-2002-CookD #concurrent #interactive: Discovering Thread Interactions in a Concurrent System (JEC, ZD), p. 255–?.
IFL-2002-BoisLT #concurrent #graph #migration #parallel #reduction: Thread Migration in a Parallel Graph Reducer (ARDB, HWL, PWT), pp. 199–214.
PADL-2002-BoyerM: Single-Threaded Objects in ACL2 (RSB, JSM), pp. 9–27.
PLDI-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.
ASE-2002-Hall #concurrent #java #multi #named #profiling: CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications (RJH), pp. 107–116.
ICSE-2002-RoychoudhuryM #java #parallel #semantics #specification #verification: Specifying multithreaded Java semantics for program verification (AR, TM), pp. 489–499.
ASPLOS-2002-MartinezT #concurrent #parallel: Speculative synchronization: applying thread-level speculation to explicitly parallel applications (JFM, JT), pp. 18–29.
ASPLOS-2002-OplingerL #reliability: Enhancing software reliability with speculative threads (JTO, MSL), pp. 184–196.
ASPLOS-2002-ZhaiCSM #communication #compilation #optimisation: Compiler optimization of scalar value communication between speculative threads (AZ, CBC, JGS, TCM), pp. 171–183.
DAC-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.
HPCA-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.
HPCA-2002-CintraT #learning #parallel: Speculative Multithreading Eliminating Squashes through Learning Cross-Thread Violations in Speculative Parallelization for Multiprocessors (MHC, JT), pp. 43–54.
HPCA-2002-JamiesonB #clustering #concurrent #memory management #named: CableS: Thread Control and Memory Management Extensions for Shared Virtual Memory Clusters (PJ, AB), pp. 263–274.
HPCA-2002-MarcuelloG #multi: Thread-Spawning Schemes for Speculative Multithreading (PM, AG), pp. 55–64.
HPCA-2002-SteffanCZM #communication #concurrent: Improving Value Communication for Thread-Level Speculation (JGS, CBC, AZ, TCM), pp. 65–75.
ISMM-2002-DomaniGKLPS #java: Thread-local heaps for Java (TD, GG, EKK, EL, EP, DS), pp. 183–194.
PDP-2002-HadjidoukasPP #programming: Integrating MPI and Nanothreads Programming Model (PEH, EDP, TSP), p. 309–?.
PDP-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.
ESOP-2002-FlanaganFQ #source code #verification: Thread-Modular Verification for Shared-Memory Programs (CF, SNF, SQ), pp. 262–277.
ESOP-2002-WansbroughNSS #semantics: Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures (KW, MN, PS, AS), pp. 278–294.
FoSSaCS-2002-Abraham-MummBRS #concept #java #multi #verification: Verification for Java’s Reentrant Multithreading Concept (EÁM, FSdB, WPdR, MS), pp. 5–20.
TACAS-2002-DelzannoRB #automation #java #parallel #source code #towards #verification: Towards the Automated Verification of Multithreaded Java Programs (GD, JFR, LVB), pp. 173–187.
CAV-2002-FlanaganQS #composition #parallel #source code: A Modular Checker for Multithreaded Programs (CF, SQ, SAS), pp. 180–194.
ISSTA-2002-ChoiZ #concurrent: Isolating failure-inducing thread schedules (JDC, AZ), pp. 210–220.
IWPC-2001-LuccaFC #algebra #comprehension #object-oriented #representation: An Algebraic Notation for Representing Threads in Object Oriented Software Comprehension (GADL, ARF, UdC), pp. 176–185.
SAS-2001-Rinard #analysis #parallel #source code: Analysis of Multithreaded Programs (MCR), pp. 1–19.
HPCA-2001-RothS #data-driven #multi: Speculative Data-Driven Multithreading (AR, GSS), pp. 37–48.
LCTES-OM-2001-PyaraliSCS #concurrent #corba #optimisation #realtime: Evaluating and Optimizing Thread Pool Strategies for Real-Time CORBA (IP, MS, RC, DCS), pp. 214–222.
PDP-2001-ArtiagaG #kernel #migration #parallel: Running Multithreaded Applications in Exokernel-based Systems: Porting CThreads to Xok (EA, MG), pp. 77–83.
PDP-2001-LombardD #library: A Freeze/Unfreeze Mechanism for the LinuxThreads Library (PL, YD), pp. 84–88.
PPoPP-2001-SalcianuR #analysis #parallel #pointer #source code: Pointer and escape analysis for multithreaded programs (AS, MCR), pp. 12–23.
TACAS-2001-BallCR #library #parallel #verification: Parameterized Verification of Multithreaded Software Libraries (TB, SC, SKR), pp. 158–173.
ITiCSE-2000-CarrS #education #library #parallel #programming: A portable class library for teaching multithreaded programming (SC, CKS), pp. 124–127.
WCRE-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.
CSCW-2000-SmithCB: Conversation trees and threaded chats (MS, JJC, BB), pp. 97–105.
TOOLS-EUROPE-2000-BouchenakH #java: Pickling Threads State in the Java System (SB, DH), pp. 22–32.
TOOLS-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.
SAC-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.
SAC-2000-JungKM #delivery #distributed #internet #parallel: Multithreaded Distributed MPEGI-Video Delivery in the Internet Environment (GSJ, KWK, QMM), pp. 592–597.
ASPLOS-2000-BergerMBW #memory management #named #parallel #scalability: Hoard: A Scalable Memory Allocator for Multithreaded Applications (EDB, KSM, RDB, PRW), pp. 117–128.
ASPLOS-2000-FlautnerURM #concurrent #interactive #parallel #performance: Thread Level Parallelism and Interactive Performance of Desktop Applications (KF, RU, SKR, TNM), pp. 129–138.
ASPLOS-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.
ASPLOS-2000-SnavelyT #multi: Symbiotic Jobscheduling for a Simultaneous Multithreading Processor (AS, DMT), pp. 234–244.
HPCA-2000-MowryR #memory management #multi #using: Software-Controlled Multithreading Using Informing Memory Operations (TCM, SRR), pp. 121–132.
ISMM-2000-PlakalF #concurrent #garbage collection #parallel #slicing #using: Concurrent Garbage Collection Using Program Slices on Multithreaded Processors (MP, CNF), pp. 94–100.
ISMM-2000-Steensgaard #concurrent #multi #source code: Thread-Specific Heaps for Multi-Threaded Programs (BS), pp. 18–24.
PDP-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.
ISSTA-2000-SchulzM #debugging #interface: A thread-aware debugger with an open interface (DS, FM), pp. 201–211.
VLDB-1999-TanGO #feedback #multi #online #query: Online Feedback for Nested Aggregate Queries with Multi-Threading (KLT, CHG, BCO), pp. 18–29.
TOOLS-ASIA-1999-KatribFP #java #using: Synchronizing Java Threads Using Assertions (MK, DF, EP), pp. 51–60.
TOOLS-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.
AdaEurope-1999-Jimenez-PerisPBA #parallel #performance: Efficient and Extensible Multithreaded Remote Servers (RJP, MPM, FJB, SA), pp. 91–102.
PLDI-1999-RuginaR #analysis #parallel #pointer #source code: Pointer Analysis for Multithreaded Programs (RR, MCR), pp. 77–90.
SAS-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.
ICSE-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.
SAC-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.
SAC-1999-Jimenez-PerisPA #design pattern #distributed #parallel: Multithreaded Rendezvous: A Design Pattern for Distributed Rendezvous (RJP, MPM, SA), pp. 571–579.
HPCA-1999-HilyS #effectiveness #execution #multi: Out-of-Order Execution may not be Cost-Effective on Processors Featuring Simultaneous Multithreading (SH, AS), pp. 64–67.
HPCA-1999-ParcerisaG #multi: The Synergy of Multithreading and Access/Execute Decoupling (JMP, AG), pp. 59–63.
HPCA-1999-SohnPKKY #communication #parallel: Communication Studies of Single-Threaded and Multithreaded Distributed-Memory Multiprocessors (AS, YP, JYK, YK, YY), pp. 310–314.
HPCA-1999-TullsenG #architecture #compilation #execution #parallel: Multithreaded Execution Architecture and Compilation (DMT, GRG), p. 321.
HPCA-1999-TullsenLEL #fine-grained #multi: Supporting Fine-Grained Synchronization on a Simultaneous Multithreading Processor (DMT, JLL, SJE, HML), pp. 54–58.
PPoPP-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.
PPoPP-1999-TauraTY #named #standard: StackThreads/MP: Integrating Futures into Calling Standards (KT, KT, AY), pp. 60–71.
PPoPP-1999-XuMN: Dynamic Instrumentation of Threaded Applications (ZX, BPM, ON), pp. 49–59.
SOSP-1999-DudaC #scheduling: Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose schedular (KJD, DRC), pp. 261–276.
ICLP-1999-CarroH #concurrent #database #prolog #using: Concurrency in Prolog Using Threads and a Shared Database (MC, MVH), pp. 320–334.
HT-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.
PASTE-1998-Krinke #slicing #source code: Static Slicing of Threaded Programs (JK), pp. 35–42.
ALP-PLILP-1998-EskilsonC #execution #parallel #prolog: SICStus MT — A Multithreaded Execution Environment for SICStus Prolog (JE, MC), pp. 36–53.
PLDI-1998-FrigoLR #implementation #parallel: The Implementation of the Cilk-5 Multithreaded Language (MF, CEL, KHR), pp. 212–223.
PLDI-1998-PiumartaR #optimisation: Optimizing Direct-threaded Code by Selective Inlining (IP, FR), pp. 291–300.
POPL-1998-SmithV #concurrent #data flow #imperative #multi: Secure Information Flow in a Multi-Threaded Imperative Language (GS, DMV), pp. 355–364.
ASPLOS-1998-Weissman #approach #concurrent #locality #performance: Performance Counters and State Sharing Annotations: a Unified Approach to Thread Locality (BW), pp. 127–138.
DATE-1998-MrvaBK #architecture #concurrent #java #multi #scalability: A Scalable Architecture for Multi-threaded JAVA Applications (MM, KB, RK), pp. 868–874.
HPCA-1998-SpeightB #communication #multi #using: Using Multicast and Multithreading to Reduce Communication in Software DSM Systems (ES, JKB), pp. 312–322.
HPCA-1998-SteffanM #automation #concurrent #parallel #using: The Potential for Using Thread-Level Data Speculation to Facilitate Automatic Parallelization (JGS, TCM), pp. 2–13.
HPCA-1998-TsaiJNY #concurrent #parallel #performance: Performance Study of a Concurrent Multithreaded Processor (JYT, ZJ, EN, PCY), pp. 24–35.
HPCA-1998-TubellaG #detection #parallel: Control Speculation in Multithreaded Processors through Dynamic Loop Detection (JT, AG), pp. 14–23.
PDP-1998-KindP #multi: Multi-lingual threading (AK, JAP), pp. 431–437.
IFL-1997-Chakravarty #concurrent #lazy evaluation #parallel: Lazy Thread and Task Creation in Parallel Graph-Reduction (MMTC), pp. 231–249.
UML-1997-SchaderK #java #modelling #uml: Modeling Java Threads in UML (MS, AK), pp. 122–143.
OOPSLA-1997-Haines #analysis #design #implementation #lightweight: An Open Implementation Analysis and Design for Lightweight Threads (MH), pp. 229–242.
TOOLS-PACIFIC-1997-WabenhorstP #java #modelling #multi: Modelling Multi-Threading in Java (AW, JP), pp. 153–164.
PLDI-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.
SAC-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.
EDTC-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.
HPCA-1997-EspasaV #architecture #parallel: Multithreaded Vector Architectures (RE, MV), pp. 237–248.
HPDC-1997-Knafla #adaptation #database #parallel: Speed Up Your Database Client with Adaptable Multithreaded Prefetching (NK), pp. 102–111.
HPDC-1997-SudoSS #scheduling: Distributed-Thread Scheduling Methods for Reducing Page-Thrashing (YS, SS, SS), pp. 356–364.
PPoPP-1997-SodanGMST #architecture #case study #experience #parallel: Experiences with Non-numeric Applications on Multithreaded Architectures (AS, GRG, OM, JUS, XT), pp. 124–135.
SOSP-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.
AFP-1996-Lee96 #implementation #ml #standard: Implementing Threads in Standard ML (PL), pp. 115–130.
ICFP-1996-WiseW #clustering #pointer: Static and Dynamic Partitioning of Pointers as Links and Threads (DSW, JW), pp. 42–49.
CSCW-1996-McDanielOM #identification #multi: Identifying and Analyzing Multiple Threads in Computer-Mediated and Face-to-Face Conversations (SEM, GMO, JCM), pp. 39–47.
ASPLOS-1996-GrunwaldN #optimisation #performance: Whole-Program Optimization for Time and Space Efficient Threads (DG, RN), pp. 50–59.
ASPLOS-1996-PhilbinEADL #concurrent #locality #scheduling: Thread Scheduling for Cache Locality (JP, JE, OJA, CCD, KL), pp. 60–71.
HPCA-1996-GulatiB #parallel #performance: Performance Study of a Multithreaded Superscalar Microprocessor (MG, NB), pp. 291–301.
HPCA-1996-MullerSW #memory management #multi: Multitasking and Multithreading on a Multiprocessor with Virtual Shared Memory (HLM, PWAS, DHDW), pp. 212–221.
HPDC-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.
PDP-1996-ChenPK #architecture #parallel #performance: Performance of Shared Cache on Multithreaded Architectures (YYC, JKP, CTK), pp. 541–548.
JICSLP-1996-RaoRR #concurrent: A Thread in Time Saves Tabling Time (PR, CRR, IVR), pp. 112–126.
POPL-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.
SAS-1995-Coorg #clustering #code generation #concurrent #functional #multi #strict: Partitioning Non-strict Functional Languages for Multi-threaded Code Generation (SRC), pp. 82–99.
SAC-1995-LeeA: Object linkage mechanism for threaded interpretive languages (YML, DJA), pp. 374–378.
HPCA-1995-FiskeD #concurrent #parallel #scheduling: Thread Prioritization: A Thread Scheduling Mechanism for Multiple-Context Parallel Processors (SF, WJD), pp. 210–221.
HPCA-1995-GovindarajanNL #architecture #design #evaluation #parallel #performance: Design and Performance Evaluation of a Multithreaded Architecture (RG, SSN, PL), pp. 298–307.
HPCA-1995-KawanoKTA #architecture #parallel: Fine-Grain Multi-Thread Processor Architecture for Massively Parallel Processing (TK, SK, RiT, MA), pp. 308–317.
HPCA-1995-LiC #parallel: The Effects of STEF in Finely Parallel Multithreaded Processors (YL, WC), pp. 318–325.
HPDC-1995-YadavRH #message passing #parallel: A Multithreaded Message Passing Environment for ATM LAN/WAN (RY, RR, SH), pp. 238–245.
PPoPP-1995-BlumofeJKLRZ #named #parallel #performance #runtime: Cilk: An Efficient Multithreaded Runtime System (RDB, CFJ, BCK, CEL, KHR, YZ), pp. 207–216.
SOSP-1995-SteensgaardJ #concurrent: Object and Native Code Thread Mobility Among Heterogeneous Computers (BS, EJ), pp. 68–78.
VLDB-1994-MatthesS #persistent: Persistent Threads (FM, JWS), pp. 403–414.
LFP-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.
CHI-1994-Koenemann-BelliveauCRS94a #comparative #evaluation #usability: Comparative usability evaluation: critical incidents and critical threads (JKB, JMC, MBR, MKS), pp. 245–251.
OOPSLA-1994-BuhrC #design #object-oriented #realtime: Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems (RJAB, RSC), pp. 301–316.
AdaEurope-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.
PLDI-1994-LaunchburyJ #functional #lazy evaluation: Lazy Functional State Threads (JL, SLPJ), pp. 24–35.
SAC-1994-OgataD #compilation #multi: Object allocation and dynamic compilation in MultithreadSmalltalk (KO, ND), pp. 452–456.
SAC-1994-WongD #hybrid #stack #using: Supporting thousands of threads using a hybrid stack sharing scheme (KFW, BD), pp. 493–498.
ASPLOS-1994-LaudonGH #multi #named: Interleaving: A Multithreading Technique Targeting Multiprocessors and Workstations (JL, AG, MH), pp. 308–318.
PDP-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.
ICLP-1994-LaunchburyJ #lazy evaluation: Lazy Funtional State Threads: An Abstract (JL, SLPJ), pp. 3–5.
POPL-1993-DoligezL #concurrent #garbage collection #implementation #ml #parallel: A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML (DD, XL), pp. 113–123.
TRI-Ada-1993-GieringMB #ada #design #implementation #using: Implementing Ada 9X Features Using POSIX Threads: Design Issues (EWG, FM, TPB), pp. 214–228.
HPDC-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.
SOSP-1993-HauserJTWW #case study #interactive #using: Using Threads in Interactive Systems: A Case Study (CH, CJ, MT, BBW, MW), pp. 94–105.
STOC-1993-BlumofeL #parallel #scheduling: Space-efficient scheduling of multithreaded computations (RDB, CEL), pp. 362–371.
LFP-1992-JagannathanP #concurrent #multi #performance: A Foundation for an Efficient Multi-Threaded Scheme System (SJ, JP), pp. 345–357.
LFP-1992-TraubCS #analysis #clustering #source code #strict: Global Analysis for Partitioning Non-Strict Programs into Sequential Threads (KRT, DEC, KES), pp. 324–334.
TRI-Ada-C-1992-GieringB #ada #using: Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress (EWG, TPB), pp. 518–529.
TRI-Ada-C-1992-Sielski #ada #implementation #parallel: Implementing Ada Tasking in a Multiprocessing, Multithreaded UNIX Environment (KLS), pp. 512–517.
IWMM-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.
JICSLP-1992-SundararajanST #analysis #concurrent #logic programming #source code: Variable Threadedness Analysis for Concurrent Logic Programs (RS, AVSS, ET), pp. 493–508.
FPCA-1991-Fradet #continuation #detection #using: Syntactic Detection of Single-Threading Using Continuations (PF), pp. 241–258.
FPCA-1991-SchauserCE #parallel: Compiler-Controlled Multithreading for Lenient Parallel Languages (KES, DEC, TvE), pp. 50–72.
FPCA-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.
ASPLOS-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.
SOSP-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.
OOPSLA-ECOOP-1990-FaustL #object-oriented #performance: The Performance of an Object-Oriented Threads Package (JEF, HML), pp. 278–288.
WAGA-1990-Vorthmann #attribute grammar #coordination #incremental: Coordinated Incremental Attribute Evaluation on a DR-Threaded Tree (SAV), pp. 207–221.
LICS-1990-GuzmanH #polymorphism #λ-calculus: Single-Threaded Polymorphic λ Calculus (JCG, PH), pp. 333–343.
SOSP-1989-MassalinP #kernel #synthesis: Threads and Input/Output in the Synthesis Kernel (HM, CP), pp. 191–201.
CCHSC-1988-Mughal #generative #incremental #programming: Generation of Incremental Indirect Threaded Code for Language-Based Programming Environments (KAM), pp. 230–242.