Stem race$ (all stems)

130 papers:

DATE-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.

ICSME-2015-PoluriR #concurrent #detection

Deterministic dynamic race detection across program versions (SVP, MKR), pp. 181–190.

CHI-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.

OOPSLA-2015-BielikRV #android #concurrent #detection #scalability

Scalable race detection for Android applications (PB, VR, MTV), pp. 332–348.

ESEC-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-FSE-2015-MutluTL #detection #javascript #matter

Detecting JavaScript races that matter (EM, ST, BL), pp. 381–392.

ESEC-FSE-2015-RajagopalanH #concurrent #detection #named

RDIT: race detection from incomplete traces (AKR, JH), pp. 914–917.

ISMM-2015-HusseinHPV #garbage collection #memory management

Don’t race the memory bus: taming the GC leadfoot (AH, ALH, MP, CAV), pp. 15–27.

PPoPP-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.

CBSE-2014-DidierM #approach #component #detection

A new approach to detect potential race conditions in component-based systems (JYD, MM), pp. 97–106.

PLDI-2014-DimitrovRVK #commutative #concurrent #detection

Commutativity race detection (DD, VR, MTV, EK), p. 33.

PLDI-2014-HsiaoPYPNCKF #concurrent #detection #mobile

Race detection for event-driven mobile applications (CHH, CP, JY, GP, SN, PMC, ZK, JF), p. 35.

PLDI-2014-HuangMR #abstraction #concurrent #control flow #detection #predict

Maximal sound predictive race detection with control flow abstraction (JH, POM, GR), p. 36.

PLDI-2014-MaiyaKM #android #concurrent #detection

Race detection for Android applications (PM, AK, RM), p. 34.

PLDI-2014-SurendranRCMS #parallel #source code #testing

Test-driven repair of data races in structured parallel programs (RS, RR, SC, JMMC, VS), p. 3.

FLOPS-2014-BalabonskiPP

Type Soundness and Race Freedom for Mezzo (TB, FP, JP), pp. 253–269.

PLATEAU-2014-SadowskiY #concurrent #detection #developer #how #tool support

How Developers Use Data Race Detection Tools (CS, JY), pp. 43–51.

ICSE-2014-YuSR #automation #framework #named #testing

SimRT: an automated framework to support regression testing for data races (TY, WSa, GR), pp. 48–59.

ASPLOS-2014-HowerHBGHRW #memory management #modelling

Heterogeneous-race-free memory models (DRH, BAH, BMB, BRG, MDH, SKR, DAW), pp. 427–440.

ASPLOS-2014-WoodCG #detection #low level

Low-level detection of language-level data races with LARD (BPW, LC, DG), pp. 671–686.

HPCA-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.

HPCA-2014-QiMAT #detection

Dynamically detecting and tolerating IF-Condition Data Races (SQ, AM, WA, JT), pp. 120–131.

PPoPP-2014-EslamimehrP #concurrent #scheduling #source code

Race directed scheduling of concurrent programs (ME, JP), pp. 301–314.

ASE-2013-Ganai #incremental #performance #predict #reasoning

Efficient data race prediction with incremental reasoning on time-stamped lock history (MKG), pp. 37–47.

VLDB-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.

ECOOP-2013-FlanaganF #detection #named

RedCard: Redundant Check Elimination for Dynamic Race Detectors (CF, SNF), pp. 255–280.

OOPSLA-2013-RaychevVS #concurrent #detection #effectiveness #source code

Effective race detection for event-driven programs (VR, MTV, MS), pp. 151–166.

ASPLOS-2013-WesterDCFN #concurrent #detection

Parallelizing data race detection (BW, DD, PMC, JF, SN), pp. 27–38.

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

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

PPoPP-2013-ParkSI #concurrent #detection #scalability #source code

Scalable data race detection for partitioned global address space programs (CSP, KS, CI), pp. 305–306.

SOSP-2013-KasikciZC #concurrent #crowdsourcing #detection #named

RaceMob: crowdsourced data race detection (BK, CZ, GC), pp. 406–422.

ISSTA-2013-RadoiD #concurrent #detection #java #parallel

Practical static race detection for Java parallel loops (CR, DD), pp. 178–190.

