Stem multithread$ (all stems)

190 papers:

DAC-2015-YunPB #adaptation #named #parallel #runtime #self #thread

HARS: a heterogeneity-aware runtime system for self-adaptive multithreaded applications (JY, JP, WB), p. 6.

POPL-2015-Chlipala15a #case study #composition #interface #network #parallel #thread #verification #web

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification (AC), pp. 609–622.

ESEC-FSE-2015-GuoKWYG #execution #parallel #source code #symbolic computation #thread

Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.

ICSE-v1-2015-KusanoCW #generative #invariant #parallel #source code #thread

Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.

HPDC-2015-LiTKC #named #parallel #thread #visual notation

Transit: A Visual Analytical Model for Multithreaded Machines (AL, YCT, AK, HC), pp. 101–106.

ISMM-2015-Kuszmaul #named #parallel #performance #thread

SuperMalloc: a super fast multithreaded malloc for 64-bit machines (BCK), pp. 41–55.

ISSTA-2015-DhokMR #automation #named #parallel #thread

Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.

ASE-2014-TarvoR #analysis #automation #modelling #parallel #performance #source code #thread

Automated analysis of multithreaded programs for performance modeling (AT, SPR), pp. 7–18.

DAC-2014-ChenPCWMYZC #manycore #named #parallel #simulation #thread

DAPs: Dynamic Adjustment and Partial Sampling for Multithreaded/Multicore Simulation (CCC, YCP, CFC, WSW, QM, PCY, WZ, TFC), p. 6.

DAC-2014-KozhikkottuPPDR #clustering #parallel #source code #thread

Variation Aware Cache Partitioning for Multithreaded Programs (VJK, AP, VSP, SD, AR), p. 6.

DATE-2014-AlhammadP #execution #manycore #parallel #predict #thread

Time-predictable execution of multithreaded applications on multicore systems (AA, RP), pp. 1–6.

DATE-2014-DimitrakopoulosSPTMC #hardware #parallel #synthesis #thread

Hardware primitives for the synthesis of multithreaded elastic systems (GD, IS, AP, KT, PMM, JC), pp. 1–4.

DATE-2014-Fu0PJZ #data flow #detection #fault #parallel #thread

A fault detection mechanism in a Data-flow scheduled Multithreaded processor (JF, QY, RP, CRJ, CZ), pp. 1–4.

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.

OOPSLA-2014-BerganGC #execution #parallel #source code #symbolic computation #thread

Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.

OOPSLA-2014-SamakR #concurrent #detection #parallel #synthesis #thread

Multithreaded test synthesis for deadlock detection (MS, MKR), pp. 473–489.

PPDP-2014-CruzRG #design #implementation #linear #logic programming #parallel #source code #thread #virtual machine

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.

FSE-2014-SamakR #concurrent #detection #java #library #parallel #precise #thread

Omen+: a precise dynamic deadlock detector for multithreaded Java libraries (MS, MKR), pp. 735–738.

ICSE-2014-CaiWC #approach #constraints #dynamic analysis #named #parallel #source code #thread

ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs (YC, SW, WKC), pp. 491–502.

PPoPP-2014-LiuM #architecture #parallel #performance #source code #thread

A tool to analyze the performance of multithreaded programs on NUMA architectures (XL, JMMC), pp. 259–272.

PPoPP-2014-LuZBW #multi #performance #thread

Efficient deterministic multithreading without global barriers (KL, XZ, TB, XW), pp. 287–300.

ISSTA-2014-ZhangW #concurrent #parallel #runtime #thread

Runtime prevention of concurrency related type-state violations in multithreaded applications (LZ, CW), pp. 1–12.

TAP-2014-KahkonenH #automation #lightweight #parallel #source code #testing #thread

Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.

ASE-2013-KusanoW #c #c++ #concurrent #generative #named #parallel #thread

CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications (MK, CW), pp. 722–725.

DAC-2013-GaribottiOBkASR #distributed #embedded #memory management #multi #thread

Simultaneous multithreading support in embedded distributed memory MPSoCs (RG, LO, RB, Mk, CAJ, GS, MR), p. 7.

