Stem thread$ (all stems)

327 papers:

CASE-2015-ShellshearCBT #algorithm #concurrent #multi #problem #thread

A multi-threaded memetic packing algorithm for the ISO luggage packing problem (ES, JSC, RB, ST), pp. 1509–1514.

DATE-2015-RawatS #architecture #concurrent #hybrid #manycore #memory management #thread

Enabling multi-threaded applications on hybrid shared memory manycore architectures (TR, AS), pp. 742–747.

PEPM-2015-LeCT #concurrent #thread #verification

Threads as Resource for Concurrency Verification (DKL, WNC, YMT), pp. 73–84.

CSCW-2015-Huh #community #health #online #thread

Clinical Questions in Online Health Communities: The Case of “See your doctor” Threads (JH), pp. 1488–1499.

ECIR-2015-BiyaniBCM #analysis #concurrent #online #retrieval #thread #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 #thread #virtual machine

Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine (GU, HR), pp. 840–859.

SAC-2015-DabrowskiLP #compilation #concurrent #thread

Nested atomic sections with thread escape: compilation (FD, FL, TP), pp. 2099–2106.

ESEC-FSE-2015-GuJSZL #concurrent #thread #what

What change history tells us about thread synchronization (RG, GJ, LS, LZ, SL), pp. 426–438.

ASPLOS-2015-Bhatotia0ABR #incremental #library #named #parallel #thread

iThreads: A Threading Library for Parallel Incremental Computation (PB, PF, UAA, BBB, RR), pp. 645–659.

CGO-2015-KimHSLH #architecture #concurrent #cpu #modelling #programming #scheduling #thread

Locality-centric thread scheduling for bulk-synchronous programming models on CPU architectures (HSK, IEH, JAS, SSL, WmWH), pp. 257–268.

HPDC-2015-AkiyamaT #concurrent #scalability #thread

Uni-Address Threads: Scalable Thread Management for RDMA-Based Work Stealing (SA, KT), pp. 15–26.

PPoPP-2015-AmerLWBM #runtime #thread

MPI+Threads: runtime contention and remedies (AA, HL, YW, PB, SM), pp. 239–248.

PPoPP-2015-DasSR #communication #concurrent #detection #program analysis #thread

Section based program analysis to reduce overhead of detecting unsynchronized thread communication (MD, GS, JR), pp. 283–284.

PPoPP-2015-SaillardCB #concurrent #multi #thread #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

Thread-Aware Logic Programming for Data-Driven Parallel Programs (FC, RR, SCG).

ICST-2015-XuLCK #approach #bound #detection #lightweight #thread

A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.

DAC-2014-HuXMCHX #thread

Thermal-Sustainable Power Budgeting for Dynamic Threading (XH, YX, JM, GC, YH, YX), p. 6.

DATE-2014-LiuSXL #injection #programmable #thread

Programmable decoder and shadow threads: Tolerate remote code injection exploits with diversified redundancy (ZL, WS, SX, ZL), pp. 1–6.

DATE-2014-PandaB #concurrent #thread

Introducing Thread Criticality awareness in Prefetcher Aggressiveness Control (BP, SB), pp. 1–6.

DATE-2014-RoyJ #named #optimisation #thread

ALLARM: Optimizing sparse directories for thread-local data (AR, TMJ), pp. 1–6.

ICPC-2014-TianZLFZY #detection #parallel #thread

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 #thread

C/C++ Thread Safety Analysis (DH, AB, DS), pp. 41–46.

SEFM-2014-LovatoMS #diagrams #library #thread

A Thread-Safe Library for Binary Decision Diagrams (AL, DM, FS), pp. 35–49.

OOPSLA-2014-PintoCL #behaviour #comprehension #concurrent #energy #thread

Understanding energy behaviors of thread management constructs (GP, FC, YDL), pp. 345–360.

SAC-2014-DabrowskiLP #concurrent #thread

Nested atomic sections with thread escape: a formal definition (FD, FL, TP), pp. 1585–1592.

ASPLOS-2014-EyermanE #concurrent #flexibility #manycore #parallel #smt #thread #towards

The benefit of SMT in the multi-core era: flexibility towards degrees of thread-level parallelism (SE, LE), pp. 591–606.

HPCA-2014-HeirmanCCHJE #architecture #clustering #thread

Undersubscribed threading on clustered cache architectures (WH, TEC, KVC, IH, AJ, LE), pp. 678–689.

HPCA-2014-LeeSMKSCR #concurrent #resource management #scheduling #thread

Improving GPGPU resource utilization through alternative thread block scheduling (ML, SS, JM, JK, WS, YGC, SR), pp. 260–271.

HPCA-2014-TsengT #named #thread

CDTT: Compiler-generated data-triggered threads (HWT, DMT), pp. 650–661.

HPCA-2014-WangDDS #concurrent #memory management #multi #named #predict #source code #thread

DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead (WW, TD, JWD, MLS), pp. 380–391.

PPoPP-2014-MaAC #algorithm #analysis #manycore #thread

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 #thread

Leveraging hardware message passing for efficient thread synchronization (DP, TR, AS), pp. 143–154.

PPoPP-2014-PusukuriGB #concurrent #thread

Lock contention aware thread migrations (KKP, RG, LNB), pp. 369–370.

PPoPP-2014-YangZ #concurrent #named #parallel #thread

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 #thread

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 #thread

Causal Termination of Multi-threaded Programs (AK, BF), pp. 814–830.

ISSTA-2014-LinK #automation #concurrent #multi #satisfiability #source code #thread #using

Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability (YL, SSK), pp. 237–247.

VMCAI-2014-Mine #abstract interpretation #analysis #relational #thread

Relational Thread-Modular Static Value Analysis by Abstract Interpretation (AM), pp. 39–58.

DAC-2013-NathAR #concurrent #scheduling #thread

Temperature aware thread block scheduling in GPGPUs (RN, RZA, TSR), p. 6.

DATE-2013-HuYH0 #concurrent #low cost #multi #named #thread

Orchestrator: a low-cost solution to reduce voltage emergencies for multi-threaded applications (XH, GY, YH, XL), pp. 208–213.

TACAS-2013-PopeeaR #concurrent #contest #multi #named #source code #thread #verification

Threader: A Verifier for Multi-threaded Programs — (Competition Contribution) (CP, AR), pp. 633–636.

PLDI-2013-YuKL #data type #multi #thread