ISSTA-2013-YuSR #automation #framework #named #testing

SimRacer: an automated framework to support testing for process-level races (TY, WSa, GR), pp. 167–177.

SIGMOD-2012-ChandramouliCNSZ #named #realtime

RACE: real-time applications over cloud-edge (BC, JC, SN, IS, WZ), pp. 625–628.

MSR-2012-SadowskiYK #evolution

The evolution of data races (CS, JY, SK), pp. 171–174.

PLDI-2012-PetrovVSD #concurrent #detection #web

Race detection for web applications (BP, MTV, MS, JD), pp. 251–262.

CHI-2012-YardiB #difference #product line

Income, race, and class: exploring socioeconomic differences in family technology use (SY, AB), pp. 3041–3050.

CSCW-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.

ECOOP-2012-WestbrookZBS #parallel

Practical Permissions for Race-Free Parallelism (EMW, JZ, ZB, VS), pp. 614–639.

OOPSLA-2012-Effinger-DeanLCGB #concurrent #detection #named

IFRit: interference-free regions for dynamic data-race detection (LED, BL, LC, DG, HJB), pp. 467–484.

POPL-2012-SmaragdakisESYF #concurrent #detection #polynomial #predict

Sound predictive race detection in polynomial time (YS, JE, CS, JY, CF), pp. 387–400.

ASPLOS-2012-KasikciZC #debugging #difference

Data races vs. data race bugs: telling the difference with portend (BK, CZ, GC), pp. 185–198.

HPCA-2012-QiONMT #hardware #named #symmetry

Pacman: Tolerating asymmetric data races with unintrusive hardware (SQ, NO, LON, AM, JT), pp. 349–360.

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.

SCAM-2011-Keul #analysis

Tuning Static Data Race Analysis for Automotive Control Software (SK), pp. 45–54.

OOPSLA-2011-LiSD #analysis #concurrent #detection #named

SOS: saving time in dynamic race detection with stationary analysis (DL, WSa, MBD), pp. 35–50.

ICSE-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.

CGO-2011-XieX #detection #named #performance

Acculock: Accurate and efficient detection of data races (XX, JX), pp. 201–212.

HPCA-2011-VantreaseLB #protocol

Atomic Coherence: Leveraging nanophotonics to build race-free cache coherence protocols (DV, MHL, NLB), pp. 132–143.

PPoPP-2011-DonaldsonKR #analysis #automation #named

SCRATCH: a tool for automatic analysis of dma races (AFD, DK, PR), pp. 311–312.

PPoPP-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.

SOSP-2011-LaadanVTBYN #detection #pervasive #process

Pervasive detection of process races in deployed systems (OL, NV, CcT, CB, JY, JN), pp. 353–367.

SOSP-2011-VeeraraghavanCFN #detection #using

Detecting and surviving data races using complementary schedules (KV, PMC, JF, SN), pp. 369–384.

VMCAI-2011-DonaldsonHK #lightweight #static analysis

Strengthening Induction-Based Race Checking with Lightweight Static Analysis (AFD, LH, DK), pp. 169–183.

PLDI-2010-BondCM #detection #named

PACER: proportional detection of data races (MDB, KEC, KSM), pp. 255–268.

PLDI-2010-FlanaganF #detection #memory management

Adversarial memory for detecting destructive races (CF, SNF), pp. 244–254.

GT-VMT-2010-RehakSSH #decidability

Decidable Race Condition and Open Coregions in HMSC (VR, PS, JS, LH).

AdaEurope-2010-Keul #detection #version control

Static Versioning of Global State for Race Condition Detection (SK), pp. 111–124.

OOPSLA-2010-MatsakisG #type system

A time-aware type system for data-race protection and guaranteed initialization (NDM, TRG), pp. 634–651.

PADL-2010-ChristakisS #detection #erlang #static analysis

Static Detection of Race Conditions in Erlang (MC, KFS), pp. 119–133.

OSDI-2010-EricksonMBO #concurrent #detection #effectiveness #kernel

Effective Data-Race Detection for the Kernel (JE, MM, SB, KO), pp. 151–162.

OSDI-2010-WuCY #execution

Bypassing Races in Live Applications with Execution Filters (JW, HC, JY), pp. 135–149.