OOPSLA-2013-BerganCG #parallel #source code #thread

Input-covering schedules for multithreaded programs (TB, LC, DG), pp. 677–692.

ASPLOS-2013-LuciaC #empirical #parallel #source code #thread

Cooperative empirical failure avoidance for multithreaded programs (BL, LC), pp. 39–50.

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.

SOSP-2013-WeissHAA #game studies #named #parallel #thread

ROOT: replaying multithreaded traces with resource-oriented ordering (ZW, TH, ACAD, RHAD), pp. 373–387.

CAV-2013-BarnatBHHKLRSW #c #c++ #model checking #parallel #source code #thread

DiVinE 3.0 — An Explicit-State Model Checker for Multithreaded C & C++ Programs (JB, LB, VH, JH, JK, ML, PR, VS, JW), pp. 863–868.

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

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

ISSTA-2013-LuoR #named #parallel #runtime #source code #thread

EnforceMOP: a runtime property enforcement system for multithreaded programs (QL, GR), pp. 156–166.

ASE-2012-KahkonenSH #automation #parallel #source code #testing #thread #using

Using unfoldings in automated testing of multithreaded programs (KK, OS, KH), pp. 150–159.

DATE-2012-OzTKT #analysis #parallel #thread #trade-off

Performance-reliability tradeoff analysis for multithreaded applications (IO, HRT, MTK, OT), pp. 893–898.

ESOP-2012-LuPZX #parallel #source code #thread

A Type and Effect System for Determinism in Multithreaded Programs (YL, JP, CZ, JX), pp. 518–538.

SEKE-2012-MeloSS #effectiveness #evaluation #parallel #source code #testing #thread

Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness (SMM, SdRSdS, PSLdS), pp. 476–479.

OOPSLA-2012-YuNPP #named #parallel #source code #testing #thread

Maple: a coverage-driven testing tool for multithreaded programs (JY, SN, CP, GP), pp. 485–502.

PPDP-2012-Madet #multi #polynomial #thread #λ-calculus

A polynomial time λ-calculus with multithreading and side effects (AM), pp. 55–66.

ICSE-2012-NistorLPGM #automation #clustering #generative #named #parallel #performance #random #testing #thread

Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.

ASPLOS-2012-JoaoSMP #identification #parallel #scheduling #thread

Bottleneck identification and scheduling in multithreaded applications (JAJ, MAS, OM, YNP), pp. 223–234.

ASPLOS-2012-RadojkovicCMVPCNV #approach #parallel #statistics #thread

Optimal task assignment in multithreaded processors: a statistical approach (PR, VC, MM, JV, AP, FJC, MN, MV), pp. 235–248.

HPDC-2012-PasettoMFPX #architecture #communication #evaluation #manycore #parallel #performance #thread

Performance evaluation of interthread communication mechanisms on multicore/multithreaded architectures (DP, MM, HF, FP, JX), pp. 131–132.

PPoPP-2012-BaghsorkhiGDH #evaluation #memory management #parallel #performance #thread

Efficient performance evaluation of memory hierarchy for highly multithreaded graphics processors (SSB, IG, MD, WmWH), pp. 23–34.

PPoPP-2012-LeisersonSS #generative #parallel #thread

Deterministic parallel random-number generation for dynamic-multithreading platforms (CEL, TBS, JS), pp. 193–204.

CAV-2012-AtigBEL #detection #parallel #source code #thread

Detecting Fair Non-termination in Multithreaded Programs (MFA, AB, ME, AL), pp. 210–226.

CAV-2012-HagueL #analysis #bound #parallel #source code #thread

Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters (MH, AWL), pp. 260–276.

ISSTA-2012-ZhaiXCT #approach #named #parallel #thread

CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications (KZ, BX, WKC, THT), pp. 221–231.

ISSTA-2012-ZhangLE #fault #parallel #thread #user interface

Finding errors in multithreaded GUI applications (SZ, HL, MDE), pp. 243–253.

DAC-2011-KandemirYK #clustering #concurrent #parallel #thread

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

SEKE-2011-LiuL #analysis #parallel #petri net #pointer #thread

Multithreaded Pointer Analysis Based on Petri Net (FL, BL), pp. 127–130.

