BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
multi (81)
program (51)
parallel (30)
use (29)
base (27)

Stem thread$ (all stems)

327 papers:

CASECASE-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.
DATEDATE-2015-RawatS #architecture #concurrent #hybrid #manycore #memory management #thread
Enabling multi-threaded applications on hybrid shared memory manycore architectures (TR, AS), pp. 742–747.
PEPMPEPM-2015-LeCT #concurrent #thread #verification
Threads as Resource for Concurrency Verification (DKL, WNC, YMT), pp. 73–84.
CSCWCSCW-2015-Huh #community #health #online #thread
Clinical Questions in Online Health Communities: The Case of “See your doctor” Threads (JH), pp. 1488–1499.
ECIRECIR-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.
OOPSLAOOPSLA-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.
SACSAC-2015-DabrowskiLP #compilation #concurrent #thread
Nested atomic sections with thread escape: compilation (FD, FL, TP), pp. 2099–2106.
ESEC-FSEESEC-FSE-2015-GuJSZL #concurrent #thread #what
What change history tells us about thread synchronization (RG, GJ, LS, LZ, SL), pp. 426–438.
ASPLOSASPLOS-2015-Bhatotia0ABR #incremental #library #named #parallel #thread
iThreads: A Threading Library for Parallel Incremental Computation (PB, PF, UAA, BBB, RR), pp. 645–659.
CGOCGO-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.
HPDCHPDC-2015-AkiyamaT #concurrent #scalability #thread
Uni-Address Threads: Scalable Thread Management for RDMA-Based Work Stealing (SA, KT), pp. 15–26.
PPoPPPPoPP-2015-AmerLWBM #runtime #thread
MPI+Threads: runtime contention and remedies (AA, HL, YW, PB, SM), pp. 239–248.
PPoPPPPoPP-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.
PPoPPPPoPP-2015-SaillardCB #concurrent #multi #thread #validation
Static/Dynamic validation of MPI collective communications in multi-threaded context (ES, PC, DB), pp. 279–280.
ICLPICLP-2015-CruzRG #data-driven #logic programming #parallel #source code #thread
Thread-Aware Logic Programming for Data-Driven Parallel Programs (FC, RR, SCG).
ICSTICST-2015-XuLCK #approach #bound #detection #lightweight #thread
A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.
DACDAC-2014-HuXMCHX #thread
Thermal-Sustainable Power Budgeting for Dynamic Threading (XH, YX, JM, GC, YH, YX), p. 6.
DATEDATE-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.
DATEDATE-2014-PandaB #concurrent #thread
Introducing Thread Criticality awareness in Prefetcher Aggressiveness Control (BP, SB), pp. 1–6.
DATEDATE-2014-RoyJ #named #optimisation #thread
ALLARM: Optimizing sparse directories for thread-local data (AR, TMJ), pp. 1–6.
ICPCICPC-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.
SCAMSCAM-2014-HutchinsBS #analysis #c #c++ #concurrent #safety #thread
C/C++ Thread Safety Analysis (DH, AB, DS), pp. 41–46.
SEFMSEFM-2014-LovatoMS #diagrams #library #thread
A Thread-Safe Library for Binary Decision Diagrams (AL, DM, FS), pp. 35–49.
OOPSLAOOPSLA-2014-PintoCL #behaviour #comprehension #concurrent #energy #thread
Understanding energy behaviors of thread management constructs (GP, FC, YDL), pp. 345–360.
SACSAC-2014-DabrowskiLP #concurrent #thread
Nested atomic sections with thread escape: a formal definition (FD, FL, TP), pp. 1585–1592.
ASPLOSASPLOS-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.
HPCAHPCA-2014-HeirmanCCHJE #architecture #clustering #thread
Undersubscribed threading on clustered cache architectures (WH, TEC, KVC, IH, AJ, LE), pp. 678–689.
HPCAHPCA-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.
HPCAHPCA-2014-TsengT #named #thread
CDTT: Compiler-generated data-triggered threads (HWT, DMT), pp. 650–661.
HPCAHPCA-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.
PPoPPPPoPP-2014-MaAC #algorithm #analysis #manycore #thread
Theoretical analysis of classic algorithms on highly-threaded many-core GPUs (LM, KA, RDC), pp. 391–392.
PPoPPPPoPP-2014-PetrovicRS #concurrent #hardware #message passing #performance #thread
Leveraging hardware message passing for efficient thread synchronization (DP, TR, AS), pp. 143–154.
PPoPPPPoPP-2014-PusukuriGB #concurrent #thread
Lock contention aware thread migrations (KKP, RG, LNB), pp. 369–370.
PPoPPPPoPP-2014-YangZ #concurrent #named #parallel #thread
CUDA-NP: realizing nested thread-level parallelism in GPGPU applications (YY, HZ), pp. 93–106.
CAVCAV-2014-InversoT0TP #bound #c #concurrent #lazy evaluation #model checking #multi #source code #thread
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization (OI, ET, BF, SLT, GP), pp. 585–602.
CAVCAV-2014-KupriyanovF #concurrent #multi #source code #termination #thread
Causal Termination of Multi-threaded Programs (AK, BF), pp. 814–830.
ISSTAISSTA-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.
VMCAIVMCAI-2014-Mine #abstract interpretation #analysis #relational #thread
Relational Thread-Modular Static Value Analysis by Abstract Interpretation (AM), pp. 39–58.
DACDAC-2013-NathAR #concurrent #scheduling #thread
Temperature aware thread block scheduling in GPGPUs (RN, RZA, TSR), p. 6.
DATEDATE-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.
TACASTACAS-2013-PopeeaR #concurrent #contest #multi #named #source code #thread #verification
Threader: A Verifier for Multi-threaded Programs — (Competition Contribution) (CP, AR), pp. 633–636.
PLDIPLDI-2013-YuKL #data type #multi #thread
General data structure expansion for multi-threading (HY, HJK, ZL), pp. 243–252.
VISSOFTVISSOFT-2013-KarranTD #analysis #named #thread #visual notation
SYNCTRACE: Visual thread-interplay analysis (BK, JT, JD), pp. 1–10.
HILTHILT-2013-Taft #concurrent #named #parallel #proving #safety #source code #thread #tutorial
Tutorial: proving safety of parallel / multi-threaded programs (STT), pp. 1–2.
OOPSLAOOPSLA-2013-BoisSEE #concurrent #graph #multi #scalability #thread #visualisation
Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications (KDB, JBS, SE, LE), pp. 355–372.
OOPSLAOOPSLA-2013-BondKCZSBSH #dependence #named #thread
OCTET: capturing and controlling cross-thread dependences efficiently (MDB, MK, MC, MZ, MFS, SB, AS, JH), pp. 693–712.
QAPLQAPL-2013-NgoH #analysis #concurrent #multi #security #source code #thread
Quantitative Security Analysis for Multi-threaded Programs (TMN, MH), pp. 34–48.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
PPoPPPPoPP-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.
PPoPPPPoPP-2013-LuZWZ0 #multi #named #performance #thread
RaceFree: an efficient multi-threading model for determinism (KL, XZ, XW, WZ, GL), pp. 297–298.
PPoPPPPoPP-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.
SOSPSOSP-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.
ISSTAISSTA-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.
TACASTACAS-2012-PopeeaR #composition #concurrent #multi #proving #source code #termination #thread
Compositional Termination Proofs for Multi-threaded Programs (CP, AR), pp. 237–251.
PLDIPLDI-2012-PradelG #automation #concurrent #detection #precise #safety #thread
Fully automatic and precise detection of thread safety violations (MP, TRG), pp. 521–530.
CHICHI-2012-FernaeusJT #human-computer #thread
Revisiting the jacquard loom: threads of history and current patterns in HCI (YF, MJ, JT), pp. 1593–1602.
CSCWCSCW-2012-BarksdaleICHJRV #distributed #thread #video
Video threads: asynchronous video sharing for temporally distributed teams (JTB, KI, MC, AH, PJ, AR, GV), pp. 1101–1104.
CIKMCIKM-2012-BiyaniCSM #exclamation #online #thread #what
I want what i need!: analyzing subjectivity of online forum threads (PB, CC, AS, PM), pp. 2495–2498.
KEODKEOD-2012-NairM #correlation #thread
Correlating and Cross-linking Knowledge Threads in Informledge System for Creating New Knowledge (TRGN, MM), pp. 251–256.
SIGIRSIGIR-2012-SinghPR #approach #thread
Retrieving similar discussion forum threads: a structure based approach (AS, DP, DR), pp. 135–144.
OOPSLAOOPSLA-2012-SartorE #concurrent #hardware #java #manycore #performance #thread
Exploring multi-threaded Java application performance on multicore hardware (JBS, LE), pp. 281–296.
OOPSLAOOPSLA-2012-TsengT #thread
Software data-triggered threads (HWT, DMT), pp. 703–716.
SACSAC-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.
FSEFSE-2012-GanaiLG #analysis #concurrent #multi #named #source code #thread
DTAM: dynamic taint analysis of multi-threaded programs for relevancy (MKG, DL, AG), p. 46.
CCCC-2012-UnkuleSQ #automation #gpu #kernel #locality #thread
Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality (SU, CS, AQ), pp. 21–40.
CGOCGO-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.
ICLPICLP-J-2012-AreiasR #concurrent #multi #thread #towards #using
Towards multi-threaded local tabling using a common table space (MA, RR), pp. 427–443.
ICLPICLP-J-2012-GebserKS #concurrent #multi #thread
Multi-threaded ASP solving with clasp (MG, BK, TS), pp. 525–545.
ISSTAISSTA-2012-YiDFF #concurrent #java #thread
Cooperative types for controlling thread interference in Java (JY, TD, SNF, CF), pp. 232–242.
VMCAIVMCAI-2012-ChakiGS #concurrent #multi #source code #thread #verification
Regression Verification for Multi-threaded Programs (SC, AG, OS), pp. 119–135.
ASEASE-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.
DACDAC-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.
DACDAC-2011-KandemirYK #clustering #concurrent #parallel #thread
A helper thread based dynamic cache partitioning scheme for multithreaded applications (MTK, TY, EK), pp. 954–959.
ICSMEICSM-2011-SyerAH #concurrent #identification #performance #thread
Identifying performance deviations in thread pools (MDS, BA, AEH), pp. 83–92.
WCREWCRE-2011-ScholzK #multi #protocol #source code #thread
Object-Based Dynamic Protocol Recovery for Multi-Threading Programs (BS, RK), pp. 251–260.
CIKMCIKM-2011-RenMWL #process #thread #topic #web
Summarizing web forum threads based on a latent topic propagation process (ZR, JM, SW, YL), pp. 879–884.
ECIRECIR-2011-DuanZ #concurrent #modelling #retrieval #thread
Exploiting Thread Structures to Improve Smoothing of Language Models for Forum Post Retrieval (HD, CZ), pp. 350–361.
POPLPOPL-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.
SACSAC-2011-ShinLSL #concurrent #monitoring #multi #predict #scheduling #thread
Predictable multithread scheduling with cycle-accurate thread progress monitor (YS, SL, MS, SL), pp. 627–628.
ICSEICSE-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.
ICSEICSE-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.
ASPLOSASPLOS-2011-KamruzzamanST #manycore #migration #thread #using
Inter-core prefetching for multicore processors using migrating helper threads (MK, SS, DMT), pp. 393–404.
HPCAHPCA-2011-BrownPT #concurrent #migration #performance #predict #set #thread
Fast thread migration via cache working set prediction (JAB, LP, DMT), pp. 193–204.
HPCAHPCA-2011-FungA #concurrent #control flow #performance #thread
Thread block compaction for efficient SIMT control flow (WWLF, TMA), pp. 25–36.
HPCAHPCA-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.
HPCAHPCA-2011-RanjanLMG #clustering #concurrent #multi #named #thread
Fg-STP: Fine-Grain Single Thread Partitioning on Multicores (RR, FL, PM, AG), pp. 15–24.
HPCAHPCA-2011-TsengT #thread
Data-triggered threads: Eliminating redundant computation (HWT, DMT), pp. 181–192.
HPDCHPDC-2011-Garcia-YaguezFG #concurrent #thread
Exclusive squashing for thread-level speculation (ÁGY, DRLF, AGE), pp. 275–276.
PPoPPPPoPP-2011-KarmaniMM #concurrent #contract #parallel #thread
Thread contracts for safe parallelism (RKK, PM, BMM), pp. 125–134.
CAVCAV-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.
DACDAC-2010-LiuKLC #bound #concurrent #multi #thread
Multi-threaded collision-aware global routing with bounded-length maze routing (WHL, WCK, YLL, KYC), pp. 200–205.
DATEDATE-2010-BaudischBS #independence #parallel #source code #thread
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP (DB, JB, KS), pp. 949–952.
ESOPESOP-2010-Lochbihler #compilation #java #thread #verification
Verifying a Compiler for Java Threads (AL), pp. 427–447.
FASEFASE-2010-ChatterjeeARS #concurrent #multi #source code #thread
Analyzing the Impact of Change in Multi-threaded Programs (KC, LdA, VR, CS), pp. 293–307.
ICSMEICSM-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.
PASTEPASTE-2010-ReissK #thread #transaction #visualisation
Visualizing threads, transactions and tasks (SPR, SK), pp. 9–16.
PLDIPLDI-2010-KamruzzamanST #concurrent #distributed #performance #thread
Software data spreading: leveraging distributed caches to improve single thread performance (MK, SS, DMT), pp. 460–470.
SASSAS-2010-MalkisPR #abstraction #refinement #thread
Thread-Modular Counterexample-Guided Abstraction Refinement (AM, AP, AR), pp. 356–372.
SOFTVISSOFTVIS-2010-MaheswaraBC #concurrent #interactive #named #thread #visualisation
TIE: an interactive visualization of thread interleavings (GM, JSB, CC), pp. 215–216.
CIKMCIKM-2010-BonacicGMPT #concurrent #multi #performance #thread
Building efficient multi-threaded search nodes (CB, CG, MM, MPM, FT), pp. 1249–1258.
CIKMCIKM-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.
KDIRKDIR-2010-SaidW #clustering #concurrent #online #thread
Clustering of Thread Posts in Online Discussion Forums (DAS, NMW), pp. 314–319.
SEKESEKE-2010-LuG #analysis #architecture #concurrent #performance #thread #web
Performance Analysis of a Web Server with Dynamic Thread Pool Architecture (JL, SSG), pp. 99–105.
SACSAC-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.
FSEFSE-2010-SorrentinoFM #named #thread #weaving
PENELOPE: weaving threads to expose atomicity violations (FS, AF, PM), pp. 37–46.
ICSEICSE-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.
ASPLOSASPLOS-2010-RamanKMJA #concurrent #parallel #thread #transaction #using
Speculative parallelization using software multi-threaded transactions (AR, HK, TRM, TBJ, DIA), pp. 65–76.
CGOCGO-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.
HPCAHPCA-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.
PPoPPPPoPP-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.
PPoPPPPoPP-2010-SutherlandS #composition #concurrent #thread
Composable thread coloring (DFS, WLS), pp. 233–244.
ICLPICLP-J-2010-CostaDR #thread
Threads and or-parallelism unified (VSC, IdCD, RR), pp. 417–432.
VMCAIVMCAI-2010-LahiriMQ #thread
Abstract Threads (SKL, AM, SQ), pp. 231–246.
DACDAC-2009-KandemirOM #concurrent #thread
Dynamic thread and data mapping for NoC based CMPs (MTK, ÖÖ, SPM), pp. 852–857.
DATEDATE-2009-HongNKO #concurrent #multi #process #thread
Process variation aware thread mapping for Chip Multiprocessors (SH, SHKN, MTK, ÖÖ), pp. 821–826.
DATEDATE-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.
DATEDATE-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.
VLDBVLDB-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.
ESOPESOP-2009-LeinoM #concurrent #multi #source code #thread #verification
A Basis for Verifying Multi-threaded Programs (KRML, PM), pp. 378–393.
TACASTACAS-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.
TACASTACAS-2009-KahlonSG #concurrent #reduction #semantics #source code #thread
Semantic Reduction of Thread Interleavings in Concurrent Programs (VK, SS, AG), pp. 124–138.
SCAMSCAM-2009-LangeM #communication #csp #named #process #thread #towards
thr2csp: Toward Transforming Threads into Communicating Sequential Processes (RCL, SM), pp. 3–12.
PLDIPLDI-2009-NeamtiuH #concurrent #multi #source code #thread
Safe and timely updates to multi-threaded programs (IN, MWH), pp. 13–24.
CIKMCIKM-2009-FengA #thread
Incident threading for news passages (AF, JA), pp. 1307–1316.
CIKMCIKM-2009-SeoCS #community #concurrent #online #thread #using
Online community search using thread structure (JS, WBC, DAS), pp. 1907–1910.
SIGIRSIGIR-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.
SIGIRSIGIR-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.
ECOOPECOOP-2009-WrigstadPMZV #java #named #thread
Loci: Simple Thread-Locality for Java (TW, FP, FM, LZ, JV), pp. 445–469.
OOPSLAOOPSLA-2009-Ogasawara #garbage collection #memory management #thread
NUMA-aware memory manager with dominant-thread-based copying GC (TO), pp. 377–390.
PADLPADL-2009-MouraRM #thread
High Level Thread-Based Competitive Or-Parallelism in Logtalk (PM, RR, SCM), pp. 107–121.
PADLPADL-2009-SuleimanM #concurrent #implementation #parallel #prolog #thread
Implementing Thread Cancellation in Multithreaded Prolog Systems (AS, JM), pp. 122–136.
POPLPOPL-2009-AbadiP #thread
A model of cooperative threads (MA, GDP), pp. 29–40.
ASPLOSASPLOS-2009-EyermanE #smt #thread
Per-thread cycle accounting in SMT processors (SE, LE), pp. 133–144.
CCCC-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.
PPoPPPPoPP-2009-KejariwalC #analysis #concurrent #parallel #source code #thread
Parallelization spectroscopy: analysis of thread-level parallelism in hpc programs (AK, CC), pp. 293–294.
LICSLICS-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.
VMCAIVMCAI-2009-Sagiv #analysis #thread
Thread-Modular Shape Analysis (MS), p. 3.
DACDAC-2008-TurumellaS #concurrent #thread #verification
Assertion-based verification of a 32 thread SPARCTM CMT microprocessor (BT, MS), pp. 256–261.
ITiCSEITiCSE-2008-Fekete #education #java #student #thread
Teaching students to develop thread-safe java classes (ADF), pp. 119–123.
PLDIPLDI-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.
SASSAS-2008-LammichM #analysis #concurrent #monitoring #source code #thread
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (PL, MMO), pp. 205–220.
FMFM-2008-NollR #pointer #thread #verification
Verifying Dynamic Pointer-Manipulating Threads (TN, SR), pp. 84–99.
ICFPICFP-2008-FluetRRS #parallel #thread
Implicitly-threaded parallelism in Manticore (MF, MR, JHR, AS), pp. 119–130.
AdaEuropeAdaEurope-2008-AlonsoVPA #ada #modelling #state machine #thread #visual notation
StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code (DA, CVC, JAP, ), pp. 158–170.
AdaEuropeAdaEurope-2008-FahmyRJ #performance #realtime #scheduling #thread
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness (SFF, BR, EDJ), pp. 211–225.
PADLPADL-2008-MouraCN #multi #programming #thread
High-Level Multi-threading Programming in Logtalk (PM, PC, PN), pp. 265–281.
SACSAC-2008-ChengC #monitoring #named #programmable #thread
SoftMon: programmable software monitoring with minimum overhead by helper-threading (YPC, HSC), pp. 741–747.
SACSAC-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.
ASPLOSASPLOS-2008-ChoiPT #branch #predict #thread
Accurate branch prediction for short threads (BC, LP, DMT), pp. 125–134.
ASPLOSASPLOS-2008-OttoniA #communication #concurrent #multi #optimisation #scheduling #thread
Communication optimizations for global multi-threaded instruction scheduling (GO, DIA), pp. 222–232.
ASPLOSASPLOS-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.
CGOCGO-2008-HamptonA #architecture #compilation #thread
Compiling for vector-thread architectures (MH, KA), pp. 205–215.
HPCAHPCA-2008-ChungDKK #memory management #thread #transaction #using
Thread-safe dynamic binary translation using transactional memory (JC, MD, HK, CK), pp. 279–289.
HPCAHPCA-2008-RamirezPSV #performance #smt #thread
Runahead Threads to improve SMT performance (TR, AP, OJS, MV), pp. 149–158.
HPCAHPCA-2008-RashidH #concurrent #parallel #source code #thread
Supporting highly-decoupled thread-level redundancy for parallel programs (MWR, MCH), pp. 393–404.
LCTESLCTES-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.
PPoPPPPoPP-2008-Mellor-Crummey #question #thread
Where will all the threads come from? (JMMC), pp. 259–260.
PPoPPPPoPP-2008-ZhaiWYH #compilation #concurrent #optimisation #thread
Compiler optimizations for parallelizing general-purpose applications under thread-level speculation (AZ, SW, PCY, GH), pp. 271–272.
CAVCAV-2008-BerdineLMRS #analysis #concurrent #quantifier #thread
Thread Quantification for Concurrent Shape Analysis (JB, TLA, RM, GR, SS), pp. 399–413.
ICLPICLP-2008-MouraRM #thread
Thread-Based Competitive Or-Parallelism (PM, RR, SCM), pp. 713–717.
ICSTICST-2008-DantasBC #automation #concurrent #multi #testing #thread
Improving Automated Testing of Multi-threaded Software (AD, FVB, WC), pp. 521–524.
DACDAC-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.
DATEDATE-2007-DestroFP #refinement #thread
A smooth refinement flow for co-designing HW and SW threads (PD, FF, GP), pp. 105–110.
ITiCSEITiCSE-2007-BenayaZ #comprehension #java #thread
Understanding threads in an advanced java course (TB, EZ), p. 323.
ITiCSEITiCSE-2007-OechsleB #automation #concurrent #thread
Checking automatically the output of concurrent threads (RO, KB), pp. 43–47.
ICPCICPC-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.
PLDIPLDI-2007-CookPR #concurrent #proving #termination #thread
Proving thread termination (BC, AP, AR), pp. 320–330.
PLDIPLDI-2007-GotsmanBCS #analysis #thread
Thread-modular shape analysis (AG, JB, BC, MS), pp. 266–277.
PLDIPLDI-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.
SASSAS-2007-MalkisPR #precise #thread #verification
Precise Thread-Modular Verification (AM, AP, AR), pp. 218–232.
SEFMSEFM-2007-DanHC #diagrams #semantics #sequence chart #thread
A Thread-tag Based Semantics for Sequence Diagrams (HD, RMH, SC), pp. 173–182.
SACSAC-2007-GuKHC #thread
Shared-stack cooperative threads (BG, YK, JH, YC), pp. 1181–1186.
SACSAC-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.
CGOCGO-2007-WangKWY #detection #fault #multi #thread
Compiler-Managed Software-based Redundant Multi-Threading for Transient Fault Detection (CW, HSK, YW, VY), pp. 244–258.
HPCAHPCA-2007-ZhangTC #adaptation #thread
Accelerating and Adapting Precomputation Threads for Effcient Prefetching (WZ, DMT, BC), pp. 85–95.
HPCAHPCA-2007-ZhongLM #architecture #hybrid #manycore #parallel #thread
Extending Multicore Architectures to Exploit Hybrid Parallelism in Single-thread Applications (HZ, SAL, SAM), pp. 25–36.
HPDCHPDC-2007-SongMD #concurrent #memory management #scheduling #thread
Feedback-directed thread scheduling with memory considerations (FS, SM, JD), pp. 97–106.
ISMMISMM-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.
PPoPPPPoPP-2007-JohnsonEV #composition #concurrent #empirical #optimisation #thread
Speculative thread decomposition through empirical optimization (TAJ, RE, TNV), pp. 205–214.
PPoPPPPoPP-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.
PPoPPPPoPP-2007-MaratheHL #thread #transaction
Featherweight transactions: decoupling threads and atomic blocks (VJM, TLH, JRL), pp. 134–135.
PPoPPPPoPP-2007-MuhlenfeldW #c++ #concurrent #detection #fault #multi #thread
Fault detection in multi-threaded c++ server applications (AM, FW), pp. 142–143.
DATEDATE-2006-KulkarniB #concurrent #framework #memory management #thread
Memory centric thread synchronization on platform FPGAs (CK, GJB), pp. 959–964.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2006-Stanley-MarbellLR #adaptation #concurrent #embedded #library #multi #thread
Adaptive data placement in an embedded multiprocessor thread library (PSM, KL, AR), pp. 698–699.
SEKESEKE-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.
SIGIRSIGIR-2006-ShenYSC #concurrent #detection #thread
Thread detection in dynamic text message streams (DS, QY, JTS, ZC), pp. 35–42.
SACSAC-2006-LiH #concurrent #multi #thread
A concurrent reactive Esterel processor based on multi-threading (XL, RvH), pp. 912–917.
ASPLOSASPLOS-2006-LiBH #concurrent #embedded #multi #thread
Mapping esterel onto a multi-threaded embedded processor (XL, MB, RvH), pp. 303–314.
ASPLOSASPLOS-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.
CGOCGO-2006-BrueningKGB #thread
Thread-Shared Software Code Caches (DB, VK, TG, SB), pp. 28–38.
CGOCGO-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.
HPCAHPCA-2006-GontmakherMSS #concurrent #thread
Speculative synchronization and thread management for fine granularity threads (AG, AM, AS, GS), pp. 278–287.
LCTESLCTES-2006-ZhuangP #analysis #compilation #concurrent #effectiveness #network #thread
Effective thread management on network processors with compiler analysis (XZ, SP), pp. 72–82.
LICSLICS-2006-KahlonG #approach #ltl #model checking #thread
An Automata-Theoretic Approach for Model Checking Threads for LTL Propert (VK, AG), pp. 101–110.
CBSECBSE-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.
DACDAC-2005-SahooJIDE #concurrent #multi #reachability #thread
Multi-threaded reachability (DS, JJ, SKI, DLD, EAE), pp. 467–470.
DATEDATE-2005-Dean #concurrent #integration #realtime #synthesis #thread
Software Thread Integration and Synthesis for Real-Time Applications (AGD), pp. 68–69.
IWPCIWPC-2005-Reiss05a #concurrent #java #monitoring #performance #thread
Efficient Monitoring and Display of Thread State in Java (SPR), pp. 247–256.
SCAMSCAM-2005-JonesK #analysis #garbage collection #performance #thread
A Fast Analysis for Thread-Local Garbage Collection with Dynamic Class Loading (REJ, ACK), pp. 129–138.
PLDIPLDI-2005-Boehm #library #thread
Threads cannot be implemented as a library (HJB), pp. 261–268.
PLDIPLDI-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.
ICFPICFP-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.
SIGIRSIGIR-2005-WuO #email #retrieval #thread
Indexing emails and email threads for retrieval (YW, DWO), pp. 665–666.
ECOOPECOOP-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.
CCCC-2005-SadeSS #c #memory management #optimisation #parallel #thread #using
Optimizing C Multithreaded Memory Management Using Thread-Local Storage (YS, SS, RS), pp. 137–155.
CGOCGO-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.
HPCAHPCA-2005-ChandraGKS #architecture #multi #predict #thread
Predicting Inter-Thread Cache Contention on a Chip Multi-Processor Architecture (DC, FG, SK, YS), pp. 340–351.
LCTESLCTES-2005-SoD #concurrent #integration #pipes and filters #thread
Complementing software pipelining with software thread integration (WS, AGD), pp. 137–146.
PPoPPPPoPP-2005-PrabhuO #concurrent #parallel #specification #thread
Exposing speculative thread parallelism in SPEC2000 (MKP, KO), pp. 142–152.
CAVCAV-2005-KahlonIG #communication #reasoning #thread
Reasoning About Threads Communicating via Locks (VK, FI, AG), pp. 505–518.
RTARTA-2005-MoczydlowskiG #termination #thread
Termination of Single-Threaded One-Rule Semi-Thue Systems (WM, AG), pp. 338–352.
ICTSSTestCom-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.
PLDIPLDI-2004-JohnsonEV #composition #concurrent #thread
Min-cut program decomposition for thread-level speculation (TAJ, RE, TNV), pp. 59–70.
PLDIPLDI-2004-ZhuangP #network #parallel #thread
Balancing register allocation across threads for a multithreaded network processor (XZ, SP), pp. 289–300.
ICFPICFP-2004-TolmachAN #functional #implementation #logic #multi #thread #using
Implementing functional logic languages using multiple threads and stores (APT, SA, MN), pp. 90–102.
CIKMCIKM-2004-NallapatiFPA #thread #topic
Event threading within news topics (RN, AF, FP, JA), pp. 446–453.
PPDPPPDP-2004-SerranoBS #thread
Scheme fair threads (MS, FB, BPS), pp. 203–214.
SACSAC-2004-DamianiDG #classification #multi #thread
Re-classification and multi-threading: FickleMT (FD, MDC, PG), pp. 1297–1304.
SACSAC-2004-JiangWM #network #thread
Protein threading with residue-environment matching by artificial neural networks (NJ, WXW, IM), pp. 209–210.
SACSAC-PL-J-2004-DamianiDG #classification #multi #on the #thread
On Re-classification and Multi-threading (FD, MDC, PG), pp. 5–30.
ASPLOSASPLOS-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.
CGOCGO-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.
CGOCGO-2004-ZhaiCSM #communication #compilation #optimisation #thread
Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads (AZ, CBC, JGS, TCM), pp. 39–52.
LCTESLCTES-2004-KumarSD #concurrent #integration #performance #thread
Asynchronous software thread integration for efficient software (NJK, SS, AGD), pp. 37–46.
ASEASE-2003-Roychoudhury #concurrent #multi #thread
Depiction and Playout of Multi-threaded Program Executions (AR), pp. 331–336.
DATEDATE-2003-CassidyPT #concurrent #design #multi #performance #thread
Layered, Multi-Threaded, High-Level Performance Design (ASC, JMP, DET), pp. 10954–10959.
DATEDATE-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.
PLDIPLDI-2003-PraunG #analysis #concurrent #multi #object-oriented #source code #thread
Static conflict analysis for multi-threaded object-oriented programs (CvP, TRG), pp. 115–128.
CCCC-2003-GagnonH #bytecode #effectiveness #java #sequence #thread #using
Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences (EG, LJH), pp. 170–184.
CGOCGO-2003-ChenO #concurrent #named #thread
TEST: A Tracer for Extracting Speculative Thread (MKC, KO), pp. 301–314.
HPCAHPCA-2003-AlameldeenW #architecture #concurrent #multi #simulation #thread #variability
Variability in Architectural Simulations of Multi-Threaded Workloads (ARA, DAW), pp. 7–18.
HPCAHPCA-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.
HPCAHPCA-2003-RedstoneEL #named #smt #thread
Mini-Threads: Increasing TLP on Small-Scale SMT Processors (JR, SJE, HML), pp. 19–30.
PPoPPPPoPP-2003-PrabhuO #concurrent #parallel #thread #using
Using thread-level speculation to simplify manual parallelization (MKP, KO), pp. 1–12.
SOSPSOSP-2003-BehrenCZNB #internet #named #scalability #thread
Capriccio: scalable threads for internet services (JRvB, JC, FZ, GCN, EAB), pp. 268–281.
CAVCAV-2003-HenzingerJMQ #abstraction #refinement #thread
Thread-Modular Abstraction Refinement (TAH, RJ, RM, SQ), pp. 262–274.
ICLPICLP-2003-Wielemaker #prolog #thread
Native Preemptive Threads in SWI-Prolog (JW), pp. 331–345.
ASEASE-2002-Hall #concurrent #java #multi #named #profiling #thread
CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications (RJH), pp. 107–116.
DACDAC-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.
ITiCSEITiCSE-2002-Shene #education #named #parallel #programming #thread
ThreadMentor: a system for teaching multithreaded programming (CKS), p. 229.
ESOPESOP-2002-FlanaganFQ #source code #thread #verification
Thread-Modular Verification for Shared-Memory Programs (CF, SNF, SQ), pp. 262–277.
ESOPESOP-2002-WansbroughNSS #semantics #thread
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures (KW, MN, PS, AS), pp. 278–294.
PASTEPASTE-2002-SutherlandGS #thread
The code of many colors: relating threads to code and shared state (DFS, AG, WLS), pp. 77–83.
WCREWCRE-2002-CookD #concurrent #interactive #thread
Discovering Thread Interactions in a Concurrent System (JEC, ZD), p. 255–?.
IFLIFL-2002-BoisLT #concurrent #graph #migration #parallel #reduction #thread
Thread Migration in a Parallel Graph Reducer (ARDB, HWL, PWT), pp. 199–214.
PADLPADL-2002-BoyerM #thread
Single-Threaded Objects in ACL2 (RSB, JSM), pp. 9–27.
ASPLOSASPLOS-2002-MartinezT #concurrent #parallel #thread
Speculative synchronization: applying thread-level speculation to explicitly parallel applications (JFM, JT), pp. 18–29.
ASPLOSASPLOS-2002-OplingerL #reliability #thread
Enhancing software reliability with speculative threads (JTO, MSL), pp. 184–196.
ASPLOSASPLOS-2002-ZhaiCSM #communication #compilation #optimisation #thread
Compiler optimization of scalar value communication between speculative threads (AZ, CBC, JGS, TCM), pp. 171–183.
HPCAHPCA-2002-CintraT #learning #parallel #thread
Speculative Multithreading Eliminating Squashes through Learning Cross-Thread Violations in Speculative Parallelization for Multiprocessors (MHC, JT), pp. 43–54.
HPCAHPCA-2002-JamiesonB #clustering #concurrent #memory management #named #thread
CableS: Thread Control and Memory Management Extensions for Shared Virtual Memory Clusters (PJ, AB), pp. 263–274.
HPCAHPCA-2002-MarcuelloG #multi #thread
Thread-Spawning Schemes for Speculative Multithreading (PM, AG), pp. 55–64.
HPCAHPCA-2002-SteffanCZM #communication #concurrent #thread
Improving Value Communication for Thread-Level Speculation (JGS, CBC, AZ, TCM), pp. 65–75.
ISMMISMM-2002-DomaniGKLPS #java #thread
Thread-local heaps for Java (TD, GG, EKK, EL, EP, DS), pp. 183–194.
ISSTAISSTA-2002-ChoiZ #concurrent #thread
Isolating failure-inducing thread schedules (JDC, AZ), pp. 210–220.
IWPCIWPC-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.
LCTESLCTES-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.
WCREWCRE-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.
CSCWCSCW-2000-SmithCB #thread
Conversation trees and threaded chats (MS, JJC, BB), pp. 97–105.
TOOLSTOOLS-EUROPE-2000-BouchenakH #java #thread
Pickling Threads State in the Java System (SB, DH), pp. 22–32.
TOOLSTOOLS-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.
ASPLOSASPLOS-2000-FlautnerURM #concurrent #interactive #parallel #performance #thread
Thread Level Parallelism and Interactive Performance of Desktop Applications (KF, RU, SKR, TNM), pp. 129–138.
ISMMISMM-2000-Steensgaard #concurrent #multi #source code #thread
Thread-Specific Heaps for Multi-Threaded Programs (BS), pp. 18–24.
ISSTAISSTA-2000-SchulzM #debugging #interface #thread
A thread-aware debugger with an open interface (DS, FM), pp. 201–211.
VLDBVLDB-1999-TanGO #feedback #multi #online #query #thread
Online Feedback for Nested Aggregate Queries with Multi-Threading (KLT, CHG, BCO), pp. 18–29.
SASSAS-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.
TOOLSTOOLS-ASIA-1999-KatribFP #java #thread #using
Synchronizing Java Threads Using Assertions (MK, DF, EP), pp. 51–60.
TOOLSTOOLS-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.
ICSEICSE-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.
HPCAHPCA-1999-SohnPKKY #communication #parallel #thread
Communication Studies of Single-Threaded and Multithreaded Distributed-Memory Multiprocessors (AS, YP, JYK, YK, YY), pp. 310–314.
PPoPPPPoPP-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.
PPoPPPPoPP-1999-TauraTY #named #standard #thread
StackThreads/MP: Integrating Futures into Calling Standards (KT, KT, AY), pp. 60–71.
PPoPPPPoPP-1999-XuMN #thread
Dynamic Instrumentation of Threaded Applications (ZX, BPM, ON), pp. 49–59.
SOSPSOSP-1999-DudaC #scheduling #thread
Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose schedular (KJD, DRC), pp. 261–276.
ICLPICLP-1999-CarroH #concurrent #database #prolog #thread #using
Concurrency in Prolog Using Threads and a Shared Database (MC, MVH), pp. 320–334.
DATEDATE-1998-MrvaBK #architecture #concurrent #java #multi #scalability #thread
A Scalable Architecture for Multi-threaded JAVA Applications (MM, KB, RK), pp. 868–874.
HTHT-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.
PASTEPASTE-1998-Krinke #slicing #source code #thread
Static Slicing of Threaded Programs (JK), pp. 35–42.
PLDIPLDI-1998-PiumartaR #optimisation #thread
Optimizing Direct-threaded Code by Selective Inlining (IP, FR), pp. 291–300.
POPLPOPL-1998-SmithV #concurrent #data flow #imperative #multi #thread
Secure Information Flow in a Multi-Threaded Imperative Language (GS, DMV), pp. 355–364.
ASPLOSASPLOS-1998-Weissman #approach #concurrent #locality #performance #thread
Performance Counters and State Sharing Annotations: a Unified Approach to Thread Locality (BW), pp. 127–138.
HPCAHPCA-1998-SteffanM #automation #concurrent #parallel #thread #using
The Potential for Using Thread-Level Data Speculation to Facilitate Automatic Parallelization (JGS, TCM), pp. 2–13.
DATEEDTC-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.
IFLIFL-1997-Chakravarty #concurrent #lazy evaluation #parallel #thread
Lazy Thread and Task Creation in Parallel Graph-Reduction (MMTC), pp. 231–249.
UMLUML-1997-SchaderK #java #modelling #thread #uml
Modeling Java Threads in UML (MS, AK), pp. 122–143.
OOPSLAOOPSLA-1997-Haines #analysis #design #implementation #lightweight #thread
An Open Implementation Analysis and Design for Lightweight Threads (MH), pp. 229–242.
TOOLSTOOLS-PACIFIC-1997-WabenhorstP #java #modelling #multi #thread
Modelling Multi-Threading in Java (AW, JP), pp. 153–164.
SACSAC-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.
HPDCHPDC-1997-SudoSS #scheduling #thread
Distributed-Thread Scheduling Methods for Reducing Page-Thrashing (YS, SS, SS), pp. 356–364.
SOSPSOSP-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.
AFPAFP-1996-Lee96 #implementation #ml #standard #thread
Implementing Threads in Standard ML (PL), pp. 115–130.
ICFPICFP-1996-WiseW #clustering #pointer #thread
Static and Dynamic Partitioning of Pointers as Links and Threads (DSW, JW), pp. 42–49.
CSCWCSCW-1996-McDanielOM #identification #multi #thread
Identifying and Analyzing Multiple Threads in Computer-Mediated and Face-to-Face Conversations (SEM, GMO, JCM), pp. 39–47.
ASPLOSASPLOS-1996-GrunwaldN #optimisation #performance #thread
Whole-Program Optimization for Time and Space Efficient Threads (DG, RN), pp. 50–59.
ASPLOSASPLOS-1996-PhilbinEADL #concurrent #locality #scheduling #thread
Thread Scheduling for Cache Locality (JP, JE, OJA, CCD, KL), pp. 60–71.
ICLPJICSLP-1996-RaoRR #concurrent #thread
A Thread in Time Saves Tabling Time (PR, CRR, IVR), pp. 112–126.
SASSAS-1995-Coorg #clustering #code generation #concurrent #functional #multi #strict #thread
Partitioning Non-strict Functional Languages for Multi-threaded Code Generation (SRC), pp. 82–99.
POPLPOPL-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.
SACSAC-1995-LeeA #thread
Object linkage mechanism for threaded interpretive languages (YML, DJA), pp. 374–378.
HPCAHPCA-1995-FiskeD #concurrent #parallel #scheduling #thread
Thread Prioritization: A Thread Scheduling Mechanism for Multiple-Context Parallel Processors (SF, WJD), pp. 210–221.
HPCAHPCA-1995-KawanoKTA #architecture #parallel #thread
Fine-Grain Multi-Thread Processor Architecture for Massively Parallel Processing (TK, SK, RiT, MA), pp. 308–317.
SOSPSOSP-1995-SteensgaardJ #concurrent #thread
Object and Native Code Thread Mobility Among Heterogeneous Computers (BS, EJ), pp. 68–78.
VLDBVLDB-1994-MatthesS #persistent #thread
Persistent Threads (FM, JWS), pp. 403–414.
PLDIPLDI-1994-LaunchburyJ #functional #lazy evaluation #thread
Lazy Functional State Threads (JL, SLPJ), pp. 24–35.
LISPLFP-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.
CHICHI-1994-Koenemann-BelliveauCRS94a #comparative #evaluation #thread #usability
Comparative usability evaluation: critical incidents and critical threads (JKB, JMC, MBR, MKS), pp. 245–251.
SACSAC-1994-WongD #hybrid #stack #thread #using
Supporting thousands of threads using a hybrid stack sharing scheme (KFW, BD), pp. 493–498.
ICLPICLP-1994-LaunchburyJ #lazy evaluation #thread
Lazy Funtional State Threads: An Abstract (JL, SLPJ), pp. 3–5.
AdaTRI-Ada-1993-GieringMB #ada #design #implementation #thread #using
Implementing Ada 9X Features Using POSIX Threads: Design Issues (EWG, FM, TPB), pp. 214–228.
HPDCHPDC-1993-MukherjeeS #adaptation #concurrent #configuration management #multi #performance #thread
Improving Performance by Use of Adaptive Objects: Experimentation with a Configurable Multiprocessor Thread Package (BM, KS), pp. 59–66.
SOSPSOSP-1993-HauserJTWW #case study #interactive #thread #using
Using Threads in Interactive Systems: A Case Study (CH, CJ, MT, BBW, MW), pp. 94–105.
LISPLFP-1992-JagannathanP #concurrent #multi #performance #thread
A Foundation for an Efficient Multi-Threaded Scheme System (SJ, JP), pp. 345–357.
LISPLFP-1992-TraubCS #analysis #clustering #source code #strict #thread
Global Analysis for Partitioning Non-Strict Programs into Sequential Threads (KRT, DEC, KES), pp. 324–334.
AdaTRI-Ada-C-1992-GieringB #ada #thread #using
Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress (EWG, TPB), pp. 518–529.
ISMMIWMM-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.
FPCAFPCA-1991-Fradet #continuation #detection #thread #using
Syntactic Detection of Single-Threading Using Continuations (PF), pp. 241–258.
FPCAFPCA-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.
ASPLOSASPLOS-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.
SOSPSOSP-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.
OOPSLAOOPSLA-ECOOP-1990-FaustL #object-oriented #performance #thread
The Performance of an Object-Oriented Threads Package (JEF, HML), pp. 278–288.
WAGAWAGA-1990-Vorthmann #coordination #evaluation #incremental #thread
Coordinated Incremental Attribute Evaluation on a DR-Threaded Tree (SAV), pp. 207–221.
LICSLICS-1990-GuzmanH #polymorphism #thread #λ-calculus
Single-Threaded Polymorphic λ Calculus (JCG, PH), pp. 333–343.
SOSPSOSP-1989-MassalinP #kernel #synthesis #thread
Threads and Input/Output in the Synthesis Kernel (HM, CP), pp. 191–201.
CCCCHSC-1988-Mughal #generative #incremental #programming #thread
Generation of Incremental Indirect Threaded Code for Language-Based Programming Environments (KAM), pp. 230–242.

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