General data structure expansion for multi-threading (HY, HJK, ZL), pp. 243–252.

VISSOFT-2013-KarranTD #analysis #named #thread #visual notation

SYNCTRACE: Visual thread-interplay analysis (BK, JT, JD), pp. 1–10.

HILT-2013-Taft #concurrent #named #parallel #proving #safety #source code #thread #tutorial

Tutorial: proving safety of parallel / multi-threaded programs (STT), pp. 1–2.

OOPSLA-2013-BoisSEE #concurrent #graph #multi #scalability #thread #visualisation

Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications (KDB, JBS, SE, LE), pp. 355–372.

OOPSLA-2013-BondKCZSBSH #dependence #named #thread

OCTET: capturing and controlling cross-thread dependences efficiently (MDB, MK, MC, MZ, MFS, SB, AS, JH), pp. 693–712.

QAPL-2013-NgoH #analysis #concurrent #multi #security #source code #thread

Quantitative Security Analysis for Multi-threaded Programs (TMN, MH), pp. 34–48.

ASPLOS-2013-JogKNMKMID #array #concurrent #named #owl #performance #scheduling #thread

OWL: cooperative thread array aware scheduling techniques for improving GPGPU performance (AJ, OK, NCN, AKM, MTK, OM, RI, CRD), pp. 395–406.

ASPLOS-2013-ZhangKLLS #concurrent #debugging #execution #named #thread

ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution (WZ, MdK, AL, SL, KS), pp. 113–126.

PPoPP-2013-CaiZWC #detection #named #parallel #source code #thread

TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs (YC, KZ, SW, WKC), pp. 311–312.

PPoPP-2013-LuZWZ0 #multi #named #performance #thread

RaceFree: an efficient multi-threading model for determinism (KL, XZ, XW, WZ, GL), pp. 297–298.

PPoPP-2013-WamhoffFFRM #concurrent #memory management #named #performance #thread #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 #thread

Parrot: a practical runtime for deterministic, stable, and reliable threads (HC, JS, YHL, HL, BB, XX, JY, GAG, REB), pp. 388–405.

ISSTA-2013-BindalBL #bound #concurrent #parallel #source code #testing #thread

Variable and thread bounding for systematic testing of multithreaded programs (SB, SB, AL), pp. 145–155.

TACAS-2012-PopeeaR #composition #concurrent #multi #proving #source code #termination #thread

Compositional Termination Proofs for Multi-threaded Programs (CP, AR), pp. 237–251.

PLDI-2012-PradelG #automation #concurrent #detection #precise #safety #thread

Fully automatic and precise detection of thread safety violations (MP, TRG), pp. 521–530.

CHI-2012-FernaeusJT #human-computer #thread

Revisiting the jacquard loom: threads of history and current patterns in HCI (YF, MJ, JT), pp. 1593–1602.

CSCW-2012-BarksdaleICHJRV #distributed #thread #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 #thread #what

I want what i need!: analyzing subjectivity of online forum threads (PB, CC, AS, PM), pp. 2495–2498.

KEOD-2012-NairM #correlation #thread

Correlating and Cross-linking Knowledge Threads in Informledge System for Creating New Knowledge (TRGN, MM), pp. 251–256.

SIGIR-2012-SinghPR #approach #thread

Retrieving similar discussion forum threads: a structure based approach (AS, DP, DR), pp. 135–144.

OOPSLA-2012-SartorE #concurrent #hardware #java #manycore #performance #thread

Exploring multi-threaded Java application performance on multicore hardware (JBS, LE), pp. 281–296.

OOPSLA-2012-TsengT #thread

Software data-triggered threads (HWT, DMT), pp. 703–716.

SAC-2012-FahmyRJ #implementation #interface #kernel #linux #programming #realtime #scheduling #thread

Implementing distributable real-time threads in the Linux kernel: programming interface and scheduling support (SFF, BR, EDJ), pp. 1771–1778.

FSE-2012-GanaiLG #analysis #concurrent #multi #named #source code #thread

DTAM: dynamic taint analysis of multi-threaded programs for relevancy (MKG, DL, AG), p. 46.

CC-2012-UnkuleSQ #automation #gpu #kernel #locality #thread

Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality (SU, CS, AQ), pp. 21–40.

CGO-2012-HongHYWHLWC #concurrent #multi #named #thread

HQEMU: a multi-threaded and retargetable dynamic binary translator on multicores (DYH, CCH, PCY, JJW, WCH, PL, CMW, YCC), pp. 104–113.

ICLP-J-2012-AreiasR #concurrent #multi #thread #towards #using

Towards multi-threaded local tabling using a common table space (MA, RR), pp. 427–443.

ICLP-J-2012-GebserKS #concurrent #multi #thread

Multi-threaded ASP solving with clasp (MG, BK, TS), pp. 525–545.

ISSTA-2012-YiDFF #concurrent #java #thread

Cooperative types for controlling thread interference in Java (JY, TD, SNF, CF), pp. 232–242.

VMCAI-2012-ChakiGS #concurrent #multi #source code #thread #verification

Regression Verification for Multi-threaded Programs (SC, AG, OS), pp. 119–135.

ASE-2011-GanaiAWGB #concurrent #multi #named #predict #testing #thread

BEST: A symbolic testing tool for predicting multi-threaded program failures (MKG, NA, CW, AG, GB), pp. 596–599.

DAC-2011-AdirGLNSSZ #concurrent #multi #named #thread

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 #thread

A helper thread based dynamic cache partitioning scheme for multithreaded applications (MTK, TY, EK), pp. 954–959.

ICSM-2011-SyerAH #concurrent #identification #performance #thread

Identifying performance deviations in thread pools (MDS, BA, AEH), pp. 83–92.

WCRE-2011-ScholzK #multi #protocol #source code #thread

Object-Based Dynamic Protocol Recovery for Multi-Threading Programs (BS, RK), pp. 251–260.

CIKM-2011-RenMWL #process #thread #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 #thread

Exploiting Thread Structures to Improve Smoothing of Language Models for Forum Post Retrieval (HD, CZ), pp. 350–361.

POPL-2011-GuptaPR #abstraction #concurrent #multi #refinement #source code #thread #verification

Predicate abstraction and refinement for verifying multi-threaded programs (AG, CP, AR), pp. 331–344.

SAC-2011-ShinLSL #concurrent #monitoring #multi #predict #scheduling #thread

