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:
detect (67)
data (44)
program (23)
system (13)
condit (13)

Stem race$ (all stems)

130 papers:

DATEDATE-2015-FuLX #energy #memory management
Race to idle or not: balancing the memory sleep time with DVS for energy minimization (CF, ML, CJX), pp. 13–18.
ICSMEICSME-2015-PoluriR #concurrent #detection
Deterministic dynamic race detection across program versions (SVP, MKR), pp. 181–190.
CHICHI-2015-FlinthamVWABBPP
Run Spot Run: Capturing and Tagging Footage of a Race by Crowds of Spectators (MDF, RV, MLW, EJA, SB, AB, TP, DP, JS), pp. 747–756.
OOPSLAOOPSLA-2015-BielikRV #android #concurrent #detection #scalability
Scalable race detection for Android applications (PB, VR, MTV), pp. 332–348.
ESEC-FSEESEC-FSE-2015-CaiC #detection #effectiveness #java #precise #source code
Effective and precise dynamic detection of hidden races for Java programs (YC, LC), pp. 450–461.
ESEC-FSEESEC-FSE-2015-MutluTL #detection #javascript #matter
Detecting JavaScript races that matter (EM, ST, BL), pp. 381–392.
ESEC-FSEESEC-FSE-2015-RajagopalanH #concurrent #detection #named
RDIT: race detection from incomplete traces (AKR, JH), pp. 914–917.
ISMMISMM-2015-HusseinHPV #garbage collection #memory management
Don’t race the memory bus: taming the GC leadfoot (AH, ALH, MP, CAV), pp. 15–27.
PPoPPPPoPP-2015-McPhersonNSC #detection #legacy #source code
Fence placement for legacy data-race-free programs via synchronization read detection (AJM, VN, SS, MC), pp. 249–250.
CBSECBSE-2014-DidierM #approach #component #detection
A new approach to detect potential race conditions in component-based systems (JYD, MM), pp. 97–106.
PLDIPLDI-2014-DimitrovRVK #commutative #concurrent #detection
Commutativity race detection (DD, VR, MTV, EK), p. 33.
PLDIPLDI-2014-HsiaoPYPNCKF #concurrent #detection #mobile
Race detection for event-driven mobile applications (CHH, CP, JY, GP, SN, PMC, ZK, JF), p. 35.
PLDIPLDI-2014-HuangMR #abstraction #concurrent #control flow #detection #predict
Maximal sound predictive race detection with control flow abstraction (JH, POM, GR), p. 36.
PLDIPLDI-2014-MaiyaKM #android #concurrent #detection
Race detection for Android applications (PM, AK, RM), p. 34.
PLDIPLDI-2014-SurendranRCMS #parallel #source code #testing
Test-driven repair of data races in structured parallel programs (RS, RR, SC, JMMC, VS), p. 3.
FLOPSFLOPS-2014-BalabonskiPP
Type Soundness and Race Freedom for Mezzo (TB, FP, JP), pp. 253–269.
PLATEAUPLATEAU-2014-SadowskiY #concurrent #detection #developer #how #tool support
How Developers Use Data Race Detection Tools (CS, JY), pp. 43–51.
ICSEICSE-2014-YuSR #automation #framework #named #testing
SimRT: an automated framework to support regression testing for data races (TY, WSa, GR), pp. 48–59.
ASPLOSASPLOS-2014-HowerHBGHRW #memory management #modelling
Heterogeneous-race-free memory models (DRH, BAH, BMB, BRG, MDH, SKR, DAW), pp. 427–440.
ASPLOSASPLOS-2014-WoodCG #detection #low level
Low-level detection of language-level data races with LARD (BPW, LC, DG), pp. 671–686.
HPCAHPCA-2014-HuangHFS #concurrent #data transformation #detection #metadata #runtime
Low-overhead and high coverage run-time race detection through selective meta-data management (RCH, EH, AF, GES), pp. 96–107.
HPCAHPCA-2014-QiMAT #detection
Dynamically detecting and tolerating IF-Condition Data Races (SQ, AM, WA, JT), pp. 120–131.
PPoPPPPoPP-2014-EslamimehrP #concurrent #scheduling #source code
Race directed scheduling of concurrent programs (ME, JP), pp. 301–314.
ASEASE-2013-Ganai #incremental #performance #predict #reasoning
Efficient data race prediction with incremental reasoning on time-stamped lock history (MKG), pp. 37–47.
VLDBVLDB-2013-MansourEKAA #named #parallel #scalability #sequence
RACE: A Scalable and Elastic Parallel System for Discovering Repeats in Very Long Sequences (EM, AER, PK, AA, AA), pp. 865–876.
ECOOPECOOP-2013-FlanaganF #detection #named
RedCard: Redundant Check Elimination for Dynamic Race Detectors (CF, SNF), pp. 255–280.
OOPSLAOOPSLA-2013-RaychevVS #concurrent #detection #effectiveness #source code
Effective race detection for event-driven programs (VR, MTV, MS), pp. 151–166.
ASPLOSASPLOS-2013-WesterDCFN #concurrent #detection
Parallelizing data race detection (BW, DD, PMC, JF, SN), pp. 27–38.
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-ParkSI #concurrent #detection #scalability #source code
Scalable data race detection for partitioned global address space programs (CSP, KS, CI), pp. 305–306.
SOSPSOSP-2013-KasikciZC #concurrent #crowdsourcing #detection #named
RaceMob: crowdsourced data race detection (BK, CZ, GC), pp. 406–422.
ISSTAISSTA-2013-RadoiD #concurrent #detection #java #parallel
Practical static race detection for Java parallel loops (CR, DD), pp. 178–190.
ISSTAISSTA-2013-YuSR #automation #framework #named #testing
SimRacer: an automated framework to support testing for process-level races (TY, WSa, GR), pp. 167–177.
SIGMODSIGMOD-2012-ChandramouliCNSZ #named #realtime
RACE: real-time applications over cloud-edge (BC, JC, SN, IS, WZ), pp. 625–628.
MSRMSR-2012-SadowskiYK #evolution
The evolution of data races (CS, JY, SK), pp. 171–174.
PLDIPLDI-2012-PetrovVSD #concurrent #detection #web
Race detection for web applications (BP, MTV, MS, JD), pp. 251–262.
CHICHI-2012-YardiB #difference #product line
Income, race, and class: exploring socioeconomic differences in family technology use (SY, AB), pp. 3041–3050.
CSCWCSCW-2012-EiriksdottirKCMMXP #comprehension #game studies #health #multi #pervasive
This is not a one-horse race: understanding player types in multiplayer pervasive health games for youth (EE, DK, RC, EDM, ADM, YX, ESP), pp. 843–852.
ECOOPECOOP-2012-WestbrookZBS #parallel
Practical Permissions for Race-Free Parallelism (EMW, JZ, ZB, VS), pp. 614–639.
OOPSLAOOPSLA-2012-Effinger-DeanLCGB #concurrent #detection #named
IFRit: interference-free regions for dynamic data-race detection (LED, BL, LC, DG, HJB), pp. 467–484.
POPLPOPL-2012-SmaragdakisESYF #concurrent #detection #polynomial #predict
Sound predictive race detection in polynomial time (YS, JE, CS, JY, CF), pp. 387–400.
ASPLOSASPLOS-2012-KasikciZC #debugging #difference
Data races vs. data race bugs: telling the difference with portend (BK, CZ, GC), pp. 185–198.
HPCAHPCA-2012-QiONMT #hardware #named #symmetry
Pacman: Tolerating asymmetric data races with unintrusive hardware (SQ, NO, LON, AM, JT), pp. 349–360.
ISSTAISSTA-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.
SCAMSCAM-2011-Keul #analysis
Tuning Static Data Race Analysis for Automotive Control Software (SK), pp. 45–54.
OOPSLAOOPSLA-2011-LiSD #analysis #concurrent #detection #named
SOS: saving time in dynamic race detection with stationary analysis (DL, WSa, MBD), pp. 35–50.
ICSEICSE-2011-ShengVEHCZ #concurrent #detection #lightweight #named
RACEZ: a lightweight and non-invasive race detection tool for production applications (TS, NV, SE, RH, WC, WZ), pp. 401–410.
CGOCGO-2011-XieX #detection #named #performance
Acculock: Accurate and efficient detection of data races (XX, JX), pp. 201–212.
HPCAHPCA-2011-VantreaseLB #protocol
Atomic Coherence: Leveraging nanophotonics to build race-free cache coherence protocols (DV, MHL, NLB), pp. 132–143.
PPoPPPPoPP-2011-DonaldsonKR #analysis #automation #named
SCRATCH: a tool for automatic analysis of dma races (AFD, DK, PR), pp. 311–312.
PPoPPPPoPP-2011-ZhengRQA #detection #gpu #named #source code
GRace: a low-overhead mechanism for detecting data races in GPU programs (MZ, VTR, FQ, GA), pp. 135–146.
SOSPSOSP-2011-LaadanVTBYN #detection #pervasive #process
Pervasive detection of process races in deployed systems (OL, NV, CcT, CB, JY, JN), pp. 353–367.
SOSPSOSP-2011-VeeraraghavanCFN #detection #using
Detecting and surviving data races using complementary schedules (KV, PMC, JF, SN), pp. 369–384.
VMCAIVMCAI-2011-DonaldsonHK #lightweight #static analysis
Strengthening Induction-Based Race Checking with Lightweight Static Analysis (AFD, LH, DK), pp. 169–183.
PLDIPLDI-2010-BondCM #detection #named
PACER: proportional detection of data races (MDB, KEC, KSM), pp. 255–268.
PLDIPLDI-2010-FlanaganF #detection #memory management
Adversarial memory for detecting destructive races (CF, SNF), pp. 244–254.
GT-VMTGT-VMT-2010-RehakSSH #decidability
Decidable Race Condition and Open Coregions in HMSC (VR, PS, JS, LH).
AdaEuropeAdaEurope-2010-Keul #detection #version control
Static Versioning of Global State for Race Condition Detection (SK), pp. 111–124.
OOPSLAOOPSLA-2010-MatsakisG #type system
A time-aware type system for data-race protection and guaranteed initialization (NDM, TRG), pp. 634–651.
PADLPADL-2010-ChristakisS #detection #erlang #static analysis
Static Detection of Race Conditions in Erlang (MC, KFS), pp. 119–133.
OSDIOSDI-2010-EricksonMBO #concurrent #detection #effectiveness #kernel
Effective Data-Race Detection for the Kernel (JE, MM, SB, KO), pp. 151–162.
OSDIOSDI-2010-WuCY #execution
Bypassing Races in Live Applications with Execution Filters (JW, HC, JY), pp. 135–149.
ASEASE-2009-KimYS #concurrent #detection #heuristic #memory management #model checking #precise #using
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking (KK, TYK, BAS), pp. 495–499.
DACDAC-2009-WenCCS #architecture #concurrent #debugging #detection #manycore #named
NUDA: a non-uniform debugging architecture and non-intrusive race detection for many-core (CNW, SHC, TFC, APS), pp. 148–153.
PLDIPLDI-2009-FlanaganF #concurrent #detection #named #performance #precise
FastTrack: efficient and precise dynamic race detection (CF, SNF), pp. 121–133.
PLDIPLDI-2009-MarinoMN #concurrent #detection #effectiveness #lightweight #named
LiteRace: effective sampling for lightweight data-race detection (DM, MM, SN), pp. 134–143.
SASSAS-2009-SeidlV #analysis #concurrent #detection
Region Analysis for Race Detection (HS, VV), pp. 171–187.
ICFPICFP-2009-ClaessenPSHSAW #erlang #quickcheck
Finding race conditions in Erlang with QuickCheck and PULSE (KC, MHP, NS, JH, HS, TA, UTW), pp. 149–160.
HCIHCI-AUII-2009-Cloud-BucknerSSYG #analysis #gender
Expression of Personality through Avatars: Analysis of Effects of Gender and Race on Perceptions of Personality (JCB, MS, BS, BY, JJG), pp. 248–256.
ICMLICML-2009-Heidrich-MeisnerI #policy
Hoeffding and Bernstein races for selecting policies in evolutionary direct policy search (VHM, CI), pp. 401–408.
MODELSMoDELS-2009-ShoushaBL #analysis #concurrent #detection #uml
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems (MS, LCB, YL), pp. 47–61.
MODELSMoDELS-2009-ShoushaBL #analysis #concurrent #detection #uml
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems (MS, LCB, YL), pp. 47–61.
ESEC-FSEESEC-FSE-2009-KahlonSKZ #concurrent #detection #source code
Static data race detection for concurrent programs with asynchronous calls (VK, NS, EK, YZ), pp. 13–22.
LCTESLCTES-2009-LeatherOW #compilation #optimisation #performance
Raced profiles: efficient selection of competing compiler optimizations (HL, MFPO, BW), pp. 50–59.
PPoPPPPoPP-2009-RatanaworabhanBKZNP #detection #symmetry
Detecting and tolerating asymmetric races (PR, MB, DK, BGZ, RN, KP), pp. 173–184.
VLDBVLDB-2008-CondieCHM #declarative #network
Evita raced: metacompilation for declarative networks (TC, DC, JMH, PM), pp. 1153–1165.
ICSMEICSM-2008-TallamTG #concurrent #detection #parallel #slicing #source code #thread
Dynamic slicing of multithreaded programs for race detection (ST, CT, RG), pp. 97–106.
PLDIPLDI-2008-Sen #concurrent #random testing #source code #testing
Race directed random testing of concurrent programs (KS), pp. 11–21.
PLDIPLDI-2008-Terauchi #linear #programming
Checking race freedom via linear programming (TT), pp. 1–10.
AdaEuropeAdaEurope-2008-RazaV #detection #flexibility #framework #named #parallel #source code
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs (AR, GV), pp. 226–239.
PPoPPPPoPP-2008-SandersK #memory management #modelling #reasoning
Assertional reasoning about data races in relaxed memory models (BAS, KK), pp. 267–268.
ICSTICST-2008-LeiWL #concurrent #consistency #diagrams #java #nondeterminism #process #source code #testing #uml
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency (BL, LW, XL), pp. 200–209.
ISSTAISSTA-2008-BoddenH #aspectj #concurrent #detection #effectiveness #named #using
Racer: effective race detection using aspectj (EB, KH), pp. 155–166.
ISSTAISSTA-2008-TianNGT #concurrent #detection #recognition
Dynamic recognition of synchronization operations for improved data race detection (CT, VN, RG, ST), pp. 143–154.
TACASTACAS-2007-ElkindGP #detection #sequence chart
Detecting Races in Ensembles of Message Sequence Charts (EE, BG, DP), pp. 420–434.
PLDIPLDI-2007-ElmasQT #java #named #runtime #transaction
Goldilocks: a race and transaction-aware java runtime (TE, SQ, ST), pp. 245–255.
POPLPOPL-2007-NaikA #alias #concurrent #detection
Conditional must not aliasing for static race detection (MN, AA), pp. 327–338.
ESEC-FSEESEC-FSE-2007-VoungJL #concurrent #detection #named
RELAY: static race detection on millions of lines of code (JWV, RJ, SL), pp. 205–214.
HPCAHPCA-2007-ZhouTZ #concurrent #detection #named
HARD: Hardware-Assisted Lockset-based Race Detection (PZ, RT, YZ), pp. 121–132.
LCTESLCTES-2007-PermandlaRB #java #type system #virtual machine
A type system for preventing data races and deadlocks in the java virtual machine language: 1 (PP, MR, CB), p. 10.
CAVCAV-2007-KahlonYSG #concurrent #detection #performance #source code
Fast and Accurate Static Data-Race Detection for Concurrent Programs (VK, YY, SS, AG), pp. 226–239.
ASEASE-2006-Thrun #challenge
Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert (ST), p. 11.
CASECASE-2006-BeghiLPS #black box #modelling #prototype
Black-box modeling of a Two-Stroke Racing Motorcycle Engine for Virtual Prototyping Applications (AB, ML, SP, DS), pp. 280–285.
DACDAC-2006-SingerMBHK #question #what
The IC nanometer race — what will it take to win? (GS, PM, DB, FCH, HKK), pp. 77–78.
DATEDATE-2006-SchaumontSV #design #hardware #semantics
Design with race-free hardware semantics (PS, SKS, IV), pp. 571–576.
PLDIPLDI-2006-NaikAW #concurrent #detection #effectiveness #java
Effective static race detection for Java (MN, AA, JW), pp. 308–319.
PLDIPLDI-2006-PratikakisFH #analysis #concurrent #correlation #detection #named
LOCKSMITH: context-sensitive correlation analysis for race detection (PP, JSF, MWH), pp. 320–331.
ASPLOSASPLOS-2006-XuHB #memory management #reduction #transitive
A regulated transitive reduction (RTR) for longer memory race recording (MX, MDH, RB), pp. 49–60.
HPCAHPCA-2006-Prvulovic #concurrent #detection #effectiveness #named
CORD: cost-effective (and nearly overhead-free) order-recording and data race detection (MP), pp. 232–243.
ASEASE-2005-AgarwalSWS #concurrent #detection #runtime #using
Optimized run-time race detection and atomicity checking using partial discovered types (RA, AS, LW, SDS), pp. 233–242.
DACDAC-2005-HuangNL #scheduling
Race-condition-aware clock skew scheduling (SHH, YTN, FPL), pp. 475–478.
SACSAC-2005-HouD #analysis #design #detection #search-based
Immunity-based intrusion detection system design, vulnerability analysis, and GENERTIA’s genetic arms race (HH, GVD), pp. 952–956.
SACSAC-2005-UppuluriJR
Preventing race condition attacks on file-systems (PU, UJ, AR), pp. 346–353.
PPoPPPPoPP-2005-SasturkarAWS #analysis #automation #type system
Automated type-based analysis of data races and atomicity (AS, RA, LW, SDS), pp. 83–94.
SOSPSOSP-2005-YuRC #adaptation #detection #named #performance
RaceTrack: efficient detection of data race conditions via adaptive tracking (YY, TR, WC), pp. 221–234.
PLDIPLDI-2004-HenzingerJM
Race checking by context inference (TAH, RJ, RM), pp. 1–13.
SASSAS-2004-FlanaganF #type inference
Type Inference Against Races (CF, SNF), pp. 116–132.
VMCAIVMCAI-2004-AgarwalS #java #type inference
Type Inference for Parameterized Race-Free Java (RA, SDS), pp. 149–160.
PPoPPPPoPP-2003-OCallahanC #concurrent #detection #hybrid
Hybrid dynamic data race detection (RO, JDC), pp. 167–178.
PPoPPPPoPP-2003-PoznianskyS #c++ #concurrent #detection #multi #on the fly #performance #source code
Efficient on-the-fly data race detection in multihreaded C++ programs (EP, AS), pp. 179–190.
SOSPSOSP-2003-EnglerA #detection #effectiveness #named #static analysis
RacerX: effective, static detection of race conditions and deadlocks (DRE, KA), pp. 237–252.
OOPSLAOOPSLA-2002-BoyapatiLR #programming
Ownership types for safe programming: preventing data races and deadlocks (CB, RL, MCR), pp. 211–230.
PASTEPASTE-2001-FlanaganF #detection #scalability #source code
Detecting race conditions in large programs (CF, SNF), pp. 90–96.
OOPSLAOOPSLA-2001-BoyapatiR #java #source code #type system
A Parameterized Type System for Race-Free Java Programs (CB, MCR), pp. 56–69.
OOPSLAOOPSLA-2001-PraunG #concurrent #detection
Object Race Detection (CvP, TRG), pp. 70–82.
PLDIPLDI-2000-FlanaganF #concurrent #detection #java #type system
Type-based race detection for Java (CF, SNF), pp. 219–232.
OOPSLAOOPSLA-2000-BaconST #java #named
Guava: a dialect of Java without data races (DFB, RES, AT), pp. 382–400.
ICTSSTestCom-2000-PetrenkoU #concurrent #testing #verification
Verification and Testing of Concurrent Systems with Action Races (AP, AU), pp. 261–280.
TACASTACAS-1998-AikenFS #detection #logic programming #source code
Detecting Races in Relay Ladder Logic Programs (AA, MF, ZS), pp. 184–200.
AdaEuropeAdaEurope-1997-Feldman #ada #set
An Ada 95 Sort Race Construction Set (MBF), pp. 23–34.
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.
ISSTAISSTA-1994-Damodaran-KamalF #parallel #source code #testing
Testing Races in Parallel Programs with an OtOt Strategy (SKDK, JMF), pp. 216–227.
DACDAC-1993-ChuML #finite #performance #state machine
An Efficient Critical Race-Free State Assignment Technique for Asynchronous Finite State Machines (TAC, NM, CKCL), pp. 2–6.
CAVCAV-1993-ProbstL #automaton #behaviour #verification
Verifying Timed Behavior Automata with Input/Output Critical Races (DKP, HFL), pp. 424–437.
PPoPPPPoPP-1991-ChoiM #debugging
Race Frontier: Reproducing Data Races in Parallel-Program Debugging (JDC, SLM), pp. 145–154.
PPoPPPPoPP-1991-NetzerM #concurrent #detection
Improving the Accuracy of Data Race Detection (RHBN, BPM), pp. 133–144.
ISSTATAV-1991-GuptaS #approach #detection #performance #runtime
Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races (RG, MS), pp. 98–111.
ICALPICALP-1988-CoriM #approximate #automaton #distributed
Approximation of a TRace, Asynchronous Automata and the Ordering of Events in a Distributed System (RC, YM), pp. 147–161.
ICALPICALP-1986-BrzozowskiS #analysis #network #simulation #summary
Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary) (JAB, CJHS), pp. 69–78.
DACDAC-1971-HarrisonO #analysis #logic #simulation
Race analysis of digital systems without logic simulation (RAH, DJO), pp. 82–94.

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.