Search results for "data race"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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
3	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
3	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
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	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
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
3	Sarita V. Adve, Mark D. Hill	A Unified Formalization of Four Shared-Memory Models.	IEEE Trans. Parallel Distrib. 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
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	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
2	Frédéric Dabrowski, David Pichardie	A Certified Data Race Analysis for a Java-like Language.	TPHOLs	2009	DBLP DOI BibTeX RDF
2	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
2	Zdenek Letko, Tomás Vojnar, Bohuslav Krena	AtomRace: data race and atomicity violation detector and healer.	PADTAD	2008	DBLP DOI BibTeX RDF
2	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
2	Bin Xin, William N. Sumner, Xiangyu Zhang	Efficient program execution indexing.	PLDI	2008	DBLP DOI BibTeX RDF	execution alignment, semantic augmentation, structural indexing, data race, control dependence, execution indexing
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	David Aspinall, Jaroslav Sevcík	Formalising Java's Data Race Free Guarantee.	TPHOLs	2007	DBLP DOI BibTeX RDF
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	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
2	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
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	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
2	Eun-Kyung Ryu, Keum-Sook Ha, Kee-Young Yoo	A Practical Method for On-the-Fly Data Race Detection.	PARA	2002	DBLP BibTeX RDF
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	Siddhartha V. Tambat, Sriram Vajapeyam	Non-Strict Cache Coherence: Exploiting Data-Race Tolerance in Emerging Applications. (PDF / PS)	ICPP	2000	DBLP DOI BibTeX RDF
2	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
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	Yung-Chang Chiu, Ce-Kuen Shieh, Tzu-Chi Huang, Tyng-Yeu Liang, Kuo-Chih Chu	Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems.	Parallel Computing	2011	DBLP DOI BibTeX RDF
1		Data Race Detection.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Steffen Keul	Tuning Static Data Race Analysis for Automotive Control Software.	SCAM	2011	DBLP DOI BibTeX RDF
1	Laura Effinger-Dean, Hans-Juergen Boehm, Dhruva R. Chakrabarti, Pramod G. Joisha	Extended sequential reasoning for data-race-free programs.	MSPC	2011	DBLP DOI BibTeX RDF
1	Benjamin P. Wood, Luis Ceze, Dan Grossman	Data-race exceptions have benefits beyond the memory model.	MSPC	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	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	Jiaqi Zhang, Weiwei Xiong, Yang Liu, Soyeon Park, Yuanyuan Zhou, Zhiqiang Ma	ATDetector: improving the accuracy of a commercial data race detector by identifying address transfer.	MICRO	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	Mahmoud Said, Chao Wang, Zijiang Yang, Karem A. Sakallah	Generating Data Race Witnesses by an SMT-Based Analysis.	NASA Formal Methods	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	K. Leung, Zhiyi Huang, Qihang Huang, Paul Werstein	Data race: tame the beast.	The Journal of Supercomputing	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	Nicholas D. Matsakis, Thomas R. Gross	A time-aware type system for data-race protection and guaranteed initialization.	OOPSLA	2010	DBLP DOI BibTeX RDF
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	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	Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer	Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses.	PLDI	2010	DBLP DOI BibTeX RDF	dynamic analysis, context sensitivity, bug detection
1	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
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	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
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	K. Leung, Zhiyi Huang, Qihang Huang, Paul Werstein	Maotai 2.0: Data Race Prevention in View-Oriented Parallel Programming.	PDCAT	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	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	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	Gérard Boudol, Gustavo Petri	Relaxed memory models: an operational approach.	POPL	2009	DBLP DOI BibTeX RDF	operational semantics, memory models
1	Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave	The semantics of x86-CC multiprocessor machine code.	POPL	2009	DBLP DOI BibTeX RDF	semantics, relaxed memory models
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	Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard	Implementation and Use of Transactional Memory with Dynamic Separation.	CC	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	Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta	Semantic Reduction of Thread Interleavings in Concurrent Programs.	TACAS	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	Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer	SharC: checking data sharing strategies for multithreaded C.	PLDI	2008	DBLP DOI BibTeX RDF	data-race
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	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
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	Koushik Sen	Race directed random testing of concurrent programs.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, random testing, race detection
1	Guoping Long, Nan Yuan, Dongrui Fan	Location Consistency Model Revisited: Problem, Solution and Prospects.	PDCAT	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	Christian Haack, Marieke Huisman, Clément Hurlin	Reasoning about Java's Reentrant Locks.	APLAS	2008	DBLP DOI BibTeX RDF
1	Jan Smans, Bart Jacobs 0002, Frank Piessens	VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language.	FMOODS	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	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	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
1	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
1	Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou	MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs.	SOSP	2007	DBLP DOI BibTeX RDF	variable correlation, concurrency bug, bug detection
1	Zhiyi Huang, Wenguang Chen	Revisit of View-Oriented Parallel Programming.	CCGRID	2007	DBLP DOI BibTeX RDF
1	Li Chen, Issei Fujishiro	Optimization Strategies Using Hybrid MPI+OpenMP Parallelization for Large-Scale Data Visualization on Earth Simulator.	IWOMP	2007	DBLP DOI BibTeX RDF
1	Amir Kamil, Katherine A. Yelick	Hierarchical Pointer Analysis for Distributed Programs.	SAS	2007	DBLP DOI BibTeX RDF
1	Liqiang Wang, Scott D. Stoller	Accurate and efficient runtime detection of atomicity errors in concurrent programs.	PPOPP	2006	DBLP DOI BibTeX RDF	Java, concurrent programming, atomicity, serializability, data race
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	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
1	Jared C. Smolens, Brian T. Gold, Babak Falsafi, James C. Hoe	Reunion: Complexity-Effective Multicore Redundancy.	MICRO	2006	DBLP DOI BibTeX RDF
1	Sandeep Bhatkar, Abhishek Chaturvedi, R. Sekar	Dataflow Anomaly Detection.	IEEE Symposium on Security and Privacy	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	Hans-Juergen Boehm	Threads cannot be implemented as a library.	PLDI	2005	DBLP DOI BibTeX RDF	optimization, threads, data race, pthreads, register promotion
1	Ohad Shacham, Mooly Sagiv, Assaf Schuster	Scaling model checking of dataraces using dynamic information.	PPOPP	2005	DBLP DOI BibTeX RDF	datarace, lockset, model checking, multithreading, data race detection
1	Jeremy Manson, William Pugh, Sarita V. Adve	The Java memory model.	POPL	2005	DBLP DOI BibTeX RDF	Java, concurrency, multithreading, memory model
1	Shady Copty, Shmuel Ur	Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!.	Euro-Par	2005	DBLP DOI BibTeX RDF
1	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom	Memory-Model-Sensitive Data Race Analysis.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Piotr Nienaltowski	Efficient data race and deadlock prevention in concurrent object-oriented programs.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	SCOOP model, object-oriented concurrency, deadlocks, data races, ownership types, Eiffel
1	Cyrille Artho, Klaus Havelund, Armin Biere	Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors.	ATVA	2004	DBLP DOI BibTeX RDF
1	Michiel Ronsse, Jonas Maebe, Koenraad De Bosschere	Detecting Data Races in Sequential Programs with DIOTA.	Euro-Par	2004	DBLP DOI BibTeX RDF
1	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
1	Alvaro E. Campos, Dionel A. Suazo	Data-race and concurrent-write freedom are undecidable.	Computer Languages, Systems & Structures	2003	DBLP DOI BibTeX RDF
1	Eli Poznianski, Assaf Schuster	Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Michiel Ronsse, Bastiaan Stougie, Jonas Maebe, Frank Cornelis, Koenraad De Bosschere	An efficient data race detector backend for DIOTA.	PARCO	2003	DBLP BibTeX RDF