Predictable multithread scheduling with cycle-accurate thread progress monitor (YS, SL, MS, SL), pp. 627–628.

ICSE-2011-CordeiroF #bound #concurrent #model checking #multi #smt #thread #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 #thread

LIME: a framework for debugging load imbalance in multi-threaded execution (JO, CJH, GV, MP), pp. 201–210.

ASPLOS-2011-KamruzzamanST #manycore #migration #thread #using

Inter-core prefetching for multicore processors using migrating helper threads (MK, SS, DMT), pp. 393–404.

HPCA-2011-BrownPT #concurrent #migration #performance #predict #set #thread

Fast thread migration via cache working set prediction (JAB, LP, DMT), pp. 193–204.

HPCA-2011-FungA #concurrent #control flow #performance #thread

Thread block compaction for efficient SIMT control flow (WWLF, TMA), pp. 25–36.

HPCA-2011-LeeTST #fine-grained #multi #named #thread

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 #thread

Fg-STP: Fine-Grain Single Thread Partitioning on Multicores (RR, FL, PM, AG), pp. 15–24.

HPCA-2011-TsengT #thread

Data-triggered threads: Eliminating redundant computation (HWT, DMT), pp. 181–192.

HPDC-2011-Garcia-YaguezFG #concurrent #thread

Exclusive squashing for thread-level speculation (ÁGY, DRLF, AGE), pp. 275–276.

PPoPP-2011-KarmaniMM #concurrent #contract #parallel #thread

Thread contracts for safe parallelism (RKK, PM, BMM), pp. 125–134.

CAV-2011-GuptaPR #concurrent #constraints #multi #named #source code #thread #verification

Threader: A Constraint-Based Verifier for Multi-threaded Programs (AG, CP, AR), pp. 412–417.

DAC-2010-LiuKLC #bound #concurrent #multi #thread

Multi-threaded collision-aware global routing with bounded-length maze routing (WHL, WCK, YLL, KYC), pp. 200–205.

DATE-2010-BaudischBS #independence #parallel #source code #thread

Multithreaded code from synchronous programs: Extracting independent threads for OpenMP (DB, JB, KS), pp. 949–952.

ESOP-2010-Lochbihler #compilation #java #thread #verification

Verifying a Compiler for Java Threads (AL), pp. 427–447.

FASE-2010-ChatterjeeARS #concurrent #multi #source code #thread

Analyzing the Impact of Change in Multi-threaded Programs (KC, LdA, VR, CS), pp. 293–307.

ICSM-2010-CeccatoT #consistency #legacy #migration #static analysis #thread

Static analysis for enforcing intra-thread consistent locks in the migration of a legacy system (MC, PT), pp. 1–9.

PASTE-2010-ReissK #thread #transaction #visualisation

Visualizing threads, transactions and tasks (SPR, SK), pp. 9–16.

PLDI-2010-KamruzzamanST #concurrent #distributed #performance #thread

Software data spreading: leveraging distributed caches to improve single thread performance (MK, SS, DMT), pp. 460–470.

SAS-2010-MalkisPR #abstraction #refinement #thread

Thread-Modular Counterexample-Guided Abstraction Refinement (AM, AP, AR), pp. 356–372.

SOFTVIS-2010-MaheswaraBC #concurrent #interactive #named #thread #visualisation

TIE: an interactive visualization of thread interleavings (GM, JSB, CC), pp. 215–216.

CIKM-2010-BonacicGMPT #concurrent #multi #performance #thread

Building efficient multi-threaded search nodes (CB, CG, MM, MPM, FT), pp. 1249–1258.

CIKM-2010-ZhaoBCGWZ #concurrent #learning #online #recommendation #thread

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 #thread

Clustering of Thread Posts in Online Discussion Forums (DAS, NMW), pp. 314–319.

SEKE-2010-LuG #analysis #architecture #concurrent #performance #thread #web

Performance Analysis of a Web Server with Dynamic Thread Pool Architecture (JL, SSG), pp. 99–105.

SAC-2010-RodriguesNPM #parallel #thread

A new technique for data privatization in user-level threads and its use in parallel applications (ERR, POAN, JP, CLM), pp. 2149–2154.

FSE-2010-SorrentinoFM #named #thread #weaving

PENELOPE: weaving threads to expose atomicity violations (FS, AF, PM), pp. 37–46.

ICSE-2010-Cordeiro #bound #concurrent #embedded #model checking #multi #smt #thread

SMT-based bounded model checking for multi-threaded software in embedded systems (LC), pp. 373–376.

ASPLOS-2010-RamanKMJA #concurrent #parallel #thread #transaction #using

Speculative parallelization using software multi-threaded transactions (AR, HK, TRM, TBJ, DIA), pp. 65–76.

CGO-2010-StrattonGMAMHH #compilation #fine-grained #manycore #performance #source code #thread

Efficient compilation of fine-grained SPMD-threaded programs for multicore CPUs (JAS, VG, JM, BA, MM, ZH, WmWH), pp. 111–119.

HPCA-2010-GreskampKT #configuration management #multi #named #performance #thread

LeadOut: Composing low-overhead frequency-enhancing techniques for single-thread performance in configurable multicores (BG, URK, JT), pp. 1–12.

PPoPP-2010-RadojkovicCVPCNV #concurrent #network #parallel #thread

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 #thread

Composable thread coloring (DFS, WLS), pp. 233–244.

ICLP-J-2010-CostaDR #thread

Threads and or-parallelism unified (VSC, IdCD, RR), pp. 417–432.

VMCAI-2010-LahiriMQ #thread

Abstract Threads (SKL, AM, SQ), pp. 231–246.

DAC-2009-KandemirOM #concurrent #thread

Dynamic thread and data mapping for NoC based CMPs (MTK, ÖÖ, SPM), pp. 852–857.

DATE-2009-HongNKO #concurrent #multi #process #thread

Process variation aware thread mapping for Chip Multiprocessors (SH, SHKN, MTK, ÖÖ), pp. 821–826.

DATE-2009-KodakaSTONKMUAOKTM #design #implementation #manycore #scalability #thread

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 #thread

A generic platform for estimation of multi-threaded program performance on heterogeneous multiprocessors (AS, MB, PRP), pp. 1018–1023.

VLDB-2009-DasAAA #architecture #concurrent #data type #manycore #thread

Thread Cooperation in Multicore Architectures for Frequency Counting over Multiple Data Streams (SD, SA, DA, AEA), pp. 217–228.