POPL-2011-EsparzaG #complexity #parallel #source code #thread #verification

Complexity of pattern-based verification for multithreaded programs (JE, PG), pp. 499–510.

POPL-2011-JoishaSBBC #automation #compilation #effectiveness #optimisation #parallel #reuse #thread

A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code (PGJ, RSS, PB, HJB, DRC), pp. 623–636.

SAC-2011-RangasamyS #effectiveness #modelling #parallel #performance #petri net #source code #thread

Petri net based performance modeling for effective DVFS for multithreaded programs (AR, YNS), pp. 647–648.

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.

ESEC-FSE-2011-JagannathGJLRM #parallel #testing #thread

Improved multithreaded unit testing (VJ, MG, DJ, QL, GR, DM), pp. 223–233.

ASPLOS-2011-BurnimNS #parallel #semantics #source code #specification #thread

Specifying and checking semantic atomicity for multithreaded programs (JB, GCN, KS), pp. 79–90.

SOSP-2011-CuiWGGY #multi #performance #thread

Efficient deterministic multithreading through schedule relaxation (HC, JW, JG, HG, JY), pp. 337–351.

SOSP-2011-LiuCB #multi #named #performance #thread

Dthreads: efficient deterministic multithreading (TL, CC, EDB), pp. 327–336.

TLCA-2011-MadetA #multi #thread #λ-calculus

An Elementary Affine λ-Calculus with Multithreading and Side Effects (AM, RMA), pp. 138–152.

DAC-2010-NurvitadhiHLK #automation #parallel #pipes and filters #specification #synthesis #thread #transaction

Automatic multithreaded pipeline synthesis from transactional datapath specifications (EN, JCH, SLL, TK), pp. 314–319.

DATE-2010-AndalamRG #multi #predict #thread #using

Deterministic, predictable and light-weight multithreading using PRET-C (SA, PSR, AG), pp. 1653–1656.

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

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

SOFTVIS-2010-TrumperBD #comprehension #parallel #thread #using #visualisation

Understanding complex multithreaded software systems by using trace visualization (JT, JB, JD), pp. 133–142.

ICSE-2010-BurnimS #named #parallel #source code #specification #thread

DETERMIN: inferring likely deterministic specifications of multithreaded programs (JB, KS), pp. 415–424.

ICSE-2010-LaiCC #detection #parallel #random #source code #testing #thread

Detecting atomic-set serializability violations in multithreaded programs through active randomized testing (ZL, SCC, WKC), pp. 235–244.

ASPLOS-2010-BerganADCG #compilation #execution #named #parallel #runtime #thread

CoreDet: a compiler and runtime system for deterministic multithreaded execution (TB, OA, JD, LC, DG), pp. 53–64.

ASPLOS-2010-VlachosGKCFGM #monitoring #named #online #parallel #thread

ParaLog: enabling and accelerating online parallel monitoring of multithreaded applications (EV, MLG, MAK, SC, BF, PBG, TCM), pp. 271–284.

OSDI-2010-CuiWTY #multi #thread

Stable Deterministic Multithreading through Schedule Memoization (HC, JW, CcT, JY), pp. 207–221.

PPoPP-2010-JangMSDK #architecture #data transformation #parallel #thread

Data transformations enabling loop vectorization on multithreaded data parallel architectures (BJ, PM, DS, RD, DRK), pp. 353–354.

PPoPP-2010-MuralidharaKR #clustering #parallel #thread

Intra-application shared cache partitioning for multithreaded applications (SPM, MTK, PR), pp. 329–330.

PPoPP-2010-TallentMP #parallel #thread

Analyzing lock contention in multithreaded applications (NRT, JMMC, AP), pp. 269–280.

PPoPP-2010-ZhangJS #matter #parallel #performance #question #source code #thread

Does cache sharing on modern CMP matter to the performance of contemporary multithreaded programs? (EZZ, YJ, XS), pp. 203–212.

ICST-2010-GligoricJM #mutation testing #named #parallel #performance #testing #thread

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code (MG, VJ, DM), pp. 55–64.