ASE-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.

DAC-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.

PLDI-2009-FlanaganF #concurrent #detection #named #performance #precise

FastTrack: efficient and precise dynamic race detection (CF, SNF), pp. 121–133.

PLDI-2009-MarinoMN #concurrent #detection #effectiveness #lightweight #named

LiteRace: effective sampling for lightweight data-race detection (DM, MM, SN), pp. 134–143.

SAS-2009-SeidlV #analysis #concurrent #detection

Region Analysis for Race Detection (HS, VV), pp. 171–187.

ICFP-2009-ClaessenPSHSAW #erlang #quickcheck

Finding race conditions in Erlang with QuickCheck and PULSE (KC, MHP, NS, JH, HS, TA, UTW), pp. 149–160.

HCI-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.

ICML-2009-Heidrich-MeisnerI #policy

Hoeffding and Bernstein races for selecting policies in evolutionary direct policy search (VHM, CI), pp. 401–408.

MoDELS-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.

MoDELS-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-FSE-2009-KahlonSKZ #concurrent #detection #source code

Static data race detection for concurrent programs with asynchronous calls (VK, NS, EK, YZ), pp. 13–22.

LCTES-2009-LeatherOW #compilation #optimisation #performance

Raced profiles: efficient selection of competing compiler optimizations (HL, MFPO, BW), pp. 50–59.

PPoPP-2009-RatanaworabhanBKZNP #detection #symmetry

Detecting and tolerating asymmetric races (PR, MB, DK, BGZ, RN, KP), pp. 173–184.

VLDB-2008-CondieCHM #declarative #network

Evita raced: metacompilation for declarative networks (TC, DC, JMH, PM), pp. 1153–1165.

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-Sen #concurrent #random testing #source code #testing

Race directed random testing of concurrent programs (KS), pp. 11–21.

PLDI-2008-Terauchi #linear #programming

Checking race freedom via linear programming (TT), pp. 1–10.

AdaEurope-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.

PPoPP-2008-SandersK #memory management #modelling #reasoning

Assertional reasoning about data races in relaxed memory models (BAS, KK), pp. 267–268.

ICST-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.

ISSTA-2008-BoddenH #aspectj #concurrent #detection #effectiveness #named #using

Racer: effective race detection using aspectj (EB, KH), pp. 155–166.

ISSTA-2008-TianNGT #concurrent #detection #recognition

Dynamic recognition of synchronization operations for improved data race detection (CT, VN, RG, ST), pp. 143–154.

TACAS-2007-ElkindGP #detection #sequence chart

Detecting Races in Ensembles of Message Sequence Charts (EE, BG, DP), pp. 420–434.

PLDI-2007-ElmasQT #java #named #runtime #transaction

Goldilocks: a race and transaction-aware java runtime (TE, SQ, ST), pp. 245–255.

POPL-2007-NaikA #alias #concurrent #detection

Conditional must not aliasing for static race detection (MN, AA), pp. 327–338.

ESEC-FSE-2007-VoungJL #concurrent #detection #named

RELAY: static race detection on millions of lines of code (JWV, RJ, SL), pp. 205–214.

HPCA-2007-ZhouTZ #concurrent #detection #named

HARD: Hardware-Assisted Lockset-based Race Detection (PZ, RT, YZ), pp. 121–132.

LCTES-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.

CAV-2007-KahlonYSG #concurrent #detection #performance #source code

Fast and Accurate Static Data-Race Detection for Concurrent Programs (VK, YY, SS, AG), pp. 226–239.

ASE-2006-Thrun #challenge

Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert (ST), p. 11.

CASE-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.

DAC-2006-SingerMBHK #question #what

The IC nanometer race — what will it take to win? (GS, PM, DB, FCH, HKK), pp. 77–78.

DATE-2006-SchaumontSV #design #hardware #semantics

Design with race-free hardware semantics (PS, SKS, IV), pp. 571–576.

PLDI-2006-NaikAW #concurrent #detection #effectiveness #java

Effective static race detection for Java (MN, AA, JW), pp. 308–319.

PLDI-2006-PratikakisFH #analysis #concurrent #correlation #detection #named