ESOP-2009-LeinoM #concurrent #multi #source code #thread #verification

A Basis for Verifying Multi-threaded Programs (KRML, PM), pp. 378–393.

TACAS-2009-AtigBQ #analysis #bound #concurrent #source code #thread

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 #thread

Semantic Reduction of Thread Interleavings in Concurrent Programs (VK, SS, AG), pp. 124–138.

SCAM-2009-LangeM #communication #csp #named #process #thread #towards

thr2csp: Toward Transforming Threads into Communicating Sequential Processes (RCL, SM), pp. 3–12.

PLDI-2009-NeamtiuH #concurrent #multi #source code #thread

Safe and timely updates to multi-threaded programs (IN, MWH), pp. 13–24.

CIKM-2009-FengA #thread

Incident threading for news passages (AF, JA), pp. 1307–1316.

CIKM-2009-SeoCS #community #concurrent #online #thread #using

Online community search using thread structure (JS, WBC, DAS), pp. 1907–1910.

SIGIR-2009-ElsasC #concurrent #evaluation #online #retrieval #thread

It pays to be picky: an evaluation of thread retrieval in online forums (JLE, JGC), pp. 714–715.

SIGIR-2009-LinYCWW #approach #modelling #semantics #thread

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-WrigstadPMZV #java #named #thread

Loci: Simple Thread-Locality for Java (TW, FP, FM, LZ, JV), pp. 445–469.

OOPSLA-2009-Ogasawara #garbage collection #memory management #thread

NUMA-aware memory manager with dominant-thread-based copying GC (TO), pp. 377–390.

PADL-2009-MouraRM #thread

High Level Thread-Based Competitive Or-Parallelism in Logtalk (PM, RR, SCM), pp. 107–121.

PADL-2009-SuleimanM #concurrent #implementation #parallel #prolog #thread

Implementing Thread Cancellation in Multithreaded Prolog Systems (AS, JM), pp. 122–136.

POPL-2009-AbadiP #thread

A model of cooperative threads (MA, GDP), pp. 29–40.

ASPLOS-2009-EyermanE #smt #thread

Per-thread cycle accounting in SMT processors (SE, LE), pp. 133–144.

CC-2009-GaoLXN #concurrent #predict #recursion #source code #thread

Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction (LG, LL, JX, TFN), pp. 78–93.

PPoPP-2009-KejariwalC #analysis #concurrent #parallel #source code #thread

Parallelization spectroscopy: analysis of thread-level parallelism in hpc programs (AK, CC), pp. 293–294.

LICS-2009-Kahlon #bound #communication #decidability #thread

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

Thread-Modular Shape Analysis (MS), p. 3.

DAC-2008-TurumellaS #concurrent #thread #verification

Assertion-based verification of a 32 thread SPARCTM CMT microprocessor (BT, MS), pp. 256–261.

ITiCSE-2008-Fekete #education #java #student #thread

Teaching students to develop thread-safe java classes (ADF), pp. 119–123.

PLDI-2008-FengSDG #hardware #low level #source code #thread

Certifying low-level programs with hardware interrupts and preemptive threads (XF, ZS, YD, YG), pp. 170–182.

SAS-2008-LammichM #analysis #concurrent #monitoring #source code #thread

Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (PL, MMO), pp. 205–220.

FM-2008-NollR #pointer #thread #verification

Verifying Dynamic Pointer-Manipulating Threads (TN, SR), pp. 84–99.

ICFP-2008-FluetRRS #parallel #thread

Implicitly-threaded parallelism in Manticore (MF, MR, JHR, AS), pp. 119–130.

AdaEurope-2008-AlonsoVPA #ada #modelling #state machine #thread #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 #thread

Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness (SFF, BR, EDJ), pp. 211–225.

PADL-2008-MouraCN #multi #programming #thread

High-Level Multi-threading Programming in Logtalk (PM, PC, PN), pp. 265–281.

SAC-2008-ChengC #monitoring #named #programmable #thread

SoftMon: programmable software monitoring with minimum overhead by helper-threading (YPC, HSC), pp. 741–747.

SAC-2008-FahmyRJ #realtime #scheduling #thread

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 #thread

Accurate branch prediction for short threads (BC, LP, DMT), pp. 125–134.

ASPLOS-2008-OttoniA #communication #concurrent #multi #optimisation #scheduling #thread

Communication optimizations for global multi-threaded instruction scheduling (GO, DIA), pp. 222–232.

ASPLOS-2008-SulemanQP #concurrent #execution #multi #power management #thread

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 #thread

Compiling for vector-thread architectures (MH, KA), pp. 205–215.

HPCA-2008-ChungDKK #memory management #thread #transaction #using

Thread-safe dynamic binary translation using transactional memory (JC, MD, HK, CK), pp. 279–289.

HPCA-2008-RamirezPSV #performance #smt #thread

Runahead Threads to improve SMT performance (TR, AP, OJS, MV), pp. 149–158.

HPCA-2008-RashidH #concurrent #parallel #source code #thread

Supporting highly-decoupled thread-level redundancy for parallel programs (MWR, MCH), pp. 393–404.

LCTES-2008-AuerbachBGSV #concurrent #flexibility #graph #java #programming #strict #thread

Flexible task graphs: a unified restricted thread programming model for java (JSA, DFB, RG, JHS, JV), pp. 1–11.

PPoPP-2008-Mellor-Crummey #question #thread

Where will all the threads come from? (JMMC), pp. 259–260.

PPoPP-2008-ZhaiWYH #compilation #concurrent #optimisation #thread

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

Thread Quantification for Concurrent Shape Analysis (JB, TLA, RM, GR, SS), pp. 399–413.

ICLP-2008-MouraRM #thread

Thread-Based Competitive Or-Parallelism (PM, RR, SCM), pp. 713–717.

ICST-2008-DantasBC #automation #concurrent #multi #testing #thread

Improving Automated Testing of Multi-threaded Software (AD, FVB, WC), pp. 521–524.

DAC-2007-OstlerC #algorithm #approximate #architecture #concurrent #multi #network #thread

Approximation Algorithm for Data Mapping on Block Multi-threaded Network Processor Architectures (CO, KSC), pp. 801–804.

DATE-2007-DestroFP #refinement #thread

A smooth refinement flow for co-designing HW and SW threads (PD, FF, GP), pp. 105–110.