CASE-2009-WangLNRKML #concurrent #parallel #source code #thread

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract) (YW, HL, AN, SAR, TK, SAM, SL), pp. 37–41.

ESOP-2009-SadowskiFF #named #parallel #source code #thread

SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs (CS, SNF, CF), pp. 394–409.

SEFM-2009-Ferrara #java #named #parallel #source code #thread

Checkmate: A Generic Static Analyzer of Java Multithreaded Programs (PF), pp. 169–178.

AdaEurope-2009-KaiserP #java #multi #semantics #thread

Weak Fairness Semantic Drawbacks in Java Multithreading (CK, JFPP), pp. 90–104.

ECOOP-2009-DamJLP #java #monitoring #parallel #security #thread

Security Monitor Inlining for Multithreaded Java (MD, BJ, AL, FP), pp. 546–569.

OOPSLA-2009-BergerYLN #c #c++ #named #parallel #programming #thread

Grace: safe multithreaded programming for C/C++ (EDB, TY, TL, GN), pp. 81–96.

PPDP-2009-Vasconcelos #functional #linear #parallel #programming #thread

Session types for linear multithreaded functional programming (VTV), pp. 1–6.

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

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

SAC-2009-Hurlin #parallel #protocol #specification #thread

Specifying and checking protocols of multithreaded classes (CH), pp. 587–592.

ESEC-FSE-2009-BurnimS #parallel #source code #thread

Asserting and checking determinism for multithreaded programs (JB, KS), pp. 3–12.

ASPLOS-2009-OlszewskiAA #multi #named #performance #thread

Kendo: efficient deterministic multithreading in software (MO, JA, SPA), pp. 97–108.

HPCA-2009-ChenA #fine-grained #first-order #parallel #thread #throughput

A first-order fine-grained multithreaded throughput model (XEC, TMA), pp. 329–340.

ISMM-2009-HazelwoodLC #parallel #scalability #thread

Scalable support for multithreaded applications on dynamic binary instrumentation systems (KMH, GL, RC), pp. 20–29.

PPoPP-2009-TallentM #analysis #effectiveness #metric #parallel #performance #thread

Effective performance measurement and analysis of multithreaded applications (NRT, JMMC), pp. 229–240.

ASE-2008-JoshiS #java #parallel #predict #source code #thread #type system

Predictive Typestate Checking of Multithreaded Java Programs (PJ, KS), pp. 288–296.

DAC-2008-HsuPB #data flow #graph #parallel #simulation #thread

Multithreaded simulation for synchronous dataflow graphs (CJH, JLP, SSB), pp. 331–336.

DATE-2008-CosteGHHTZ #architecture #design #embedded #evaluation #parallel #thread #validation

Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures (NC, HG, HH, RH, YT, MZ), pp. 88–89.

ICSM-2008-TallamTG #concurrent #detection #parallel #slicing #source code #thread

Dynamic slicing of multithreaded programs for race detection (ST, CT, RG), pp. 97–106.

PLDI-2008-AndersonGEB #c #named #parallel #thread

SharC: checking data sharing strategies for multithreaded C (ZRA, DG, RE, EAB), pp. 149–158.

PLDI-2008-FlanaganFY #named #parallel #source code #thread

Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs (CF, SNF, JY), pp. 293–303.

SEFM-2008-Ferrara #parallel #source code #static analysis #thread

Static Analysis of the Determinism of Multithreaded Programs (PF), pp. 41–50.

IFL-2008-GrelckP #architecture #implementation #parallel #runtime #thread

Implementation Architecture and Multithreaded Runtime System of S-Net (CG, FP), pp. 60–79.

OOPSLA-2008-XianSJ #execution #java #parallel #source code #thread

Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs (FX, WSa, HJ), pp. 163–180.

CGO-2008-RyooRSBUSH #gpu #optimisation #parallel #thread

Program optimization space pruning for a multithreaded gpu (SR, CIR, SSS, SSB, SZU, JAS, WmWH), pp. 195–204.

OSDI-2008-WangKKLM #concurrent #named #parallel #source code #thread

Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs (YW, TK, MK, SL, SAM), pp. 281–294.

