Search results for "race detection"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	Vineet Kahlon, Nishant Sinha, 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
3	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
3	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
3	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
3	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
3	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
3	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
2	Young-Joo Kim, Sejun Song, Yong-Kee Jun	ADAT: An Adaptable Dynamic Analysis Tool for Race Detection in OpenMP Programs.	ISPA	2011	DBLP DOI BibTeX RDF	Intel Thread Checker, Adaptive Dynamic Analysis Tool, OpenMP, Race Detection
2	Eric Bodden, Klaus Havelund	Aspect-Oriented Race Detection in Java.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF	static analysis, aspect-oriented programming, runtime verification, Race detection, semantic pointcuts
2	Danilo Ansaloni, Walter Binder, Alex Villazón, Philippe Moret	Parallel dynamic analysis on multicores with aspect-oriented programming.	AOSD	2010	DBLP DOI BibTeX RDF	parallelization, frameworks, multicores, programming models, dynamic program analysis, aspect weaving, data race detection
2	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
2	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
2	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
2	Helmut Seidl, Vesal Vojdani	Region Analysis for Race Detection.	SAS	2009	DBLP DOI BibTeX RDF
2	Charles E. Leiserson	The Cilk++ concurrency platform.	DAC	2009	DBLP DOI BibTeX RDF	dag model, hyperobject, parallel programming, parallelism, multithreading, reducer, speedup, work, race detection, span, multicore programming, Amdahl's Law
2	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
2	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
2	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
2	Koushik Sen	Race directed random testing of concurrent programs.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, random testing, race detection
2	Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis	Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming.	POPL	2008	DBLP DOI BibTeX RDF	contextual effects, version consistency, type and effect systems, dynamic software updating, computation effects, data race detection
2	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
2	Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta	Fast and Accurate Static Data-Race Detection for Concurrent Programs.	CAV	2007	DBLP DOI BibTeX RDF
2	Pin Zhou, Radu Teodorescu, Yuanyuan Zhou	HARD: Hardware-Assisted Lockset-based Race Detection.	HPCA	2007	DBLP DOI BibTeX RDF
2	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
2	Aoun Raza	A Review of Race Detection Mechanisms.	CSR	2006	DBLP DOI BibTeX RDF
2	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
2	Koushik Sen, Gul Agha	A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
2	Milos Prvulovic	CORD: cost-effective (and nearly overhead-free) order-recording and data race detection.	HPCA	2006	DBLP DOI BibTeX RDF
2	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
2	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
2	Radu Rugina, Martin C. Rinard	Symbolic bounds analysis of pointers, array indices, and accessed memory regions.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	static race detection, parallelization, Symbolic analysis
2	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
2	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
2	Mark Christiaens, Koenraad De Bosschere	Accordion Clocks: Logical Clocks for Data Race Detection.	Euro-Par	2001	DBLP DOI BibTeX RDF
2	Mark Christiaens, Koenraad De Bosschere	TRaDe: Data Race Detection for Java.	International Conference on Computational Science	2001	DBLP DOI BibTeX RDF
2	Dejan Perkovic, Peter J. Keleher	A Protocol-Centric Approach to on-the-Fly Race Detection.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	shared memory, DSM, Data races, on-the-fly
2	Cormac Flanagan, Stephen N. Freund	Type-based race detection for Java.	PLDI	2000	DBLP DOI BibTeX RDF
2	Young-Cheol Kim, Yong-Kee Jun	Restructuring Parallel Programs for On-the-Fly Race Detection.	PaCT	1999	DBLP DOI BibTeX RDF
2	Michiel Ronsse, Koenraad De Bosschere	RecPlay: A Fully Integrated Practical Record/Replay System.	ACM Trans. Comput. Syst.	1999	DBLP DOI BibTeX RDF	binary code modification, race detection, multithreaded programming
2	Koenraad De Bosschere, Michiel Ronsse	Clock Snooping and its Application in on-the-fly Data Race Detection.	ISPAN	1997	DBLP DOI BibTeX RDF
2	Christian Clémençon, Josef Fritscher, M. J. Meehan, Roland Rühl	An Implementation of Race Detection and Deterministic Replay with MPI.	Euro-Par	1995	DBLP DOI BibTeX RDF
2	Anton Beranek	Data Race Detection Based on Replay for Parallel Applications.	CONPAR	1992	DBLP DOI BibTeX RDF
1	Chi-Neng Wen, Shu-Hsuan Chou, Chien-Chih Chen, Tien-Fu Chen	NUDA: A Non-Uniform Debugging Architecture and Nonintrusive Race Detection for Many-Core Systems.	IEEE Trans. Computers	2012	DBLP DOI BibTeX RDF
1	Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan	Sound predictive race detection in polynomial time.	POPL	2012	DBLP DOI BibTeX RDF
1	Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks	LOCKSMITH: Practical static race detection for C.	ACM Trans. Program. Lang. Syst.	2011	DBLP DOI BibTeX RDF
1	Qi Guo, Yunji Chen, Tianshi Chen, Ling Li	Efficient Deterministic Replay Using Complete Race Detection	CoRR	2011	DBLP BibTeX RDF
1	Christoph von Praun	Race Detection Techniques.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1		Data Race Detection.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, Dmitriy Vyukov	Dynamic Race Detection with LLVM Compiler - Compile-Time Instrumentation for ThreadSanitizer.	RV	2011	DBLP DOI BibTeX RDF
1	Jochen Schimmel, Victor Pankratius	Exploiting Cache Traffic Monitoring for Run-Time Race Detection.	Euro-Par	2011	DBLP DOI BibTeX RDF
1	Rodrígo González-Alberquilla, Karin Strauss, Luis Ceze, Luis Piñuel	Accelerating Data Race Detection with Minimal Hardware Support.	Euro-Par	2011	DBLP DOI BibTeX RDF
1	Joseph L. Greathouse, Zhiqiang Ma, Matthew I. Frank, Ramesh Peri, Todd M. Austin	Demand-driven software race detection using hardware performance counters.	ISCA	2011	DBLP DOI BibTeX RDF
1	Chang-Seo Park, Koushik Sen, Paul Hargrove, Costin Iancu	Efficient data race detection for distributed memory parallel programs.	SC	2011	DBLP DOI BibTeX RDF
1	Ali Jannesari, Markus Westphal-Furuya, Walter F. Tichy	Dynamic Data Race Detection for Correlated Variables.	ICA3PP	2011	DBLP DOI BibTeX RDF
1	Ok-Kyoon Ha, Yong-Kee Jun	Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism.	FGIT-ASEA/DRBC/EL	2011	DBLP DOI BibTeX RDF
1	Du Li, Witawas Srisa-an, Matthew B. Dwyer	SOS: saving time in dynamic race detection with stationary analysis.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Ana Milanova, Wei Huang	Static Object Race Detection.	APLAS	2011	DBLP DOI BibTeX RDF
1	Yan Cai, W. K. Chan	LOFT: Redundant Synchronization Event Removal for Data Race Detection.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Tianwei Sheng, Neil Vachharajani, Stéphane Eranian, Robert Hundt, Wenguang Chen, Weimin Zheng	RACEZ: a lightweight and non-invasive race detection tool for production applications.	ICSE	2011	DBLP DOI BibTeX RDF
1	Ali Jannesari Ladani	Dynamic race detection in parallel programs.		2010	RDF
1	Cormac Flanagan, Stephen N. Freund	FastTrack: efficient and precise dynamic race detection.	Commun. ACM	2010	DBLP DOI BibTeX RDF
1	Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav	Efficient Data Race Detection for Async-Finish Parallelism.	RV	2010	DBLP DOI BibTeX RDF
1	John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk	Effective Data-Race Detection for the Kernel.	OSDI	2010	DBLP BibTeX RDF
1	Ali Jannesari, Walter F. Tichy	Identifying ad-hoc synchronization for enhanced race detection.	IPDPS	2010	DBLP DOI BibTeX RDF
1	Mohamed Elwakil, Zijiang Yang, Liqiang Wang, Qichang Chen	Message Race Detection for Web Services by an SMT-Based Analysis.	ATC	2010	DBLP DOI BibTeX RDF
1	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
1	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
1	Cormac Flanagan, Stephen N. Freund	FastTrack: efficient and precise dynamic race detection.	PLDI	2009	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions
1	KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders	Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking.	ASE	2009	DBLP DOI BibTeX RDF	model checking, heuristic algorithm, data race, relaxed memory model
1	Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler	Using hardware transactional memory for data race detection.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Blake Lemoine, Ashok Kumar, Kevin Suir, Dania Alvarez	Design of a Controller for a Drag Race Detection System.	CSIE	2009	DBLP DOI BibTeX RDF
1	Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen	dIP: A Non-intrusive Debugging IP for Dynamic Data Race Detection in Many-Core.	ISPAN	2009	DBLP DOI BibTeX RDF	Fault-Tolerance, debugging, Multi-core, Heterogeneous (hybrid) systems
1	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
1	Yuelu Duan, Xiaobing Feng 0002, Lei Wang 0004, Chao Zhang, Pen-Chung Yew	Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs.	CGO	2009	DBLP DOI BibTeX RDF	delay set, fence, Sequential consistency, data race detection, relaxed memory model
1	Frank Otto, Victor Pankratius, Walter F. Tichy	High-level multicore programming with XJava.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Ali Jannesari, Kaibin Bao, Victor Pankratius, Walter F. Tichy	Helgrind+: An efficient dynamic race detector.	IPDPS	2009	DBLP DOI BibTeX RDF
1	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
1	Hirotoshi Yasuoka, Tachio Terauchi	Polymorphic Fractional Capabilities.	SAS	2009	DBLP DOI BibTeX RDF
1	Arndt Mühlenfeld	Runtime data race detection in multi-threaded programs: methods and tools.		2008	RDF
1	Chen Tian, Vijay Nagarajan, Rajiv Gupta, 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
1	Sriraman Tallam, Chen Tian, Rajiv Gupta	Dynamic slicing of multithreaded programs for race detection.	ICSM	2008	DBLP DOI BibTeX RDF
1	Lily Huang, Michael R. Smith, Albert Tran, James Miller	E-RACE, A Hardware-Assisted Approach to Lockset-Based Data Race Detection for Embedded Products.	ISSRE	2008	DBLP DOI BibTeX RDF
1	Zdenek Letko, Tomás Vojnar, Bohuslav Krena	AtomRace: data race and atomicity violation detector and healer.	PADTAD	2008	DBLP DOI BibTeX RDF
1	Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal	Path projection for user-centered static analysis tools.	PASTE	2008	DBLP DOI BibTeX RDF
1	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
1	Tachio Terauchi	Checking race freedom via linear programming.	PLDI	2008	DBLP DOI BibTeX RDF	fractional capabilities, linear programming
1	Young-Joo Kim, Daeyoung Kim, 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
1	Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan	Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.	ATVA	2008	DBLP DOI BibTeX RDF
1	Eli Pozniansky, Assaf Schuster	MultiRace: efficient on-the-fly data race detection in multithreaded C++ programs.	Concurrency and Computation: Practice and Experience	2007	DBLP DOI BibTeX RDF
1	Basile Schaeli, Sebastian Gerlach, Roger D. Hersch	Decomposing Partial Order Execution Graphs to Improve Message Race Detection.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Ali Al-Shabibi, Sebastian Gerlach, Roger D. Hersch, Basile Schaeli	A debugger for flow graph based parallel applications.	PADTAD	2007	DBLP DOI BibTeX RDF	flow graph based debugging, flow graph based parallel applications, message race detection, message reordering, parallel schedules
1	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
1	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
1	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
1	Amir Kamil, Katherine A. Yelick	Hierarchical Pointer Analysis for Distributed Programs.	SAS	2007	DBLP DOI BibTeX RDF
1	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
1	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets.	FATES/RV	2006	DBLP DOI BibTeX RDF
1	Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks	Existential Label Flow Inference Via CFL Reachability.	SAS	2006	DBLP DOI BibTeX RDF
1	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