Search results for "data races"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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
3	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
3	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
3	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
3	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
2	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
2	Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga	DRACULA: Detector of Data Races in Signals Handlers.	APSEC	2008	DBLP DOI BibTeX RDF
2	Aoun Raza, Gunther Vogel	RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs.	Ada-Europe	2008	DBLP DOI BibTeX RDF
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	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
2	Christian Hammer, 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
2	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
2	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
2	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
2	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
2	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
2	Federico Balaguer, Thuc S. M. Ho, Ralph E. Johnson	Detecting Data Races on Framework-Based Applications.	COMPSAC	2006	DBLP DOI BibTeX RDF
2	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
2	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
2	Michiel Ronsse, Jonas Maebe, Koenraad De Bosschere	Detecting Data Races in Sequential Programs with DIOTA.	Euro-Par	2004	DBLP DOI BibTeX RDF
2	Klaus Havelund, Grigore Rosu	An Overview of the Runtime Verification Tool Java PathExplorer.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
2	Luis Mateu	A Java Dialect Free of Data Races and without Annotations.	IPDPS	2003	DBLP DOI BibTeX RDF
2	Dan Grossman	Type-safe multithreading in cyclone.	TLDI	2003	DBLP DOI BibTeX RDF	types, data races, cyclone
2	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
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	David P. Helmbold, Charles E. McDowell, Jian-Zhong Wang	Determining Possible Event Orders by Analyzing Sequential Traces.	IEEE Trans. Parallel Distrib. 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
1	Baris Kasikci, Cristian Zamfir, George Candea	Data races vs. data race bugs: telling the difference with portend.	ASPLOS	2012	DBLP DOI BibTeX RDF
1	Shanxiang Qi, Norimasa Otsuki, Lois Orosa Nogueira, Abdullah Muzahid, Josep Torrellas	Pacman: Tolerating asymmetric data races with unintrusive hardware.	HPCA	2012	DBLP DOI BibTeX RDF
1	Xinwei Xie, Jingling Xue	Acculock: Accurate and efficient detection of data races.	CGO	2011	DBLP DOI BibTeX RDF
1	Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn, Satish Narayanasamy	Detecting and surviving data races using complementary schedules.	SOSP	2011	DBLP DOI BibTeX RDF
1	Byoung-Kwi Lee, Mun-Hye Kang, Kyoung Choon Park, Jin Seob Yi, Sang Woo Yang, Yong-Kee Jun	Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers.	FGIT-ASEA/DRBC/EL	2011	DBLP DOI BibTeX RDF
1	Mai Zheng, Vignesh T. Ravi, Feng Qin, Gagan Agrawal	GRace: a low-overhead mechanism for detecting data races in GPU programs.	PPOPP	2011	DBLP DOI BibTeX RDF
1	Sarita V. Adve	Data races are evil with no exceptions: technical perspective.	Commun. ACM	2010	DBLP DOI BibTeX RDF
1	Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy	DRFX: a simple and efficient memory model for concurrent programming languages.	PLDI	2010	DBLP DOI BibTeX RDF	memory model exception, soft fences, memory models, data races, sequential consistency
1	Dongyoon Lee, Benjamin Wester, Kaushik Veeraraghavan, Satish Narayanasamy, Peter M. Chen, Jason Flinn	Respec: efficient online multiprocessor replayvia speculation and external determinism.	ASPLOS	2010	DBLP DOI BibTeX RDF	external determinism, speculative execution, replay
1	Brian Demsky, Patrick Lam	Views: object-inspired concurrency control.	ICSE	2010	DBLP DOI BibTeX RDF	concurrency, language design, static verification
1	Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan	Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.	ICSE	2010	DBLP DOI BibTeX RDF	software testing, dynamic analysis, atomicity, serializability
1	Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan	Analyzing concurrency bugs using dual slicing.	ISSTA	2010	DBLP DOI BibTeX RDF	dual slicing, concurrency bugs, execution indexing
1	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
1	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
1	Jie Yu, Satish Narayanasamy	A case for an interleaving constrained shared-memory multi-processor.	ISCA	2009	DBLP DOI BibTeX RDF	parallel programming, multiprocessors, software reliability, concurrency bugs
1	Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond	Synchronous objects with scheduling policies: introducing safe shared memory in lustre.	LCTES	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, type systems, synchronous languages, block-diagrams
1	Brandon Lucia, Luis Ceze	Finding concurrency bugs with context-aware communication graphs.	MICRO	2009	DBLP DOI BibTeX RDF
1	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
1	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
1	Sarita V. Adve	Memory models: a case for rethinking parallel languages and hardware.	PODC	2009	DBLP DOI BibTeX RDF	safe programming, memory models, multicore architecture, memory consistency models
1	Tom Ridge	Verifying distributed systems: the operational approach.	POPL	2009	DBLP DOI BibTeX RDF	ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning
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	Nalini Vasudevan, Stephen A. Edwards	Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore.	SAC	2009	DBLP DOI BibTeX RDF	SHIM, parallelism, compiler, concurrency, cell processor
1	Gautam Altekar, Ion Stoica	ODR: output-deterministic replay for multicore debugging.	SOSP	2009	DBLP DOI BibTeX RDF	debugging, multicore, inference, deterministic replay
1	Sarita V. Adve	Memory models: a case for rethinking parallel languages and hardware.	SPAA	2009	DBLP DOI BibTeX RDF	safe programming, memory models, multicore architecture, memory consistency models
1	Yang Zhao, John Boyland	Assuring Lock Usage in Multithreaded Programs with Fractional Permissions.	Australian Software Engineering Conference	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	Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen	CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.	CAV	2009	DBLP DOI BibTeX RDF
1	Vendula Hrubá, Bohuslav Krena, Tomás Vojnar	Self-healing Assurance Based on Bounded Model Checking.	EUROCAST	2009	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino, Peter Müller, Jan Smans	Verification of Concurrent Programs with Chalice.	FOSAD	2009	DBLP DOI BibTeX RDF
1	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
1	Frédéric Dabrowski, David Pichardie	A Certified Data Race Analysis for a Java-like Language.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Aarti Gupta	Model Checking Concurrent Programs.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri	Finding Concurrency-Related Bugs Using Random Isolation.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Long Li, Yu Zhang, Yiyun Chen, Yong Li	Certifying Concurrent Programs Using Transactional Memory.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	concurrent program safety, program verification, transactional memory, proof-carrying code
1	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
1	Zdenek Letko, Tomás Vojnar, Bohuslav Krena	AtomRace: data race and atomicity violation detector and healer.	PADTAD	2008	DBLP DOI BibTeX RDF
1	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
1	Koushik Sen	Race directed random testing of concurrent programs.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, random testing, race detection
1	Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu	Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads.	DATE	2008	DBLP DOI BibTeX RDF
1	Sriraman Tallam, Chen Tian, Rajiv Gupta	Dynamic slicing of multithreaded programs for race detection.	ICSM	2008	DBLP DOI BibTeX RDF
1	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
1	Nalini Vasudevan, Satnam Singh, Stephen A. Edwards	A deterministic multi-way rendezvous library for haskell.	IPDPS	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	Nalini Vasudevan, Stephen A. Edwards	Static Deadlock Detection for the SHIM Concurrent Language.	MEMOCODE	2008	DBLP DOI BibTeX RDF
1	Christian Haack, Clément Hurlin	Separation Logic Contracts for a Java-Like Language with Fork/Join.	AMAST	2008	DBLP DOI BibTeX RDF
1	Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt	On Mechanisms for Deadlock Avoidance in SIP Servlet Containers.	IPTComm	2008	DBLP DOI BibTeX RDF	converged container, synchronization contract, Concurrency, negotiation, SIP, servlet, deadlock prevention
1	Tobias Hilbrich, Matthias S. Müller, Bettina Krammer	Detection of Violations to the MPI Standard in Hybrid OpenMP/MPI Applications.	IWOMP	2008	DBLP DOI BibTeX RDF
1	Malay K. Ganai, Aarti Gupta	Efficient Modeling of Concurrent Systems in BMC.	SPIN	2008	DBLP DOI BibTeX RDF
1	Jeffrey S. Foster, Michael W. Hicks, William Pugh	Improving software quality with static analysis.	PASTE	2007	DBLP DOI BibTeX RDF	FFIs, Java, software quality, C, modularity, network protocols, data races, bugs, bug patterns
1	Arndt Mühlenfeld, Franz Wotawa	Fault detection in multi-threaded c++ server applications.	PPOPP	2007	DBLP DOI BibTeX RDF	static-dynamic co-analysis, parallel programs, synchronization, object-oriented programming, debugging, data races, race conditions, multi-threaded programming
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	Hans-Juergen Boehm	Reordering constraints for pthread-style locks.	PPOPP	2007	DBLP DOI BibTeX RDF	memory barriers, memory fences, optimization, threads, locks, data race, pthreads, code reordering
1	Qi Gao, Feng Qin, Dhabaleswar K. Panda	DMTracker: finding bugs in large-scale parallel programs by detecting anomaly in data movements.	SC	2007	DBLP DOI BibTeX RDF	parallel programs, anomaly detection, data movements, bug detection
1	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
1	Nicholas Nethercote, Julian Seward	How to shadow every byte of memory used by a program.	VEE	2007	DBLP DOI BibTeX RDF	dynamic binary analysis, dynamic binary instrumentation, memcheck, shadow memory, valgrind
1	Zhiyi Huang, Wenguang Chen	Revisit of View-Oriented Parallel Programming.	CCGRID	2007	DBLP DOI BibTeX RDF
1	Pin Zhou, Radu Teodorescu, Yuanyuan Zhou	HARD: Hardware-Assisted Lockset-based Race Detection.	HPCA	2007	DBLP DOI BibTeX RDF
1	Suresh Jagannathan	Weaving Atomicity Through Dynamic Dependence Tracking.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta	Fast and Accurate Static Data-Race Detection for Concurrent Programs.	CAV	2007	DBLP DOI BibTeX RDF
1	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.	SPIN	2007	DBLP DOI BibTeX RDF
1	David Aspinall, Jaroslav Sevcík	Formalising Java's Data Race Free Guarantee.	TPHOLs	2007	DBLP DOI BibTeX RDF
1	Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou	AVIO: detecting atomicity violations via access interleaving invariants.	ASPLOS	2006	DBLP DOI BibTeX RDF	concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation
1	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
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	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
1	Kaloian Manassiev, Madalin Mihailescu, Cristiana Amza	Exploiting distributed version concurrency in a transactional memory cluster.	PPOPP	2006	DBLP DOI BibTeX RDF	in-memory, scalability, concurrency control, transactions, replicated databases
1	Sumant Kowshik, Grigore Rosu, Lui Sha	Static Analysis to Enforce Safe Value Flow in Embedded Control Systems.	DSN	2006	DBLP DOI BibTeX RDF
1	Chaiyasit Manovit, Sudheendra Hangal	Completely verifying memory consistency of test program executions.	HPCA	2006	DBLP DOI BibTeX RDF
1	Liqiang Wang, Scott D. Stoller	Runtime Analysis of Atomicity for Multithreaded Programs.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Java, Concurrent programming, atomicity, data race, testing and debugging
1	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets.	FATES/RV	2006	DBLP DOI BibTeX RDF
1	Gérard Boudol	Shared-Variable Concurrency: A Proposal.	FSTTCS	2006	DBLP DOI BibTeX RDF
1	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