PPoPP-2008-ChanZBQQG #named #parallel #runtime #scheduling #thread

SuperMatrix: a multithreaded runtime scheduling system for algorithms-by-blocks (EC, FGVZ, PB, ESQO, GQO, RAvdG), pp. 123–132.

PPoPP-2008-RyooRBSKH #evaluation #gpu #optimisation #parallel #performance #thread #using

Optimization principles and application performance evaluation of a multithreaded GPU using CUDA (SR, CIR, SSB, SSS, DBK, WmWH), pp. 73–82.

DAC-2007-ChuKCCG #embedded #multi #programming #thread

An Embedded Coherent-Multithreading Multimedia Processor and Its Programming Model (JCC, WCK, SHC, TFC, JIG), pp. 652–657.

PLDI-2007-MusuvathiQ #bound #parallel #source code #testing #thread

Iterative context bounding for systematic testing of multithreaded programs (MM, SQ), pp. 446–455.

PLDI-2007-WangCCJTGYLW #architecture #manycore #named #parallel #programming #thread

EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system (PHW, JDC, GNC, HJ, XT, MG, NYY, GYL, HW), pp. 156–166.

HCI-MIE-2007-OguraNS #communication #parallel #thread #using

Exploration of Possibility of Multithreaded Conversations Using a Voice Communication System (KO, KN, KS), pp. 186–195.

CGO-2007-RamanHM #layout #optimisation #parallel #source code #thread

Structure Layout Optimization for Multithreaded Programs (ER, RH, SM), pp. 271–282.

PPoPP-2007-GontmakherMS #energy #multi #performance #thread #using

Using fine grain multithreading for energy efficient computing (AG, AM, AS), pp. 259–269.

PPoPP-2007-GuoDLLC #latency #multi #network #thread

Latency hiding through multithreading on a network processor (XG, JD, LL, ZL, PRC), pp. 130–131.

CAV-2007-BouajjaniFQ #analysis #bound #parallel #source code #thread

Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures (AB, SF, SQ), pp. 207–220.

CAV-2007-PatinST #named #parallel #recursion #source code #thread #verification

Spade: Verification of Multithreaded Dynamic and Recursive Programs (GP, MS, TT), pp. 254–257.

ISSTA-2007-TallamTGZ #execution #parallel #reduction #source code #thread

Enabling tracing Of long-running multithreaded programs via dynamic execution reduction (ST, CT, RG, XZ), pp. 207–218.

ASPLOS-2006-ParasharSG #locality #multi #named #performance #thread

SlicK: slice-based locality exploitation for efficient redundant multithreading (AP, AS, SG), pp. 95–105.

HPCA-2006-ChungCMMCKO #behaviour #parallel #source code #thread #transaction

The common case transactional behavior of multithreaded programs (JC, HC, CCM, AM, BDC, CK, KO), pp. 266–277.

ISMM-2006-SchneiderAN #memory management #parallel #scalability #thread

Scalable locality-conscious multithreaded memory allocation (SS, CDA, DSN), pp. 84–94.

PPoPP-2006-HuTH #algorithm #manycore #network #parallel #thread

High-performance IPv6 forwarding algorithm for multi-core and multithreaded network processor (XH, XT, BH), pp. 168–177.

PPoPP-2006-KahanK #architecture #exclamation #memory management #parallel #quote #thread

“MAMA!”: a memory allocator for multithreaded architectures (SK, PK), pp. 178–186.

CAV-2006-SenV #model checking #parallel #source code #thread

Model Checking Multithreaded Programs with Asynchronous Atomic Methods (KS, MV), pp. 300–314.

DAC-2005-SchaumontLQV #architecture #design #energy #multi #thread

Cooperative multithreading on 3mbedded multiprocessor architectures enables energy-scalable design (PS, BCCL, WQ, IV), pp. 27–30.

DATE-2005-BarrettaFSB #clustering #embedded #parallel #thread

Multithreaded Extension to Multicluster VLIW Processors for Embedded Applications (DB, WF, MS, DB), pp. 748–749.

VLDB-2005-ZhouCRS #database #multi #performance #thread

Improving Database Performance on Simultaneous Multithreading Processors (JZ, JC, KAR, MS), pp. 49–60.

