Search results for "races"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
144	Mi-Young Park, Su Jeong Shim, Yong-Kee Jun, Hyuk-Ro Park	MPIRace-Check: Detection of Message Races in MPI Programs.	GPC	2007	DBLP DOI BibTeX RDF	message races, MPIRace-Check, debugging, message-passing programs
113	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
112	Mi-Young Park, Seok Young Kim, Hyuk-Ro Park	Visualization of Affect-Relations of Message Races for Debugging MPI Programs.	GrC	2007	DBLP DOI BibTeX RDF
100	Young-Joo Kim, Mi-Young Park, So-Hee Park, Yong-Kee Jun	A Practical Tool for Detecting Races in OpenMP Programs.	PaCT	2005	DBLP DOI BibTeX RDF
100	Hee-Dong Park, Yong-Kee Jun	Detecting the First Races in Parallel Programs with Ordered Synchronization.	ICPADS	1998	DBLP DOI BibTeX RDF
98	Chen Tian 0002, Vijay Nagarajan, Rajiv Gupta 0001, Sriraman Tallam	Dynamic recognition of synchronization operations for improved data race detection.	ISSTA	2008	DBLP DOI BibTeX RDF	synchronization and infeasible races, data races, record and replay
97	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
97	Mun-Hye Kang, Ok-Kyoon Ha, Sang-Woo Jun, Yong-Kee Jun	A Tool for Detecting First Races in OpenMP Programs.	PaCT	2009	DBLP DOI BibTeX RDF	OpenMP programs, first races to occur, race detection
97	Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati	A type system for preventing data races and deadlocks in the java virtual machine language: 1.	LCTES	2007	DBLP DOI BibTeX RDF	SafeJava, deadlocks, data races, ownership types
90	Young-Joo Kim, Mun-Hye Kang, Ok-Kyoon Ha, Yong-Kee Jun	Efficient Race Verification for Debugging Programs with OpenMP Directives.	PaCT	2007	DBLP DOI BibTeX RDF	OpenMP directive, protocol scheme, verification, labeling scheme, races
89	Mi-Young Park, Yong-Kee Jun	Detecting Unaffected Message Races in Parallel Programs.	GPC	2006	DBLP DOI BibTeX RDF
86	Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard	Ownership types for safe programming: preventing data races and deadlocks.	OOPSLA	2002	DBLP DOI BibTeX RDF	deadlocks, encapsulation, data races, ownership types
77	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
72	Hans-Juergen Boehm	Position paper: nondeterminism is unavoidable, but data races are pure evil.	RACES@SPLASH	2012	DBLP DOI BibTeX RDF
69	Koushik Sen	Race directed random testing of concurrent programs.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, random testing, race detection
69	Mi-Young Park, Yong-Kee Jun	Detecting Unaffected Race Conditions in Message-Passing Programs.	PVM/MPI	2004	DBLP DOI BibTeX RDF
67	Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller	Optimized run-time race detection and atomicity checking using partial discovered types.	ASE	2005	DBLP DOI BibTeX RDF	performance, type system, atomicity, data races
65	Young-Joo Kim, Jae-Seon Lim, Yong-Kee Jun	Scalable Thread Visualization for Debugging Data Races in OpenMP Programs.	GPC	2007	DBLP DOI BibTeX RDF	OpenMP programs, data race debugging, scalable thread visualization, three-dimensional visualization
65	So-Hee Park, Mi-Young Park, Yong-Kee Jun	A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs.	WOMPAT	2001	DBLP DOI BibTeX RDF
63	Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller	Automated type-based analysis of data races and atomicity.	PPoPP	2005	DBLP DOI BibTeX RDF	type system, type inference, atomicity, data races
63	Gerald M. Karam, Christine M. Stanczyk, Gregory W. Bond	Critical Races in Ada Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	critical races, concurrent Ada programs, system errors, CRF language, caller selection mechanism, discriminatory mutual exclusion, dimutex, MLog language, gas-station example, parallel programming, Ada, rapid-prototyping, Ada language
58	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
58	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
58	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
58	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
55	Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte	A programming model for concurrent object-oriented programs.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	verification condition generation, Aliasing, data races, ownership, modular reasoning, local reasoning
55	Mandana Vaziri, Frank Tip, Julian Dolby	Associating synchronization constraints with data in an object-oriented language.	POPL	2006	DBLP DOI BibTeX RDF	programming model, serializability, data races, concurrent object-oriented programming
54	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
54	Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Benjamin G. Zorn, Rahul Nagpal, Karthik Pattabiraman	Detecting and tolerating asymmetric races.	PPoPP	2009	DBLP DOI BibTeX RDF	race detection and toleration, dynamic instrumentation, runtime support
54	Young-Joo Kim, Daeyoung Kim 0001, Yong-Kee Jun	An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Thread Checker, Parallel section programs, Parallel loop programs, Verification, OpenMP, Race
54	Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga	DRACULA: Detector of Data Races in Signals Handlers.	APSEC	2008	DBLP DOI BibTeX RDF
54	Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar	Healing data races on-the-fly.	PADTAD	2007	DBLP DOI BibTeX RDF	testing, concurrency, self-healing
54	Edith Elkind, Blaise Genest, Doron A. Peled	Detecting Races in Ensembles of Message Sequence Charts.	TACAS	2007	DBLP DOI BibTeX RDF
54	Federico Balaguer, Thuc S. M. Ho, Ralph E. Johnson	Detecting Data Races on Framework-Based Applications.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
54	Michiel Ronsse, Jonas Maebe, Koenraad De Bosschere	Detecting Data Races in Sequential Programs with DIOTA.	Euro-Par	2004	DBLP DOI BibTeX RDF
54	Yong-Kee Jun, Charles E. McDowell	Scalable Monitoring Technique for Detecting Races in Parallel Programs.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
54	Ming-Dong Feng, Chung-Kwong Yuen	Detection of Races and Control-Flow Nondeterminism.	LCR	1998	DBLP DOI BibTeX RDF
54	Scotte Zinn, Michael H. Coffin	Efficient event generation for detecting races.	CASCON	1993	DBLP BibTeX RDF
53	Andrew P. Black, Theo D'Hondt, Doug Kimelman, Martin C. Rinard, David M. Ungar (eds.)	Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability, RACES@SPLASH 2012, Tucson, Arizona, USA, October 21, 2012.	RACES@SPLASH	2012	DBLP DOI BibTeX RDF
53	Max OrHai, Andrew P. Black	Approximate parallel sorting on a spatial computer.	RACES@SPLASH	2012	DBLP DOI BibTeX RDF
53	Philip W. Howard, Jonathan Walpole	A case for relativistic programming.	RACES@SPLASH	2012	DBLP DOI BibTeX RDF
53	Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard	Dancing with uncertainty.	RACES@SPLASH	2012	DBLP DOI BibTeX RDF
53	David M. Ungar, Doug Kimelman, Sam S. Adams, Mark N. Wegman	Does better throughput require worse latency?	RACES@SPLASH	2012	DBLP DOI BibTeX RDF
53	Harold W. Cain, Mikko H. Lipasti	Edge chasing delayed consistency: pushing the limits of weak memory models.	RACES@SPLASH	2012	DBLP DOI BibTeX RDF
53	Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer	How FIFO is your concurrent FIFO queue?	RACES@SPLASH	2012	DBLP DOI BibTeX RDF
53	Lakshminarayanan Renganarayana, Vijayalakshmi Srinivasan, Ravi Nair, Daniel A. Prener	Programming with relaxed synchronization.	RACES@SPLASH	2012	DBLP DOI BibTeX RDF
53	Paul E. McKenney	Beyond expert-only parallel programming?	RACES@SPLASH	2012	DBLP DOI BibTeX RDF
51	Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm	Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races.	ISCA	2010	DBLP DOI BibTeX RDF	multicores, threads, data-races, memory consistency models, bug detection
51	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems.	MoDELS	2009	DBLP DOI BibTeX RDF	genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis
46	Eric Bodden, Klaus Havelund	Racer: effective race detection using aspectj.	ISSTA	2008	DBLP DOI BibTeX RDF	static analysis, aspect-oriented programming, runtime verification, race detection, semantic pointcuts
46	Keum-Sook Ha, Eun-Kyung Ryu, Kee-Young Yoo	Space-Efficient First Race Detection in Shared Memory Programs with Nested Parallelism.	PARA	2002	DBLP DOI BibTeX RDF
46	Young-Cheol Kim, Yong-Kee Jun	Restructuring Parallel Programs for On-the-Fly Race Detection.	PaCT	1999	DBLP DOI BibTeX RDF
43	Blas Cuesta, Antonio Robles, José Duato	Improving Token Coherence by Multicast Coherence Messages.	PDP	2008	DBLP DOI BibTeX RDF	Token Cohence, protocol races, multicast, Cache coherence, SMP
43	Dan Grossman	Type-safe multithreading in cyclone.	TLDI	2003	DBLP DOI BibTeX RDF	types, data races, cyclone
43	Menahem Lowy, Neal Butler, Rosanne Tinkler	Low power VLSI sequential circuit architecture using critical race control.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	critical races, low-power VLSI circuits, asynchronous circuits
43	Dejan Perkovic, Peter J. Keleher	A Protocol-Centric Approach to on-the-Fly Race Detection.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	shared memory, DSM, Data races, on-the-fly
42	Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler	RaceTM: detecting data races using transactional memory.	SPAA	2008	DBLP DOI BibTeX RDF	transactional memory, data race detection
42	Mingdong Feng, Charles E. Leiserson	Efficient Detection of Determinacy Races in Cilk Programs.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
42	David K. Probst, Hon Fung Li	Verifying Timed Behavior Automata with Input/Output Critical Races.	CAV	1993	DBLP DOI BibTeX RDF
39	David F. Bacon, Robert E. Strom, Ashis Tarafdar	Guava: a dialect of Java without data races.	OOPSLA	2000	DBLP DOI BibTeX RDF	thread safety, Java, Java, concurrency, monitors, multiprocessors, programming languages, data races
38	Julian Togelius, Simon M. Lucas	Arms Races and Car Races.	PPSN	2006	DBLP DOI BibTeX RDF
35	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
35	Jacob Burnim, Koushik Sen	Asserting and checking determinism for multithreaded programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	parallel programs, determinism, assertions
35	JaeWoong Chung, Michael Dalton, Hari Kannan, Christos Kozyrakis	Thread-safe dynamic binary translation using transactional memory.	HPCA	2008	DBLP DOI BibTeX RDF
35	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
35	Hans-Juergen Boehm, Sarita V. Adve	Foundations of the C++ concurrency memory model.	PLDI	2008	DBLP DOI BibTeX RDF	trylock, c++, memory model, data race, sequential consistency, memory consistency
35	Zdenek Letko, Tomás Vojnar, Bohuslav Krena	AtomRace: data race and atomicity violation detector and healer.	PADTAD	2008	DBLP DOI BibTeX RDF
35	Blas Cuesta, Antonio Robles, José Duato	An Effective Starvation Avoidance Mechanism to Enhance the Token Coherence Protocol.	PDP	2007	DBLP DOI BibTeX RDF
35	Pin Zhou, Radu Teodorescu, Yuanyuan Zhou	HARD: Hardware-Assisted Lockset-based Race Detection.	HPCA	2007	DBLP DOI BibTeX RDF
35	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
35	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
35	Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte	A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.	ICFEM	2006	DBLP DOI BibTeX RDF
35	Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks	LOCKSMITH: context-sensitive correlation analysis for race detection.	PLDI	2006	DBLP DOI BibTeX RDF	locksmith, correlation, type inference, context-sensitivity, race detection, multi-threaded programming
35	Milo M. K. Martin, Mark D. Hill, David A. Wood 0001	Token Coherence: Decoupling Performance and Correctness.	ISCA	2003	DBLP DOI BibTeX RDF
35	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
32	Zachary R. Anderson, David Gay, Mayur Naik	Lightweight annotations for controlling sharing in concurrent data structures.	PLDI	2009	DBLP DOI BibTeX RDF	concurrent programming, data races, multithreaded programming
32	Christian Hammer 0001, Julian Dolby, Mandana Vaziri, Frank Tip	Dynamic detection of atomic-set-serializability violations.	ICSE	2008	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming
32	B. John Oommen, Sudip Misra, Ole-Christoffer Granmo	Routing Bandwidth-Guaranteed Paths in MPLS Traffic Engineering: A Multiple Race Track Learning Approach.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Random races, algorithms, routing, traffic engineering, MPLS
32	Klaus Havelund, Grigore Rosu	An Overview of the Runtime Verification Tool Java PathExplorer.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
32	David P. Helmbold, Charles E. McDowell, Jian-Zhong Wang	Determining Possible Event Orders by Analyzing Sequential Traces.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	sequential traces, intermittentdeadlock, inferred program, data racedetector, constraint checker, parallel program, parallel programming, synchronization, debugging, program testing, program debugging, data races, execution trace, automated tools, event orders
31	Xiang Cai, Yuwei Gui, Rob Johnson	Exploiting Unix File-System Races via Algorithmic Complexity Attacks.	SP	2009	DBLP DOI BibTeX RDF
31	Verena Heidrich-Meisner, Christian Igel	Hoeffding and Bernstein races for selecting policies in evolutionary direct policy search.	ICML	2009	DBLP DOI BibTeX RDF
31	Dan Tsafrir, Tomer Hertz, David A. Wagner 0001, Dilma Da Silva	Portably solving file races with hardness amplification.	ACM Trans. Storage	2008	DBLP DOI BibTeX RDF	TOCTTOU, time-of-check-to-time-of-use, Race conditions
31	Tsutomu Terada, Masakazu Miyamae, Yasue Kishino, Takahito Fukuda, Masahiko Tsukamoto	A wearable system for supporting pit-crew and audiences on motorbike races.	MoMM	2008	DBLP DOI BibTeX RDF	motorbike racing, wearable computing
31	Beverly A. Sanders, KyungHee Kim	Assertional reasoning about data races in relaxed memory models.	PPoPP	2008	DBLP DOI BibTeX RDF	assertions, memory model, data race, sequential consistency
31	Aoun Raza, Gunther Vogel	RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs.	Ada-Europe	2008	DBLP DOI BibTeX RDF
31	Mi-Young Park, Nguyen Cao Truong Hai, Yong-Kee Jun, Hyuk-Ro Park	Visualization of Message Races in MPI Parallel Programs.	CIT	2007	DBLP DOI BibTeX RDF
31	Debanik Roy	Development and Model-Aided Performance Measure of a Sensor-Augmented Industrial Robotic System for Handling Steel Bearing Races in an Unstructured Environment.	J. Intell. Robotic Syst.	2005	DBLP DOI BibTeX RDF	magnetic gripper, robotized handling, sensory system, bearing ring, performance, industrial robot, unstructured environment
31	Luis Mateu	A Java Dialect Free of Data Races and without Annotations.	IPDPS	2003	DBLP DOI BibTeX RDF
23	Brian Demsky, Patrick Lam 0001	Views: object-inspired concurrency control.	ICSE (1)	2010	DBLP DOI BibTeX RDF	concurrency, language design, static verification
23	Charles E. Leiserson, Tao B. Schardl	A work-efficient parallel breadth-first search algorithm (or how to cope with the nondeterminism of reducers).	SPAA	2010	DBLP DOI BibTeX RDF	hyperobjects, parallel algorithms, multithreading, graph algorithms, reducers, nondeterminism, work-stealing, breadth-first search, cilk
23	Yang Zhao, John Boyland	Assuring Lock Usage in Multithreaded Programs with Fractional Permissions.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
23	Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen	CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.	CAV	2009	DBLP DOI BibTeX RDF
23	Ganesh Gopalakrishnan, Robert M. Kirby	Practical Formal Verification of MPI and Thread Programs.	PVM/MPI	2009	DBLP DOI BibTeX RDF
23	Frédéric Dabrowski, David Pichardie	A Certified Data Race Analysis for a Java-like Language.	TPHOLs	2009	DBLP DOI BibTeX RDF
23	Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar	A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.	RV	2009	DBLP DOI BibTeX RDF
23	Ali Jannesari, Kaibin Bao, Victor Pankratius, Walter F. Tichy	Helgrind+: An efficient dynamic race detector.	IPDPS	2009	DBLP DOI BibTeX RDF
23	Gautam Altekar, Ion Stoica	ODR: output-deterministic replay for multicore debugging.	SOSP	2009	DBLP DOI BibTeX RDF	debugging, multicore, inference, deterministic replay
23	Baolin Shao, Nalini Vasudevan, Stephen A. Edwards	Compositional deadlock detection for rendezvous communication.	EMSOFT	2009	DBLP DOI BibTeX RDF	SHIM, concurrency, static analysis, deadlock, divide-and-conquer
23	Nalini Vasudevan, Stephen A. Edwards	Static Deadlock Detection for the SHIM Concurrent Language.	MEMOCODE	2008	DBLP DOI BibTeX RDF