ITiCSE-2007-BenayaZ #comprehension #java #thread

Understanding threads in an advanced java course (TB, EZ), p. 323.

ITiCSE-2007-OechsleB #automation #concurrent #thread

Checking automatically the output of concurrent threads (RO, KB), pp. 43–47.

ICPC-2007-XieKS #comprehension #concurrent #diagrams #empirical #evaluation #interactive #sequence chart #thread #uml

Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions (SX, EK, REKS), pp. 123–134.

PLDI-2007-CookPR #concurrent #proving #termination #thread

Proving thread termination (BC, AP, AR), pp. 320–330.

PLDI-2007-GotsmanBCS #analysis #thread

Thread-modular shape analysis (AG, JB, BC, MS), pp. 266–277.

PLDI-2007-LiZ #concurrent #evaluation #implementation #monad #network #scalability #thread

Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives (PL, SZ), pp. 189–199.

SAS-2007-MalkisPR #precise #thread #verification

Precise Thread-Modular Verification (AM, AP, AR), pp. 218–232.

SEFM-2007-DanHC #diagrams #semantics #sequence chart #thread

A Thread-tag Based Semantics for Sequence Diagrams (HD, RMH, SC), pp. 173–182.

SAC-2007-GuKHC #thread

Shared-stack cooperative threads (BG, YK, JH, YC), pp. 1181–1186.

SAC-2007-YiMLKJ #concurrent #multi #named #operating system #stack #thread

SESAME: space-efficient stack allocation mechanism for multi-threaded sensor operating systems (SY, HM, SL, YK, IJ), pp. 1201–1202.

CGO-2007-WangKWY #detection #fault #multi #thread

Compiler-Managed Software-based Redundant Multi-Threading for Transient Fault Detection (CW, HSK, YW, VY), pp. 244–258.

HPCA-2007-ZhangTC #adaptation #thread

Accelerating and Adapting Precomputation Threads for Effcient Prefetching (WZ, DMT, BC), pp. 85–95.

HPCA-2007-ZhongLM #architecture #hybrid #manycore #parallel #thread

Extending Multicore Architectures to Exploit Hybrid Parallelism in Single-thread Applications (HZ, SAL, SAM), pp. 25–36.

HPDC-2007-SongMD #concurrent #memory management #scheduling #thread

Feedback-directed thread scheduling with memory considerations (FS, SM, JD), pp. 97–106.

ISMM-2007-XianSJ #concurrent #garbage collection #performance #policy #scheduling #thread

Allocation-phase aware thread scheduling policies to improve garbage collection performance (FX, WSa, HJ), pp. 79–90.

PPoPP-2007-JohnsonEV #composition #concurrent #empirical #optimisation #thread

Speculative thread decomposition through empirical optimization (TAJ, RE, TNV), pp. 205–214.

PPoPP-2007-KejariwalTGLKBNVP #analysis #concurrent #cpu #performance #specification #thread #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 #thread #transaction

Featherweight transactions: decoupling threads and atomic blocks (VJM, TLH, JRL), pp. 134–135.

PPoPP-2007-MuhlenfeldW #c++ #concurrent #detection #fault #multi #thread

Fault detection in multi-threaded c++ server applications (AM, FW), pp. 142–143.

DATE-2006-KulkarniB #concurrent #framework #memory management #thread

Memory centric thread synchronization on platform FPGAs (CK, GJB), pp. 959–964.

DATE-2006-RaghavanLJCV #architecture #distributed #multi #thread

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 #thread #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 #thread

Adaptive data placement in an embedded multiprocessor thread library (PSM, KL, AR), pp. 698–699.

SEKE-2006-Sarna-StarostaSD #approach #concurrent #modelling #multi #thread

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

Thread detection in dynamic text message streams (DS, QY, JTS, ZC), pp. 35–42.

SAC-2006-LiH #concurrent #multi #thread

A concurrent reactive Esterel processor based on multi-threading (XL, RvH), pp. 912–917.

ASPLOS-2006-LiBH #concurrent #embedded #multi #thread

Mapping esterel onto a multi-threaded embedded processor (XL, MB, RvH), pp. 303–314.

ASPLOS-2006-ReddyRP #comprehension #fault tolerance #predict #thread

Understanding prediction-based partial redundant threading for low-overhead, high- coverage fault tolerance (VKR, ER, SP), pp. 83–94.

CGO-2006-BrueningKGB #thread

Thread-Shared Software Code Caches (DB, VK, TG, SB), pp. 28–38.

CGO-2006-SundaresanMRS #case study #compilation #experience #java #multi #thread

Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler (VS, DM, PR, MGS), pp. 87–97.

HPCA-2006-GontmakherMSS #concurrent #thread

Speculative synchronization and thread management for fine granularity threads (AG, AM, AS, GS), pp. 278–287.

LCTES-2006-ZhuangP #analysis #compilation #concurrent #effectiveness #network #thread

Effective thread management on network processors with compiler analysis (XZ, SP), pp. 72–82.

LICS-2006-KahlonG #approach #ltl #model checking #thread

An Automata-Theoretic Approach for Model Checking Threads for LTL Propert (VK, AG), pp. 101–110.

CBSE-2005-BehrendsSD #component #concurrent #design #multi #thread

A Component-Oriented Model for the Design of Safe Multi-threaded Applications (RB, REKS, LKD), pp. 251–266.

DAC-2005-SahooJIDE #concurrent #multi #reachability #thread

Multi-threaded reachability (DS, JJ, SKI, DLD, EAE), pp. 467–470.

DATE-2005-Dean #concurrent #integration #realtime #synthesis #thread

Software Thread Integration and Synthesis for Real-Time Applications (AGD), pp. 68–69.

IWPC-2005-Reiss05a #concurrent #java #monitoring #performance #thread

Efficient Monitoring and Display of Thread State in Java (SPR), pp. 247–256.

SCAM-2005-JonesK #analysis #garbage collection #performance #thread

A Fast Analysis for Thread-Local Garbage Collection with Dynamic Class Loading (REJ, ACK), pp. 129–138.

PLDI-2005-Boehm #library #thread

Threads cannot be implemented as a library (HJB), pp. 261–268.

PLDI-2005-QuinonesMSMGT #compilation #framework #slicing #thread

Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices (CGQ, CM, FJS, PM, AG, DMT), pp. 269–279.

ICFP-2005-FengS #assembly #composition #concurrent #termination #thread #verification