PASTE-2005-PickettV #framework #java #multi #named #thread

SableSpMT: a software framework for analysing speculative multithreading in Java (CJFP, CV), pp. 59–66.

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.

HPCA-2005-SpracklenA #challenge #multi #thread

Chip Multithreading: Opportunities and Challenges (LS, SGA), pp. 248–252.

HPCA-2005-TuckT #parallel #predict #thread

Multithreaded Value Prediction (NT, DMT), pp. 5–15.

PPoPP-2005-LiHDH #automation #c #multi #source code #thread

Automatic multithreading and multiprocessing of C programs for IXP (LL, BH, JD, LH), pp. 132–141.

WICSA-2004-BernardoB #architecture #generative #parallel #source code #thread

Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions (MB, EB), pp. 167–176.

TACAS-2004-SenRA #analysis #online #parallel #performance #predict #safety #source code #thread

Online Efficient Predictive Safety Analysis of Multithreaded Programs (KS, GR, GA), pp. 123–138.

PLDI-2004-ZhuangP #network #parallel #thread

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

POPL-2004-FlanaganF #named #parallel #source code #thread

Atomizer: a dynamic atomicity checker for multithreaded programs (CF, SNF), pp. 256–267.

SAC-2004-UhrigU #fine-grained #parallel #power management #thread

Fine-grained power management for multithreaded processor cores (SU, TU), pp. 907–908.

LDTA-2004-GradaraSVV #model checking #modelling #parallel #source code #thread

Model Checking Multithreaded Programs by Means of Reduced Models (SG, AS, MLV, GV), pp. 55–74.

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.

HPCA-2004-FalconRV #multi #thread

A Low-Complexity, High-Performance Fetch Unit for Simultaneous Multithreading Processors (AF, AR, MV), pp. 244–253.

DATE-2003-KinP #data flow #parallel #simulation #thread

Multithreaded Synchronous Data Flow Simulation (JSK, JLP), pp. 11094–11095.

SAC-2003-NandaR #analysis #java #parallel #pointer #source code #thread

Pointer Analysis of Multithreaded Java Programs (MGN, SR), pp. 1068–1075.

ESEC-FSE-2003-SenRA #analysis #parallel #runtime #safety #source code #thread

Runtime safety analysis of multithreaded programs (KS, GR, GA), pp. 337–346.

PPoPP-2003-ChenHHJL #analysis #architecture #compilation #multi #points-to #probability #thread

Compiler support for speculative multithreading architecture with probabilistic points-to analysis (PSC, MYH, YSH, RDCJ, JKL), pp. 25–36.

PPoPP-2003-McDowellEG #parallel #thread

Improving server software support for simultaneous multithreaded processors (LM, SJE, SDG), pp. 37–48.

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

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

FoSSaCS-2002-Abraham-MummBRS #concept #java #multi #thread #verification

Verification for Java’s Reentrant Multithreading Concept (EÁM, FSdB, WPdR, MS), pp. 5–20.

TACAS-2002-DelzannoRB #automation #java #parallel #source code #thread #towards #verification

Towards the Automated Verification of Multithreaded Java Programs (GD, JFR, LVB), pp. 173–187.

PLDI-2002-ChoiLLOSS #concurrent #detection #object-oriented #parallel #performance #precise #source code #thread

Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs (JDC, KL, AL, RO, VS, MS), pp. 258–269.

ICSE-2002-RoychoudhuryM #java #parallel #semantics #specification #thread #verification

Specifying multithreaded Java semantics for program verification (AR, TM), pp. 489–499.

HPCA-2002-CascavalCCDGLMSW #architecture #evaluation #parallel #thread

Evaluation of a Multithreaded Architecture for Cellular Computing (CC, JGC, LC, MD, MG, DL, JEM, KS, HSWJ), pp. 311–322.

HPCA-2002-CintraT #learning #parallel #thread

Speculative Multithreading Eliminating Squashes through Learning Cross-Thread Violations in Speculative Parallelization for Multiprocessors (MHC, JT), pp. 43–54.

HPCA-2002-MarcuelloG #multi #thread

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

