Search results for "RACE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
114	Sheree Josephson, Michael E. Holmes	Cross-race recognition deficit and visual attention: do they all look (at faces) alike?	ETRA	2008	DBLP DOI BibTeX RDF	cross-race recognition deficit, eyewitness, own-race bias, eye tracking, visual attention
107	Koushik Sen	Race directed random testing of concurrent programs.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, random testing, race detection
92	Sarita V. Adve, Mark D. Hill	A Unified Formalization of Four Shared-Memory Models.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	data-race-free-1, data-race-free-0, hazards and raceconditions, multiprocessors, shared memory systems, formalization, sequential consistency, weak ordering, shared-memory models, release consistency
83	Jobany Rodriguez, Heather Bortfeld, Ricardo Gutierrez-Osuna	Reducing the other-race effect through caricatures.	FG	2008	DBLP DOI BibTeX RDF
81	Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes 0001, Hans Svensson, Thomas Arts, Ulf T. Wiger	Finding race conditions in Erlang with QuickCheck and PULSE.	ICFP	2009	DBLP DOI BibTeX RDF	QuickCheck, Erlang, race conditions
81	Cormac Flanagan, Stephen N. Freund	FastTrack: efficient and precise dynamic race detection.	PLDI	2009	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions
76	Xunwei Wu, Xiexiong Chen, Jizhong Shen	Race-Hazard and Skip-Hazard in Multivalued Combinational Circuits.	ISMVL	1995	DBLP DOI BibTeX RDF	race-hazard, skip-hazard, multivalued combinational circuits, race hazards, AND/OR expression, skip hazard, multivalued circuits, fast transition, small load capacitor, combinational circuits, multivalued logic circuits, hazards and race conditions, input signals
75	Mi-Young Park, Sang-Hwa Chung	Detecting Race Conditions in One-Sided Communication of MPI Programs.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
72	Koenraad Audenaert, Luk Levrouw	Space efficient data race detection for parallel programs with series-parallel task graphs.	PDP	1995	DBLP DOI BibTeX RDF	space efficient data race detection, series-parallel task graphs, access anomaly, program debugger, on-the-fly methods, pointer variables, series-parallel task graph, spawning types, parallel programming, parallel programs, parallelism, synchronisation, program debugging, shared resource, storage requirements, fork-join
70	Lily Huang, Michael R. Smith 0001, Albert Tran, James Miller 0001	E-RACE, A Hardware-Assisted Approach to Lockset-Based Data Race Detection for Embedded Products.	ISSRE	2008	DBLP DOI BibTeX RDF
68	Cormac Flanagan, Stephen N. Freund	Adversarial memory for detecting destructive races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions, relaxed memory models
66	Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Charles E. Leiserson	On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs.	SPAA	2004	DBLP DOI BibTeX RDF	SP-bags, SP-hybrid, SP-order, least common ancestor, order maintenance, series-parallel, algorithm, parallel computing, data structure, graph, tree, mutual exclusion, thread, trace, locking, multi-threading, data race, work stealing, race detection, Cilk, parse tree, amortized analysis, fork-join, on the fly, dynamic set
63	Adrian Nistor, Darko Marinov, Josep Torrellas	Light64: lightweight hardware support for data race detection during systematic testing of parallel programs.	MICRO	2009	DBLP DOI BibTeX RDF	execution history hash, data race, systematic testing
63	Abdullah Muzahid, Darío Suárez Gracia, Shanxiang Qi, Josep Torrellas	SigRace: signature-based data race detection.	ISCA	2009	DBLP DOI BibTeX RDF	SigRace, concurrency defect, signature, timestamp, data race, happened-before
63	Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen, Alan Peisheng Su	NUDA: a non-uniform debugging architecture and non-intrusive race detection for many-core.	DAC	2009	DBLP DOI BibTeX RDF	architecture, debugging, many-core, race detection
63	Therese J. Albert, Kai Qian, Xiang Fu 0001	Race condition in Ajax-based web application.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	dynamic web application, concurrency, Ajax, lock, race condition
63	Jinpeng Wei, Calton Pu	Multiprocessors May Reduce System Dependability under File-Based Race Condition Attacks.	DSN	2007	DBLP DOI BibTeX RDF	Probabilistic Modeling, Race Condition
63	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	Goldilocks: a race and transaction-aware java runtime.	PLDI	2007	DBLP DOI BibTeX RDF	Java runtime, software transactions, runtime monitoring, data-race detection
63	Jianyin Zhang, Sen Su, Fangchun Yang	Detecting Race Conditions in Web Services.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	Web Services, Petri net, feature interaction, race condition
63	Dieter Kranzlmüller, Siegfried Grabner, Jens Volkert	Using Control and Data Flow Analysis for Race Evaluation.	Euro-Par	1997	DBLP DOI BibTeX RDF	event manipulation, Debugging, program analysis, race conditions
62	Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder	Automatically classifying benign and harmful data racesallusing replay analysis.	PLDI	2007	DBLP DOI BibTeX RDF	benign data races, concurrency Bbugs, replay
62	Kunal Agrawal, Charles E. Leiserson, Jim Sukha	Memory models for open-nested transactions.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF
61	Ali Jannesari, Walter F. Tichy	On-the-fly race detection in multi-threaded programs.	PADTAD	2008	DBLP DOI BibTeX RDF	lockset, parallel programs, debugging, dynamic analysis, race conditions, race detection, multi-threaded programming, happens-before
61	Gerald M. Karam, Raymond J. A. Buhr	Starvation and Critical Race Analyzers for Ada.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
57	Tachio Terauchi	Checking race freedom via linear programming.	PLDI	2008	DBLP DOI BibTeX RDF	fractional capabilities, linear programming
57	Terence Chan	RaceCheck: A Race Logic Audit Program For SoC Designs.	APCCAS	2006	DBLP DOI BibTeX RDF
57	Philip N. Klein, Robert H. B. Netzer, Hsueh-I Lu	Detecting Race Conditions in Parallel Programs that Use Semaphores.	Algorithmica	2003	DBLP DOI BibTeX RDF
57	Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer	Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract).	ESA	1996	DBLP DOI BibTeX RDF
57	Robert M. Fuhrer, Bill Lin 0001, Steven M. Nowick	Algorithms for the optimal state assignment of asynchronous state machines.	ARVLSI	1995	DBLP DOI BibTeX RDF	optimal state assignment, asynchronous state machines, state codes, race-free state assignment, hazard-free state assignment, input encoding problem, sum-of-products implementations, finite state machines, asynchronous circuits, state assignment, minimisation of switching nets, hazards and race conditions, asynchronous sequential logic
54	Gwendolyn Voskuilen, Faraz Ahmad, T. N. Vijaykumar	Timetraveler: exploiting acyclic races for optimizing memory race recording.	ISCA	2010	DBLP DOI BibTeX RDF	race recording, debugging, determinism, replay
54	Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy	LiteRace: effective sampling for lightweight data-race detection.	PLDI	2009	DBLP DOI BibTeX RDF	dynamic data race detection, sampling, concurrency bugs
54	Ram Keralapura, Chen-Nee Chuah, Nina Taft, Gianluca Iannaccone	Race conditions in coexisting overlay networks.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	interaction between multiple overlay networks, traffic oscillations, synchronization, race conditions
54	Bin Lei, Linzhang Wang, Xuandong Li	UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency.	ICST	2008	DBLP DOI BibTeX RDF	race condition, UML activity diagram
54	Mayur Naik, Alex Aiken	Conditional must not aliasing for static race detection.	POPL	2007	DBLP DOI BibTeX RDF	static race detection, Java, concurrency, synchronization, multi-threading
54	Martín Abadi, Cormac Flanagan, Stephen N. Freund	Types for safe locking: Static race detection for Java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	type system, Concurrent programs, type inference, race conditions
53	Fangli Pu, Hai-Yin Xu	A Feasible Strategy for Reachability Testing of Internet-Based Concurrent Programs.	ICNSC	2008	DBLP DOI BibTeX RDF
53	Bill Mitchell	Inherent Causal Orderings of Partial Order Scenarios.	ICTAC	2004	DBLP DOI BibTeX RDF
53	Ming-Dong Feng, Chung-Kwong Yuen	Detection of Races and Control-Flow Nondeterminism.	LCR	1998	DBLP DOI BibTeX RDF
51	Julio Cesar da Silva, Rafael de Magalhaes Dias Frinhani, Ricardo Martins de Abreu Silva, Geraldo Robson Mateus	Auto-parametrização do GRASP com Path-Relinking no agrupamento de dados com F-Race e iterated F-Race [Automatic Tuning of GRASP with Path-Relinking in data clustering with F-Race and iterated F-Race].	SBSI	2015	DBLP DOI BibTeX RDF
48	Roberto Paleari, Davide Marrone, Danilo Bruschi, Mattia Monga	On Race Vulnerabilities in Web Applications.	DIMVA	2008	DBLP DOI BibTeX RDF
48	Vineet Kahlon, Yu Yang 0013, Sriram Sankaranarayanan 0001, Aarti Gupta	Fast and Accurate Static Data-Race Detection for Concurrent Programs.	CAV	2007	DBLP DOI BibTeX RDF
48	Milos Prvulovic	CORD: cost-effective (and nearly overhead-free) order-recording and data race detection.	HPCA	2006	DBLP DOI BibTeX RDF
48	Bill Mitchell	Resolving Race Conditions in Asynchronous Partial Order Scenarios.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	formal methods, Requirements analysis, distributed programming
48	Chien-An Chen, Sara Kalvala, Jane E. Sinclair	Race Conditions in Message Sequence Charts.	APLAS	2005	DBLP DOI BibTeX RDF
48	Shih-Hsu Huang, Yow-Tyng Nieh, Feng-Pin Lu	Race-condition-aware clock skew scheduling.	DAC	2005	DBLP DOI BibTeX RDF	sequential circuits, high performance, timing optimization
48	Ana Paula Cláudio, João Duarte Cunha	A Race Detection Mechanism Embedded in a Conceptual Model for the Debugging of Message-Passing Distributed Programs.	Euro-Par	2003	DBLP DOI BibTeX RDF
48	Robert O. Briggs, Tomas P. Gregory	Token Dispensers for GSS Race Conditions: Locking Things That Don't Exist.	HICSS	2003	DBLP DOI BibTeX RDF
48	Mark Christiaens, Koenraad De Bosschere	TRaDe: Data Race Detection for Java.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
48	Bengt Carlsson, Rune Gustavsson	Arms Race within Information Ecosystems.	CIA	2001	DBLP DOI BibTeX RDF
48	Bengt Carlsson	The Tragedy of the Commons - Arms Race within Peer-to-Peer Tools.	ESAW	2001	DBLP DOI BibTeX RDF
48	Michael B. Feldman	An Ada 95 Sort Race Construction Set.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Concurrent Programming, Ada 95, Algorithm Animation
48	Carole M. McNamee, Ronald A. Olsson	Comments on "Critical Races in Ada Programs''.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Ada rendezvous mechanism, critical race problem, critical race-free programs, Ada, semantics, programming
48	Enes Göktas, Elias Athanasopoulos, Herbert Bos, Georgios Portokalidis	Evaluating control-flow restricting defenses.	The Continuing Arms Race	2018	DBLP DOI BibTeX RDF
48	Mathias Payer	How memory safety violations enable exploitation of programs.	The Continuing Arms Race	2018	DBLP DOI BibTeX RDF
48	Yier Jin, Dean Sullivan, Orlando Arias, Ahmad-Reza Sadeghi, Lucas Davi	Hardware control flow integrity.	The Continuing Arms Race	2018	DBLP DOI BibTeX RDF
48	Bart Coppens 0001, Bjorn De Sutter, Stijn Volckaert	Multi-variant execution environments.	The Continuing Arms Race	2018	DBLP DOI BibTeX RDF
48	Stephen Crane, Andrei Homescu, Per Larsen, Hamed Okhravi, Michael Franz	Diversity and information leaks.	The Continuing Arms Race	2018	DBLP DOI BibTeX RDF
48	Felix Schuster, Thorsten Holz	Attacking dynamic code.	The Continuing Arms Race	2018	DBLP DOI BibTeX RDF
48	Gang Tan, Ben Niu 0007	Protecting dynamic code.	The Continuing Arms Race	2018	DBLP DOI BibTeX RDF
48	Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar 0001, Dawn Song	Code-pointer integrity.	The Continuing Arms Race	2018	DBLP DOI BibTeX RDF
46	Gilles Pokam, Cristiano Pereira, Klaus Danne, Rolf Kassa, Ali-Reza Adl-Tabatabai	Architecting a chunk-based memory race recorder in modern CMPs.	MICRO	2009	DBLP DOI BibTeX RDF	memory race recorder, determinism, deterministic replay
46	Mayur Naik, Alex Aiken, John Whaley	Effective static race detection for Java.	PLDI	2006	DBLP DOI BibTeX RDF	static race detection, Java, concurrency, synchronization, multi-threading
46	Paul Sack, Brian E. Bliss, Zhiqiang Ma, Paul Petersen, Josep Torrellas	Accurate and efficient filtering for the Intel thread checker race detector.	ASID	2006	DBLP DOI BibTeX RDF	data-race detection
46	Prem Uppuluri, Uday Joshi, Arnab Ray	Preventing race condition attacks on file-systems.	SAC	2005	DBLP DOI BibTeX RDF	security, race conditions, system calls
46	Yuan Yu, Tom Rodeheffer, Wei Chen	RaceTrack: efficient detection of data race conditions via adaptive tracking.	SOSP	2005	DBLP DOI BibTeX RDF	virtual machine instrumentation, race detection
46	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Race checking by context inference.	PLDI	2004	DBLP DOI BibTeX RDF	software model checking, race conditions
46	Dawson R. Engler, Ken Ashcraft	RacerX: effective, static detection of race conditions and deadlocks.	SOSP	2003	DBLP DOI BibTeX RDF	deadlock detection, race detection, program checking
46	Eli Pozniansky, Assaf Schuster	Efficient on-the-fly data race detection in multihreaded C++ programs.	PPoPP	2003	DBLP DOI BibTeX RDF	concurrency, synchronization, multithreading, instrumentation, data race
46	Bradley C. Kuszmaul	The RACE network architecture.	IPPS	1995	DBLP DOI BibTeX RDF	RACE network architecture, high-performance parallel interconnection network, 6-port switches, preemptable circuit switched strategy, self-regulating circuit, output delay, performance evaluation, real-time systems, parallel architectures, mesh, real-time constraints, Clos network, fat-tree, parallel computer system
44	Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner	Dataflow analysis for concurrent programs using datarace detection.	PLDI	2008	DBLP DOI BibTeX RDF	locksets, interprocedural analysis, multithreaded programs, summaries
42	Cormac Flanagan, Shaz Qadeer	A type and effect system for atomicity.	PLDI	2003	DBLP DOI BibTeX RDF	multithreading, atomicity, race conditions, static checking
42	Christopher A. Rouff, James L. Rash, Michael G. Hinchey	Experience Using Formal Methods for Specifying a Multi-Agent System.	ICECCS	2000	DBLP DOI BibTeX RDF	multi-agent system specification, Lights Out Ground Operations System, prototype multi agent system, satellite ground operations functions, NASA Goddard Space Flight Center, GSFC, specification exercise, specification process, sample specification, formal specification, formal methods, deadlocks, race conditions, LOGOS, omissions, development team
40	Race in H. C. I. Collective, Angela D. R. Smith, Adriana Alvarado Garcia, Ian Arawjo, Audrey Bennett, Khalia Braswell, Bryan Dosono, Ron Eglash, Denae Ford, Daniel L. Gardner, Shamika Goddard, Jaye Nias, Cale J. Passmore, Yolanda A. Rankin, Naba Rizvi, Carol F. Scott, Jakita Thomas, Alexandra To, Ihudiya Finda Ogbonnaya-Ogburu, Marisol Wong-Villacres	Keepin' it real about race in HCI.	Interactions	2021	DBLP DOI BibTeX RDF
39	Yifeng Zhu, Hong Jiang 0001	RACE: A Robust Adaptive Caching Strategy for Buffer Cache.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Buffering, Main memory, Input/output
39	Chao Wang 0001, Yu Yang 0013, Aarti Gupta, Ganesh Gopalakrishnan	Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.	ATVA	2008	DBLP DOI BibTeX RDF
39	Nicolas Blanc, Daniel Kroening	Race analysis for SystemC using model checking.	ICCAD	2008	DBLP DOI BibTeX RDF
39	Prasanna Balaprakash, Mauro Birattari, Thomas Stützle	Improvement Strategies for the F-Race Algorithm: Sampling Design and Iterative Refinement.	Hybrid Metaheuristics	2007	DBLP DOI BibTeX RDF
39	Pin Zhou, Radu Teodorescu, Yuanyuan Zhou	HARD: Hardware-Assisted Lockset-based Race Detection.	HPCA	2007	DBLP DOI BibTeX RDF
39	Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede	Design with race-free hardware semantics.	DATE	2006	DBLP DOI BibTeX RDF
39	Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede	Extended abstract: a race-free hardware modeling language.	MEMOCODE	2005	DBLP DOI BibTeX RDF
39	Mi-Young Park, Yong-Kee Jun	Detecting Unaffected Race Conditions in Message-Passing Programs.	PVM/MPI	2004	DBLP DOI BibTeX RDF
39	Lijun Yin 0001, Jingrong Jia, Joseph P. Morrissey	Towards Race-Related Face Identification: Research On Skin Color Transfer.	FGR	2004	DBLP DOI BibTeX RDF
39	Mahesh A. Iyer	Race: A Word-Level ATPG-Based Constraints Solver System For Smart Random Simulation.	ITC	2003	DBLP DOI BibTeX RDF
39	David Butler, Vishy Karri	Race Car Chassis Tuning Using Artificial Neural Networks.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
39	Eun-Kyung Ryu, Keum-Sook Ha, Kee-Young Yoo	A Practical Method for On-the-Fly Data Race Detection.	PARA	2002	DBLP DOI BibTeX RDF
39	Young-Cheol Kim, Yong-Kee Jun	Restructuring Parallel Programs for On-the-Fly Race Detection.	PaCT	1999	DBLP DOI BibTeX RDF
39	Anton Beranek	Data Race Detection Based on Replay for Parallel Applications.	CONPAR	1992	DBLP DOI BibTeX RDF
39	Stanislav Polonsky, Moyra K. McManus, Daniel R. Knebel, Steve Steen, Pia N. Sanda	Non-invasive timing analysis of IBM G6 microprocessor L1 cache using picosecond imaging circuit analysis.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	imaging circuit analysis, IBM G6 microprocessor, non-invasive backside timing, Picosecond Imaging Circuit Analysis, waveform extraction, integrated circuit testing, timing analysis, race condition, circuit switching, integrated memory circuits, hazards and race conditions, L1 cache
39	Hong-Yean Hsieh, Wentai Liu, Ralph K. Cavin III, C. Thomas Gray	Concurrent timing optimization of latch-based digital systems.	ICCD	1995	DBLP DOI BibTeX RDF	concurrent timing optimization, latch-based digital systems, digital system timing, intentional clock skew, latch-based designed systems, multi-phase clocking, resynchronization, latches insertion, optimisation, timing, logic design, flip-flops, retiming, mixed integer linear program, race conditions, integrated framework, wave pipelining, hazards and race conditions, clock period
37	Vineet Kahlon, Nishant Sinha 0001, Erik Kruus, Yun Zhang	Static data race detection for concurrent programs with asynchronous calls.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	asynchronous programs, static data race detection, bootstrapping, pointer analysis
37	Yao Qi, Raja Das, Zhi Da Luo, Martin Trotter	MulticoreSDK: a practical and efficient data race detector for real-world applications.	PADTAD	2009	DBLP DOI BibTeX RDF	concurrent program analysis, multicore platform, data race detection
37	Jan Wen Voung, Ranjit Jhala, Sorin Lerner	RELAY: static race detection on millions of lines of code.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	static analysis, race detection
37	Utpal Banerjee, Brian Bliss, Zhiqiang Ma, Paul Petersen	A theory of data race detection.	PADTAD	2006	DBLP DOI BibTeX RDF	access conflict, synchronization, dependence, thread, data race, vector clock, happens-before
37	Min Xu, Mark D. Hill, Rastislav Bodík	A regulated transitive reduction (RTR) for longer memory race recording.	ASPLOS	2006	DBLP DOI BibTeX RDF	race recording, multithreading, determinism
37	Kyung-suk Lhee, Steve J. Chapin	Detection of file-based race conditions.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Time-of-check-to-time-of-use (TOCTTOU) flaws, Security, Race condition
37	Robert O'Callahan, Jong-Deok Choi	Hybrid dynamic data race detection.	PPoPP	2003	DBLP DOI BibTeX RDF	dynamic race detection, lockset hybrid, Java, happens-before
37	Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson	Eraser: A Dynamic Data Race Detector for Multithreaded Programs.	ACM Trans. Comput. Syst.	1997	DBLP DOI BibTeX RDF	binary code modification, race detection, multithreaded programming
37	Thomas H. Einstein	Mercury Computer Systems' modular heterogeneous RACE(R) multicomputer.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	Mercury Computer Systems, modular heterogeneous RACE multicomputer, heterogeneous multicomputer, Analog Devices, SHARC 21060, Apple PowerPC 603p, optimal processor, physical processing density, heterogeneity, distributed memory systems, programmability, IBM, hardware cost, Motorola
35	Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley	PACER: proportional detection of data races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, sampling, data races, bugs
35	Xiang Cai, Yuwei Gui, Rob Johnson	Exploiting Unix File-System Races via Algorithmic Complexity Attacks.	SP	2009	DBLP DOI BibTeX RDF