Modular verification of concurrent assembly code with dynamic thread creation and termination (XF, ZS), pp. 254–267.

SIGIR-2005-WuO #email #retrieval #thread

Indexing emails and email threads for retrieval (YW, DWO), pp. 665–666.

ECOOP-2005-RodriguezDFHLR #composition #concurrent #ml #multi #source code #specification #thread #verification

Extending JML for Modular Specification and Verification of Multi-threaded Programs (ER, MBD, CF, JH, GTL, R), pp. 551–576.

CC-2005-SadeSS #c #memory management #optimisation #parallel #thread #using

Optimizing C Multithreaded Memory Management Using Thread-Local Storage (YS, SS, RS), pp. 137–155.

CGO-2005-BerndlVZB #flexibility #performance #thread #virtual machine

Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters (MB, BV, MZ, ADB), pp. 15–26.

HPCA-2005-ChandraGKS #architecture #multi #predict #thread

Predicting Inter-Thread Cache Contention on a Chip Multi-Processor Architecture (DC, FG, SK, YS), pp. 340–351.

LCTES-2005-SoD #concurrent #integration #pipes and filters #thread

Complementing software pipelining with software thread integration (WS, AGD), pp. 137–146.

PPoPP-2005-PrabhuO #concurrent #parallel #specification #thread

Exposing speculative thread parallelism in SPEC2000 (MKP, KO), pp. 142–152.

CAV-2005-KahlonIG #communication #reasoning #thread

Reasoning About Threads Communicating via Locks (VK, FI, AG), pp. 505–518.

RTA-2005-MoczydlowskiG #termination #thread

Termination of Single-Threaded One-Rule Semi-Thue Systems (WM, AG), pp. 338–352.

TestCom-2005-LiL #anti #diagrams #thread #uml #using

Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams (HL, CPL), pp. 69–80.

PLDI-2004-JohnsonEV #composition #concurrent #thread

Min-cut program decomposition for thread-level speculation (TAJ, RE, TNV), pp. 59–70.

PLDI-2004-ZhuangP #network #parallel #thread

Balancing register allocation across threads for a multithreaded network processor (XZ, SP), pp. 289–300.

ICFP-2004-TolmachAN #functional #implementation #logic #multi #thread #using

Implementing functional logic languages using multiple threads and stores (APT, SA, MN), pp. 90–102.

CIKM-2004-NallapatiFPA #thread #topic

Event threading within news topics (RN, AF, FP, JA), pp. 446–453.

PPDP-2004-SerranoBS #thread

Scheme fair threads (MS, FB, BPS), pp. 203–214.

SAC-2004-DamianiDG #classification #multi #thread

Re-classification and multi-threading: Fickle_MT (FD, MDC, PG), pp. 1297–1304.

SAC-2004-JiangWM #network #thread

Protein threading with residue-environment matching by artificial neural networks (NJ, WXW, IM), pp. 209–210.

SAC-PL-J-2004-DamianiDG #classification #multi #on the #thread

On Re-classification and Multi-threading (FD, MDC, PG), pp. 5–30.

ASPLOS-2004-WangCWKGCYSMS #framework #multi #thread

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 #thread

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 #thread

Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads (AZ, CBC, JGS, TCM), pp. 39–52.

LCTES-2004-KumarSD #concurrent #integration #performance #thread

Asynchronous software thread integration for efficient software (NJK, SS, AGD), pp. 37–46.

ASE-2003-Roychoudhury #concurrent #multi #thread

Depiction and Playout of Multi-threaded Program Executions (AR), pp. 331–336.

DATE-2003-CassidyPT #concurrent #design #multi #performance #thread

Layered, Multi-Threaded, High-Level Performance Design (ASC, JMP, DET), pp. 10954–10959.

DATE-2003-PetrotG #api #implementation #lightweight #multi #thread

Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect (FP, PG), pp. 20051–20056.

PLDI-2003-PraunG #analysis #concurrent #multi #object-oriented #source code #thread

Static conflict analysis for multi-threaded object-oriented programs (CvP, TRG), pp. 115–128.

CC-2003-GagnonH #bytecode #effectiveness #java #sequence #thread #using

Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences (EG, LJH), pp. 170–184.

CGO-2003-ChenO #concurrent #named #thread

TEST: A Tracer for Extracting Speculative Thread (MKC, KO), pp. 301–314.

HPCA-2003-AlameldeenW #architecture #concurrent #multi #simulation #thread #variability

Variability in Architectural Simulations of Multi-Threaded Workloads (ARA, DAW), pp. 7–18.

HPCA-2003-GarzaranPLVRT #concurrent #memory management #multi #thread #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 #thread

Mini-Threads: Increasing TLP on Small-Scale SMT Processors (JR, SJE, HML), pp. 19–30.

PPoPP-2003-PrabhuO #concurrent #parallel #thread #using

Using thread-level speculation to simplify manual parallelization (MKP, KO), pp. 1–12.

SOSP-2003-BehrenCZNB #internet #named #scalability #thread

Capriccio: scalable threads for internet services (JRvB, JC, FZ, GCN, EAB), pp. 268–281.

CAV-2003-HenzingerJMQ #abstraction #refinement #thread

Thread-Modular Abstraction Refinement (TAH, RJ, RM, SQ), pp. 262–274.

ICLP-2003-Wielemaker #prolog #thread

Native Preemptive Threads in SWI-Prolog (JW), pp. 331–345.

ASE-2002-Hall #concurrent #java #multi #named #profiling #thread

CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications (RJH), pp. 107–116.

DAC-2002-SemeriaMPESN #concurrent #design #multi #thread #verification

RTL c-based methodology for designing and verifying a multi-threaded processor (LS, RM, BMP, AE, AS, DN), pp. 123–128.

ITiCSE-2002-Shene #education #named #parallel #programming #thread

ThreadMentor: a system for teaching multithreaded programming (CKS), p. 229.

ESOP-2002-FlanaganFQ #source code #thread #verification

Thread-Modular Verification for Shared-Memory Programs (CF, SNF, SQ), pp. 262–277.

ESOP-2002-WansbroughNSS #semantics #thread

Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures (KW, MN, PS, AS), pp. 278–294.

PASTE-2002-SutherlandGS #thread

The code of many colors: relating threads to code and shared state (DFS, AG, WLS), pp. 77–83.

WCRE-2002-CookD #concurrent #interactive #thread