CAV-2002-FlanaganQS #composition #parallel #source code #thread

A Modular Checker for Multithreaded Programs (CF, SQ, SAS), pp. 180–194.

TACAS-2001-BallCR #library #parallel #thread #verification

Parameterized Verification of Multithreaded Software Libraries (TB, SC, SKR), pp. 158–173.

SAS-2001-Rinard #analysis #parallel #source code #thread

Analysis of Multithreaded Programs (MCR), pp. 1–19.

HPCA-2001-RothS #data-driven #multi #thread

Speculative Data-Driven Multithreading (AR, GSS), pp. 37–48.

PPoPP-2001-SalcianuR #analysis #parallel #pointer #source code #thread

Pointer and escape analysis for multithreaded programs (AS, MCR), pp. 12–23.

ITiCSE-2000-CarrS #education #library #parallel #programming #thread

A portable class library for teaching multithreaded programming (SC, CKS), pp. 124–127.

SAC-2000-BougeMNP #architecture #case study #distributed #parallel #runtime #thread #using

Using the VI Architecture to Build Distributed, Multithreaded Runtime Systems: A Case Study (LB, JFM, RN, LP), pp. 704–709.

SAC-2000-JungKM #distributed #internet #parallel #thread

Multithreaded Distributed MPEGI-Video Delivery in the Internet Environment (GSJ, KWK, QMM), pp. 592–597.

ASPLOS-2000-BergerMBW #memory management #named #parallel #scalability #thread

Hoard: A Scalable Memory Allocator for Multithreaded Applications (EDB, KSM, RDB, PRW), pp. 117–128.

ASPLOS-2000-RedstoneEL #analysis #architecture #behaviour #operating system #parallel #thread

An Analysis of Operating System Behavior on a Simultaneous Multithreaded Architecture (JR, SJE, HML), pp. 245–256.

ASPLOS-2000-SnavelyT #multi #thread

Symbiotic Jobscheduling for a Simultaneous Multithreading Processor (AS, DMT), pp. 234–244.

HPCA-2000-MowryR #memory management #multi #thread #using

Software-Controlled Multithreading Using Informing Memory Operations (TCM, SRR), pp. 121–132.

ISMM-2000-PlakalF #concurrent #garbage collection #parallel #slicing #thread #using

Concurrent Garbage Collection Using Program Slices on Multithreaded Processors (MP, CNF), pp. 94–100.

PLDI-1999-RuginaR #analysis #parallel #pointer #source code #thread

Pointer Analysis for Multithreaded Programs (RR, MCR), pp. 77–90.

AdaEurope-1999-Jimenez-PerisPBA #parallel #performance #thread

Efficient and Extensible Multithreaded Remote Servers (RJP, MPM, FJB, SA), pp. 91–102.

SAC-1999-GollaL #architecture #functional #logic #parallel #scheduling #thread

A Dynamic Scheduling Logic for Exploiting Multiple Functional Units in Single Ship Multithreaded Architectures (PNG, ECL), pp. 466–473.

SAC-1999-Jimenez-PerisPA #design pattern #distributed #parallel #thread

Multithreaded Rendezvous: A Design Pattern for Distributed Rendezvous (RJP, MPM, SA), pp. 571–579.

HPCA-1999-HilyS #effectiveness #execution #multi #thread

Out-of-Order Execution may not be Cost-Effective on Processors Featuring Simultaneous Multithreading (SH, AS), pp. 64–67.

HPCA-1999-ParcerisaG #multi #thread

The Synergy of Multithreading and Access/Execute Decoupling (JMP, AG), pp. 59–63.

HPCA-1999-SohnPKKY #communication #parallel #thread

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

HPCA-1999-TullsenG #architecture #compilation #execution #parallel #thread

Multithreaded Execution Architecture and Compilation (DMT, GRG), p. 321.

HPCA-1999-TullsenLEL #fine-grained #multi #thread

Supporting Fine-Grained Synchronization on a Simultaneous Multithreading Processor (DMT, JLL, SJE, HML), pp. 54–58.

PLDI-1998-FrigoLR #implementation #parallel #thread