LOCKSMITH: context-sensitive correlation analysis for race detection (PP, JSF, MWH), pp. 320–331.

ASPLOS-2006-XuHB #memory management #reduction #transitive

A regulated transitive reduction (RTR) for longer memory race recording (MX, MDH, RB), pp. 49–60.

HPCA-2006-Prvulovic #concurrent #detection #effectiveness #named

CORD: cost-effective (and nearly overhead-free) order-recording and data race detection (MP), pp. 232–243.

ASE-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.

DAC-2005-HuangNL #scheduling

Race-condition-aware clock skew scheduling (SHH, YTN, FPL), pp. 475–478.

SAC-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.

SAC-2005-UppuluriJR

Preventing race condition attacks on file-systems (PU, UJ, AR), pp. 346–353.

PPoPP-2005-SasturkarAWS #analysis #automation #type system

Automated type-based analysis of data races and atomicity (AS, RA, LW, SDS), pp. 83–94.

SOSP-2005-YuRC #adaptation #detection #named #performance

RaceTrack: efficient detection of data race conditions via adaptive tracking (YY, TR, WC), pp. 221–234.

PLDI-2004-HenzingerJM

Race checking by context inference (TAH, RJ, RM), pp. 1–13.

SAS-2004-FlanaganF #type inference

Type Inference Against Races (CF, SNF), pp. 116–132.

VMCAI-2004-AgarwalS #java #type inference

Type Inference for Parameterized Race-Free Java (RA, SDS), pp. 149–160.

PPoPP-2003-OCallahanC #concurrent #detection #hybrid

Hybrid dynamic data race detection (RO, JDC), pp. 167–178.

PPoPP-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.

SOSP-2003-EnglerA #detection #effectiveness #named #static analysis

RacerX: effective, static detection of race conditions and deadlocks (DRE, KA), pp. 237–252.

OOPSLA-2002-BoyapatiLR #programming

Ownership types for safe programming: preventing data races and deadlocks (CB, RL, MCR), pp. 211–230.

PASTE-2001-FlanaganF #detection #scalability #source code

Detecting race conditions in large programs (CF, SNF), pp. 90–96.

OOPSLA-2001-BoyapatiR #java #source code #type system

A Parameterized Type System for Race-Free Java Programs (CB, MCR), pp. 56–69.

OOPSLA-2001-PraunG #concurrent #detection

Object Race Detection (CvP, TRG), pp. 70–82.

PLDI-2000-FlanaganF #concurrent #detection #java #type system

Type-based race detection for Java (CF, SNF), pp. 219–232.

OOPSLA-2000-BaconST #java #named

Guava: a dialect of Java without data races (DFB, RES, AT), pp. 382–400.

TestCom-2000-PetrenkoU #concurrent #testing #verification

Verification and Testing of Concurrent Systems with Action Races (AP, AU), pp. 261–280.

TACAS-1998-AikenFS #detection #logic programming #source code

Detecting Races in Relay Ladder Logic Programs (AA, MF, ZS), pp. 184–200.

AdaEurope-1997-Feldman #ada #set

An Ada 95 Sort Race Construction Set (MBF), pp. 23–34.

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

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

ISSTA-1994-Damodaran-KamalF #parallel #source code #testing

Testing Races in Parallel Programs with an OtOt Strategy (SKDK, JMF), pp. 216–227.

DAC-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.

CAV-1993-ProbstL #automaton #behaviour #verification

Verifying Timed Behavior Automata with Input/Output Critical Races (DKP, HFL), pp. 424–437.

PPoPP-1991-ChoiM #debugging

Race Frontier: Reproducing Data Races in Parallel-Program Debugging (JDC, SLM), pp. 145–154.

PPoPP-1991-NetzerM #concurrent #detection

Improving the Accuracy of Data Race Detection (RHBN, BPM), pp. 133–144.

TAV-1991-GuptaS #approach #detection #performance #runtime

Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races (RG, MS), pp. 98–111.

ICALP-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.

ICALP-1986-BrzozowskiS #analysis #network #simulation #summary

Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary) (JAB, CJHS), pp. 69–78.

DAC-1971-HarrisonO #analysis #logic #simulation

Race analysis of digital systems without logic simulation (RAH, DJO), pp. 82–94.