Discovering Thread Interactions in a Concurrent System (JEC, ZD), p. 255–?.

IFL-2002-BoisLT #concurrent #graph #migration #parallel #reduction #thread

Thread Migration in a Parallel Graph Reducer (ARDB, HWL, PWT), pp. 199–214.

PADL-2002-BoyerM #thread

Single-Threaded Objects in ACL2 (RSB, JSM), pp. 9–27.

ASPLOS-2002-MartinezT #concurrent #parallel #thread

Speculative synchronization: applying thread-level speculation to explicitly parallel applications (JFM, JT), pp. 18–29.

ASPLOS-2002-OplingerL #reliability #thread

Enhancing software reliability with speculative threads (JTO, MSL), pp. 184–196.

ASPLOS-2002-ZhaiCSM #communication #compilation #optimisation #thread

Compiler optimization of scalar value communication between speculative threads (AZ, CBC, JGS, TCM), pp. 171–183.

HPCA-2002-CintraT #learning #parallel #thread

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 #thread

CableS: Thread Control and Memory Management Extensions for Shared Virtual Memory Clusters (PJ, AB), pp. 263–274.

HPCA-2002-MarcuelloG #multi #thread

Thread-Spawning Schemes for Speculative Multithreading (PM, AG), pp. 55–64.

HPCA-2002-SteffanCZM #communication #concurrent #thread

Improving Value Communication for Thread-Level Speculation (JGS, CBC, AZ, TCM), pp. 65–75.

ISMM-2002-DomaniGKLPS #java #thread

Thread-local heaps for Java (TD, GG, EKK, EL, EP, DS), pp. 183–194.

ISSTA-2002-ChoiZ #concurrent #thread

Isolating failure-inducing thread schedules (JDC, AZ), pp. 210–220.

IWPC-2001-LuccaFC #algebra #comprehension #object-oriented #representation #thread

An Algebraic Notation for Representing Threads in Object Oriented Software Comprehension (GADL, ARF, UdC), pp. 176–185.

LCTES-OM-2001-PyaraliSCS #concurrent #corba #optimisation #realtime #thread

Evaluating and Optimizing Thread Pool Strategies for Real-Time CORBA (IP, MS, RC, DCS), pp. 214–222.

WCRE-2000-LuccaFC #approach #case study #modelling #object-oriented #thread

Recovering Use Case Models from Object-Oriented Code: A Thread-based Approach (GADL, ARF, UdC), pp. 108–117.

CSCW-2000-SmithCB #thread

Conversation trees and threaded chats (MS, JJC, BB), pp. 97–105.

TOOLS-EUROPE-2000-BouchenakH #java #thread

Pickling Threads State in the Java System (SB, DH), pp. 22–32.

TOOLS-USA-2000-Khwaja #concurrent #embedded #multi #testing #thread #validation

An MFC Based Multi-Threaded Test Environment for the Validation of an Embedded Automotive Microcontroller (AAK), pp. 15–24.

ASPLOS-2000-FlautnerURM #concurrent #interactive #parallel #performance #thread

Thread Level Parallelism and Interactive Performance of Desktop Applications (KF, RU, SKR, TNM), pp. 129–138.

ISMM-2000-Steensgaard #concurrent #multi #source code #thread

Thread-Specific Heaps for Multi-Threaded Programs (BS), pp. 18–24.

ISSTA-2000-SchulzM #debugging #interface #thread

A thread-aware debugger with an open interface (DS, FM), pp. 201–211.

VLDB-1999-TanGO #feedback #multi #online #query #thread

Online Feedback for Nested Aggregate Queries with Multi-Threading (KLT, CHG, BCO), pp. 18–29.

SAS-1999-HatcliffCDSZ #concurrent #formal method #multi #slicing #source code #thread #virtual machine

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives (JH, JCC, MBD, SS, HZ), pp. 1–18.

TOOLS-ASIA-1999-KatribFP #java #thread #using

Synchronizing Java Threads Using Assertions (MK, DF, EP), pp. 51–60.

TOOLS-USA-1999-ConcepcionLS #development #multi #recursion #thread #using

Managing the Software Development by Using the Recursive Multi- Threaded (RMT) Tool (AIC, SL, SJS), pp. 344–353.

ICSE-1999-ConcepcionLS #concurrent #development #monitoring #multi #predict #re-engineering #recursion #thread

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.

HPCA-1999-SohnPKKY #communication #parallel #thread

Communication Studies of Single-Threaded and Multithreaded Distributed-Memory Multiprocessors (AS, YP, JYK, YK, YY), pp. 310–314.

PPoPP-1999-TangSY #execution #memory management #multi #runtime #thread

Compile/Run-Time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines (HT, KS, TY), pp. 107–118.

PPoPP-1999-TauraTY #named #standard #thread

StackThreads/MP: Integrating Futures into Calling Standards (KT, KT, AY), pp. 60–71.

PPoPP-1999-XuMN #thread

Dynamic Instrumentation of Threaded Applications (ZX, BPM, ON), pp. 49–59.

SOSP-1999-DudaC #scheduling #thread

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 #thread #using

Concurrency in Prolog Using Threads and a Shared Database (MC, MVH), pp. 320–334.

DATE-1998-MrvaBK #architecture #concurrent #java #multi #scalability #thread

A Scalable Architecture for Multi-threaded JAVA Applications (MM, KB, RK), pp. 868–874.

HT-1998-HayashiNHTHG #documentation #thread

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 #thread

Static Slicing of Threaded Programs (JK), pp. 35–42.

PLDI-1998-PiumartaR #optimisation #thread

Optimizing Direct-threaded Code by Selective Inlining (IP, FR), pp. 291–300.

POPL-1998-SmithV #concurrent #data flow #imperative #multi #thread

Secure Information Flow in a Multi-Threaded Imperative Language (GS, DMV), pp. 355–364.

ASPLOS-1998-Weissman #approach #concurrent #locality #performance #thread

Performance Counters and State Sharing Annotations: a Unified Approach to Thread Locality (BW), pp. 127–138.

HPCA-1998-SteffanM #automation #concurrent #parallel #thread #using

The Potential for Using Thread-Level Data Speculation to Facilitate Automatic Parallelization (JGS, TCM), pp. 2–13.

EDTC-1997-ThoenSJGM #embedded #graph #multi #realtime #synthesis #thread

Multi-thread graph: a system model for real-time embedded software synthesis (FT, JVDS, GGdJ, GG, HDM), pp. 476–481.