The Implementation of the Cilk-5 Multithreaded Language (MF, CEL, KHR), pp. 212–223.

ALP-PLILP-1998-EskilsonC #execution #parallel #prolog #thread

SICStus MT — A Multithreaded Execution Environment for SICStus Prolog (JE, MC), pp. 36–53.

HPCA-1998-SpeightB #communication #multi #thread #using

Using Multicast and Multithreading to Reduce Communication in Software DSM Systems (ES, JKB), pp. 312–322.

HPCA-1998-TsaiJNY #concurrent #parallel #performance #thread

Performance Study of a Concurrent Multithreaded Processor (JYT, ZJ, EN, PCY), pp. 24–35.

HPCA-1998-TubellaG #detection #parallel #thread

Control Speculation in Multithreaded Processors through Dynamic Loop Detection (JT, AG), pp. 14–23.

PLDI-1997-TauraY #approach #compilation #effectiveness #implementation #multi #performance #thread

Fine-grain Multithreading with Minimal Compiler Support — A Cost Effective Approach to Implementing Efficient Multithreading Languages (KT, AY), pp. 320–333.

HPCA-1997-EspasaV #architecture #parallel #thread

Multithreaded Vector Architectures (RE, MV), pp. 237–248.

HPDC-1997-Knafla #adaptation #database #parallel #thread

Speed Up Your Database Client with Adaptable Multithreaded Prefetching (NK), pp. 102–111.

PPoPP-1997-SodanGMST #architecture #case study #experience #parallel #thread

Experiences with Non-numeric Applications on Multithreaded Architectures (AS, GRG, OM, JUS, XT), pp. 124–135.

HPCA-1996-GulatiB #parallel #performance #thread

Performance Study of a Multithreaded Superscalar Microprocessor (MG, NB), pp. 291–301.

HPCA-1996-MullerSW #memory management #multi #thread

Multitasking and Multithreading on a Multiprocessor with Virtual Shared Memory (HLM, PWAS, DHDW), pp. 212–221.

HPDC-1996-ParkHKHY #communication #message passing #network #parallel #thread

NYNET Communication System (NCS): A Multithreaded Message Passing Tool over ATM Network (SYP, SH, YK, JSH, RY), pp. 460–469.

HPCA-1995-GovindarajanNL #architecture #design #evaluation #parallel #performance #thread

Design and Performance Evaluation of a Multithreaded Architecture (RG, SSN, PL), pp. 298–307.

HPCA-1995-LiC #parallel #thread

The Effects of STEF in Finely Parallel Multithreaded Processors (YL, WC), pp. 318–325.

HPDC-1995-YadavRH #message passing #parallel #thread

A Multithreaded Message Passing Environment for ATM LAN/WAN (RY, RR, SH), pp. 238–245.

PPoPP-1995-BlumofeJKLRZ #named #parallel #performance #runtime #thread

Cilk: An Efficient Multithreaded Runtime System (RDB, CFJ, BCK, CEL, KHR, YZ), pp. 207–216.

AdaEurope-1994-SevestreB #ada #generative #multi #operating system #thread

Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model (JS, JB), pp. 24–32.

SAC-1994-OgataD #compilation #multi #thread

Object allocation and dynamic compilation in MultithreadSmalltalk (KO, ND), pp. 452–456.

ASPLOS-1994-LaudonGH #multi #named #thread

Interleaving: A Multithreading Technique Targeting Multiprocessors and Workstations (JL, AG, MH), pp. 308–318.

STOC-1993-BlumofeL #parallel #scheduling #thread

Space-efficient scheduling of multithreaded computations (RDB, CEL), pp. 362–371.

POPL-1993-DoligezL #concurrent #garbage collection #implementation #ml #parallel #thread

A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML (DD, XL), pp. 113–123.

TRI-Ada-C-1992-Sielski #ada #implementation #parallel #thread

Implementing Ada Tasking in a Multiprocessing, Multithreaded UNIX Environment (KLS), pp. 512–517.

FPCA-1991-SchauserCE #parallel #thread

Compiler-Controlled Multithreading for Lenient Parallel Languages (KES, DEC, TvE), pp. 50–72.