IFL-1997-Chakravarty #concurrent #lazy evaluation #parallel #thread

Lazy Thread and Task Creation in Parallel Graph-Reduction (MMTC), pp. 231–249.

UML-1997-SchaderK #java #modelling #thread #uml

Modeling Java Threads in UML (MS, AK), pp. 122–143.

OOPSLA-1997-Haines #analysis #design #implementation #lightweight #thread

An Open Implementation Analysis and Design for Lightweight Threads (MH), pp. 229–242.

TOOLS-PACIFIC-1997-WabenhorstP #java #modelling #multi #thread

Modelling Multi-Threading in Java (AW, JP), pp. 153–164.

SAC-1997-LiuLS #clustering #concurrent #multi #performance #thread

An efficient processor partitioning and thread mapping strategy for mesh-connected multiprocessor systems (HL, WML, YS), pp. 403–412.

HPDC-1997-SudoSS #scheduling #thread

Distributed-Thread Scheduling Methods for Reducing Page-Thrashing (YS, SS, SS), pp. 356–364.

SOSP-1997-SavageABNS #concurrent #detection #multi #named #source code #thread

Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs (SS, MB, GN, PS, TEA), pp. 27–37.

AFP-1996-Lee96 #implementation #ml #standard #thread

Implementing Threads in Standard ML (PL), pp. 115–130.

ICFP-1996-WiseW #clustering #pointer #thread

Static and Dynamic Partitioning of Pointers as Links and Threads (DSW, JW), pp. 42–49.

CSCW-1996-McDanielOM #identification #multi #thread

Identifying and Analyzing Multiple Threads in Computer-Mediated and Face-to-Face Conversations (SEM, GMO, JCM), pp. 39–47.

ASPLOS-1996-GrunwaldN #optimisation #performance #thread

Whole-Program Optimization for Time and Space Efficient Threads (DG, RN), pp. 50–59.

ASPLOS-1996-PhilbinEADL #concurrent #locality #scheduling #thread

Thread Scheduling for Cache Locality (JP, JE, OJA, CCD, KL), pp. 60–71.

JICSLP-1996-RaoRR #concurrent #thread

A Thread in Time Saves Tabling Time (PR, CRR, IVR), pp. 112–126.

SAS-1995-Coorg #clustering #code generation #concurrent #functional #multi #strict #thread

Partitioning Non-strict Functional Languages for Multi-threaded Code Generation (SRC), pp. 82–99.

POPL-1995-SchauserCG #algorithm #clustering #constraints #source code #strict #thread

Separation Constraint Partitioning — A New Algorithm for Partitioning Non-strict Programs into Sequential Threads (KES, DEC, SCG), pp. 259–271.

SAC-1995-LeeA #thread

Object linkage mechanism for threaded interpretive languages (YML, DJA), pp. 374–378.

HPCA-1995-FiskeD #concurrent #parallel #scheduling #thread

Thread Prioritization: A Thread Scheduling Mechanism for Multiple-Context Parallel Processors (SF, WJD), pp. 210–221.

HPCA-1995-KawanoKTA #architecture #parallel #thread

Fine-Grain Multi-Thread Processor Architecture for Massively Parallel Processing (TK, SK, RiT, MA), pp. 308–317.

SOSP-1995-SteensgaardJ #concurrent #thread

Object and Native Code Thread Mobility Among Heterogeneous Computers (BS, EJ), pp. 68–78.

VLDB-1994-MatthesS #persistent #thread

Persistent Threads (FM, JWS), pp. 403–414.

PLDI-1994-LaunchburyJ #functional #lazy evaluation #thread

Lazy Functional State Threads (JL, SLPJ), pp. 24–35.

LFP-1994-HuelsbergenLA #data type #runtime #thread #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 #thread #usability

Comparative usability evaluation: critical incidents and critical threads (JKB, JMC, MBR, MKS), pp. 245–251.

SAC-1994-WongD #hybrid #stack #thread #using

Supporting thousands of threads using a hybrid stack sharing scheme (KFW, BD), pp. 493–498.

ICLP-1994-LaunchburyJ #lazy evaluation #thread

Lazy Funtional State Threads: An Abstract (JL, SLPJ), pp. 3–5.

TRI-Ada-1993-GieringMB #ada #design #implementation #thread #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 #thread

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 #thread #using

Using Threads in Interactive Systems: A Case Study (CH, CJ, MT, BBW, MW), pp. 94–105.

LFP-1992-JagannathanP #concurrent #multi #performance #thread

A Foundation for an Efficient Multi-Threaded Scheme System (SJ, JP), pp. 345–357.

LFP-1992-TraubCS #analysis #clustering #source code #strict #thread

Global Analysis for Partitioning Non-Strict Programs into Sequential Threads (KRT, DEC, KES), pp. 324–334.

TRI-Ada-C-1992-GieringB #ada #thread #using

Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress (EWG, TPB), pp. 518–529.

IWMM-1992-SergentB #architecture #concurrent #garbage collection #incremental #memory management #multi #thread

Incremental Multi-threaded Garbage Collection on Virtual Shared Memory Architectures (TLS, BB), pp. 179–199.

FPCA-1991-Fradet #continuation #detection #thread #using

Syntactic Detection of Single-Threading Using Continuations (PF), pp. 241–258.

FPCA-1991-Traub #architecture #code generation #data flow #multi #source code #strict #thread

Multi-thread Code Generation for Dataflow Architectures from Non-Strict Programs (KRT), pp. 73–101.

ASPLOS-1991-CullerSSEW #automaton #hardware #parallel #thread

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 #thread #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 #thread

The Performance of an Object-Oriented Threads Package (JEF, HML), pp. 278–288.

WAGA-1990-Vorthmann #coordination #evaluation #incremental #thread

Coordinated Incremental Attribute Evaluation on a DR-Threaded Tree (SAV), pp. 207–221.

LICS-1990-GuzmanH #polymorphism #thread #λ-calculus

Single-Threaded Polymorphic λ Calculus (JCG, PH), pp. 333–343.

SOSP-1989-MassalinP #kernel #synthesis #thread

Threads and Input/Output in the Synthesis Kernel (HM, CP), pp. 191–201.

CCHSC-1988-Mughal #generative #incremental #programming #thread

Generation of Incremental Indirect Threaded Code for Language-Based Programming Environments (KAM), pp. 230–242.