Results
Found 200 publication records. Showing 200 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
122 | Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder |
Automatically classifying benign and harmful data racesallusing replay analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 22-31, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
benign data races, concurrency Bbugs, replay |
103 | Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati |
A type system for preventing data races and deadlocks in the java virtual machine language: 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California, USA, June 13-15, 2007, pp. 10, 2007, ACM, 978-1-59593-632-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
SafeJava, deadlocks, data races, ownership types |
103 | Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley |
PACER: proportional detection of data races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 255-268, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
concurrency, sampling, data races, bugs |
93 | Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard |
Ownership types for safe programming: preventing data races and deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002., pp. 211-230, 2002, ACM, 1-58113-471-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
deadlocks, encapsulation, data races, ownership types |
82 | Chen Tian 0002, Vijay Nagarajan, Rajiv Gupta 0001, Sriraman Tallam |
Dynamic recognition of synchronization operations for improved data race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 143-154, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
synchronization and infeasible races, data races, record and replay |
81 | Young-Joo Kim, Mi-Young Park, So-Hee Park, Yong-Kee Jun |
A Practical Tool for Detecting Races in OpenMP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings, pp. 321-330, 2005, Springer, 3-540-28126-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
71 | Koushik Sen |
Race directed random testing of concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 11-21, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
concurrency, dynamic analysis, random testing, race detection |
71 | Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller |
Optimized run-time race detection and atomicity checking using partial discovered types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 233-242, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
performance, type system, atomicity, data races |
68 | Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller |
Automated type-based analysis of data races and atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA, pp. 83-94, 2005, ACM, 1-59593-080-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
type system, type inference, atomicity, data races |
67 | Young-Joo Kim, Jae-Seon Lim, Yong-Kee Jun |
Scalable Thread Visualization for Debugging Data Races in OpenMP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings, pp. 310-321, 2007, Springer, 978-3-540-72359-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
OpenMP programs, data race debugging, scalable thread visualization, three-dimensional visualization |
61 | Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy |
LiteRace: effective sampling for lightweight data-race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 134-143, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dynamic data race detection, sampling, concurrency bugs |
60 | Mandana Vaziri, Frank Tip, Julian Dolby |
Associating synchronization constraints with data in an object-oriented language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 334-345, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
programming model, serializability, data races, concurrent object-oriented programming |
60 | Abdullah Muzahid, Darío Suárez Gracia, Shanxiang Qi, Josep Torrellas |
SigRace: signature-based data race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 36th International Symposium on Computer Architecture (ISCA 2009), June 20-24, 2009, Austin, TX, USA, pp. 337-348, 2009, ACM, 978-1-60558-526-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SigRace, concurrency defect, signature, timestamp, data race, happened-before |
60 | Paul Sack, Brian E. Bliss, Zhiqiang Ma, Paul Petersen, Josep Torrellas |
Accurate and efficient filtering for the Intel thread checker race detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASID ![In: Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, ASID 2006, San Jose, California, USA, October 21, 2006, pp. 34-41, 2006, ACM, 1-59593-576-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
data-race detection |
59 | Eli Pozniansky, Assaf Schuster |
Efficient on-the-fly data race detection in multihreaded C++ programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2003, June 11-13, 2003, San Diego, CA, USA, pp. 179-190, 2003, ACM, 1-58113-588-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
concurrency, synchronization, multithreading, instrumentation, data race |
59 | Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte |
A programming model for concurrent object-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(1), pp. 1:1-1:48, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
verification condition generation, Aliasing, data races, ownership, modular reasoning, local reasoning |
57 | Federico Balaguer, Thuc S. M. Ho, Ralph E. Johnson |
Detecting Data Races on Framework-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 1, pp. 113-120, 2006, IEEE Computer Society, 0-7695-2655-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Michiel Ronsse, Jonas Maebe, Koenraad De Bosschere |
Detecting Data Races in Sequential Programs with DIOTA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings, pp. 82-89, 2004, Springer, 3-540-22924-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga |
DRACULA: Detector of Data Races in Signals Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 17-24, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
56 | Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm |
Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 37th International Symposium on Computer Architecture (ISCA 2010), June 19-23, 2010, Saint-Malo, France, pp. 210-221, 2010, ACM, 978-1-4503-0053-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
multicores, threads, data-races, memory consistency models, bug detection |
56 | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 47-61, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis |
56 | Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar |
Healing data races on-the-fly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007, pp. 54-64, 2007, ACM, 978-1-59593-748-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
testing, concurrency, self-healing |
48 | Dan Grossman |
Type-safe multithreading in cyclone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003, pp. 13-25, 2003, ACM, 1-58113-649-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
types, data races, cyclone |
48 | Dejan Perkovic, Peter J. Keleher |
A Protocol-Centric Approach to on-the-Fly Race Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(10), pp. 1058-1072, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
shared memory, DSM, Data races, on-the-fly |
47 | Keum-Sook Ha, Eun-Kyung Ryu, Kee-Young Yoo |
Space-Efficient First Race Detection in Shared Memory Programs with Nested Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing Advanced Scientific Computing, 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002, Proceedings, pp. 253-263, 2002, Springer, 3-540-43786-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Eric Bodden, Klaus Havelund |
Racer: effective race detection using aspectj. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 155-166, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
static analysis, aspect-oriented programming, runtime verification, race detection, semantic pointcuts |
45 | Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler |
RaceTM: detecting data races using transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Munich, Germany, June 14-16, 2008, pp. 104-106, 2008, ACM, 978-1-59593-973-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
transactional memory, data race detection |
44 | David F. Bacon, Robert E. Strom, Ashis Tarafdar |
Guava: a dialect of Java without data races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 2000, Minneapolis, Minnesota, USA, October 15-19, 2000., pp. 382-400, 2000, ACM, 1-58113-200-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
thread safety, Java, Java, concurrency, monitors, multiprocessors, programming languages, data races |
38 | Bin Lei, Linzhang Wang, Xuandong Li |
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 200-209, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
race condition, UML activity diagram |
38 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
Goldilocks: a race and transaction-aware java runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 245-255, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java runtime, software transactions, runtime monitoring, data-race detection |
37 | Zachary R. Anderson, David Gay, Mayur Naik |
Lightweight annotations for controlling sharing in concurrent data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 98-109, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
concurrent programming, data races, multithreaded programming |
36 | Zdenek Letko, Tomás Vojnar, Bohuslav Krena |
AtomRace: data race and atomicity violation detector and healer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008, pp. 7, 2008, ACM, 978-1-60558-052-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Hans-Juergen Boehm, Sarita V. Adve |
Foundations of the C++ concurrency memory model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 68-78, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
trylock, c++, memory model, data race, sequential consistency, memory consistency |
36 | Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte |
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 420-439, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks |
LOCKSMITH: context-sensitive correlation analysis for race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 320-331, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
locksmith, correlation, type inference, context-sensitivity, race detection, multi-threaded programming |
36 | Christian Hammer 0001, Julian Dolby, Mandana Vaziri, Frank Tip |
Dynamic detection of atomic-set-serializability violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 231-240, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming |
36 | Klaus Havelund, Grigore Rosu |
An Overview of the Runtime Verification Tool Java PathExplorer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 24(2), pp. 189-215, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude |
36 | David P. Helmbold, Charles E. McDowell, Jian-Zhong Wang |
Determining Possible Event Orders by Analyzing Sequential Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(7), pp. 827-840, 1993. The full citation details ...](Pics/full.jpeg) |
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 |
36 | Adrian Nistor, Darko Marinov, Josep Torrellas |
Light64: lightweight hardware support for data race detection during systematic testing of parallel programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), December 12-16, 2009, New York, New York, USA, pp. 541-552, 2009, ACM, 978-1-60558-798-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
execution history hash, data race, systematic testing |
36 | Pin Zhou, Radu Teodorescu, Yuanyuan Zhou |
HARD: Hardware-Assisted Lockset-based Race Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 13st International Conference on High-Performance Computer Architecture (HPCA-13 2007), 10-14 February 2007, Phoenix, Arizona, USA, pp. 121-132, 2007, IEEE Computer Society, 1-4244-0804-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
RELAY: static race detection on millions of lines of code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 205-214, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
static analysis, race detection |
35 | Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Benjamin G. Zorn, Rahul Nagpal, Karthik Pattabiraman |
Detecting and tolerating asymmetric races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009, pp. 173-184, 2009, ACM, 978-1-60558-397-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
race detection and toleration, dynamic instrumentation, runtime support |
33 | Luis Mateu |
A Java Dialect Free of Data Races and without Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 52, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Beverly A. Sanders, KyungHee Kim |
Assertional reasoning about data races in relaxed memory models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008, pp. 267-268, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
assertions, memory model, data race, sequential consistency |
33 | Aoun Raza, Gunther Vogel |
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, pp. 226-239, 2008, Springer, 978-3-540-68621-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA, pp. 277-278, 2008, IEEE Computer Society, 978-0-7695-3405-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Frédéric Dabrowski, David Pichardie |
A Certified Data Race Analysis for a Java-like Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, pp. 212-227, 2009, Springer, 978-3-642-03358-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Nalini Vasudevan, Stephen A. Edwards |
Static Deadlock Detection for the SHIM Concurrent Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA, pp. 49-58, 2008, IEEE Computer Society, 978-1-4244-2417-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Sriraman Tallam, Chen Tian 0002, Rajiv Gupta 0001 |
Dynamic slicing of multithreaded programs for race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28 - October 4, 2008, Beijing, China, pp. 97-106, 2008, IEEE Computer Society, 978-1-4244-2613-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Yuan Yu, Tom Rodeheffer, Wei Chen |
RaceTrack: efficient detection of data race conditions via adaptive tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005, Brighton, UK, October 23-26, 2005, pp. 221-234, 2005, ACM, 1-59593-079-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
virtual machine instrumentation, race detection |
24 | Brian Demsky, Patrick Lam 0001 |
Views: object-inspired concurrency control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 395-404, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
concurrency, language design, static verification |
24 | Yang Zhao, John Boyland |
Assuring Lock Usage in Multithreaded Programs with Fractional Permissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Cost, Australia, pp. 277-286, 2009, IEEE Computer Society, 978-0-7695-3599-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen |
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 675-681, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers, pp. 101-114, 2009, Springer, 978-3-642-04693-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Gautam Altekar, Ion Stoica |
ODR: output-deterministic replay for multicore debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009, pp. 193-206, 2009, ACM, 978-1-60558-752-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
debugging, multicore, inference, deterministic replay |
24 | Baolin Shao, Nalini Vasudevan, Stephen A. Edwards |
Compositional deadlock detection for rendezvous communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 59-66, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SHIM, concurrency, static analysis, deadlock, divide-and-conquer |
24 | Tobias Hilbrich, Matthias S. Müller, Bettina Krammer |
Detection of Violations to the MPI Standard in Hybrid OpenMP/MPI Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOMP ![In: OpenMP in a New Era of Parallelism, 4th International Workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008, Proceedings, pp. 26-35, 2008, Springer, 978-3-540-79560-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Utpal Banerjee, Brian Bliss, Zhiqiang Ma, Paul Petersen |
A theory of data race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July 17, 2006, pp. 69-78, 2006, ACM, 1-59593-414-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
access conflict, synchronization, dependence, thread, data race, vector clock, happens-before |
24 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Race checking by context inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004, pp. 1-13, 2004, ACM, 1-58113-807-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
software model checking, race conditions |
24 | Anton Beranek |
Data Race Detection Based on Replay for Parallel Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: Parallel Processing: CONPAR 92 - VAPP V, Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992, Proceedings, pp. 109-114, 1992, Springer, 3-540-55895-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Ali Jannesari, Kaibin Bao, Victor Pankratius, Walter F. Tichy |
Helgrind+: An efficient dynamic race detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-13, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu |
Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 1498-1503, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Eli Poznianski, Assaf Schuster |
Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 287, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Robert O'Callahan, Jong-Deok Choi |
Hybrid dynamic data race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2003, June 11-13, 2003, San Diego, CA, USA, pp. 167-178, 2003, ACM, 1-58113-588-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dynamic race detection, lockset hybrid, Java, happens-before |
23 | Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy |
DRFX: a simple and efficient memory model for concurrent programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 351-362, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
memory model exception, soft fences, memory models, data races, sequential consistency |
23 | Jeffrey S. Foster, Michael W. Hicks, William W. Pugh |
Improving software quality with static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007, pp. 83-84, 2007, ACM, 978-1-59593-595-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
FFIs, Java, software quality, C, modularity, network protocols, data races, bugs, bug patterns |
23 | Arndt Mühlenfeld, Franz Wotawa |
Fault detection in multi-threaded c++ server applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2007, San Jose, California, USA, March 14-17, 2007, pp. 142-143, 2007, ACM, 978-1-59593-602-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
static-dynamic co-analysis, parallel programs, synchronization, object-oriented programming, debugging, data races, race conditions, multi-threaded programming |
23 | Piotr Nienaltowski |
Efficient data race and deadlock prevention in concurrent object-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 56-57, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
SCOOP model, object-oriented concurrency, deadlocks, data races, ownership types, Eiffel |
23 | David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler |
The nesC language: A holistic approach to networked embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 1-11, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
first-order, concurrency, components, C, programming languages, modules, TinyOS, data races, nesC |
23 | Madalene Spezialetti, Rajiv Gupta 0001 |
Loop Monotonic Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(6), pp. 497-505, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Access anomalies (data races), run-time dependence checking, static analysis, array bound checking, induction variables |
22 | Manuel F. Dolz, David del Rio Astorga, Javier Fernández 0001, Massimo Torquati, José Daniel García, Félix García Carballeira, Marco Danelutto |
Enabling semantics to improve detection of data races and misuses of lock-free data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 29(15), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Baris Kasikci, Cristian Zamfir, George Candea |
Data races vs. data race bugs: telling the difference with portend. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2012, London, UK, March 3-7, 2012, pp. 185-198, 2012, ACM, 978-1-4503-0759-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Zheng Shi, Umang Mathur 0001, Andreas Pavlogiannis |
Optimistic Prediction of Synchronization-Reversal Data Races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.05642, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Sanchuan Chen, Zhiqiang Lin, Yinqian Zhang |
Controlled Data Races in Enclaves: Attacks and Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 4069-4086, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana |
Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023, pp. 2086-2103, 2023, IEEE, 978-1-6654-9336-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Joachim Jenke, Kaloyan Ignatov, Simon Schwitanski |
Adding Microbenchmarks with SIMD Data Races to DataRaceBench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC Workshops ![In: Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023, Denver, CO, USA, November 12-17, 2023, pp. 228-229, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Jia-Ju Bai, Qiu-Liang Chen, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu 0001 |
Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 48(12), pp. 5120-5135, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Dennis Liew, Tiago Cogumbreiro, Julien Lange |
Provable GPU Data-Races in Static Race Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES@ETAPS ![In: Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2022, Munich, Germany, 3rd April 2022., pp. 36-45, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Milind Chabbi, Murali Krishna Ramanathan |
A Study of Real-World Data Races in Golang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.00764, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Lechen Yu, Feiyang Jin, Joachim Protze, Vivek Sarkar |
Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022, pp. 54-62, 2022, IEEE, 978-1-6654-6335-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Milind Chabbi, Murali Krishna Ramanathan |
A study of real-world data races in Golang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022, pp. 474-489, 2022, ACM, 978-1-4503-9265-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Klaus |
Efficiency Improvements in the Quality Assurance Process for Data Races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
21 | Bradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, Jeff Huang 0001 |
OpenRace: An Open Source Framework for Statically Detecting Data Races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correctness@SC ![In: 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021, pp. 25-32, 2021, IEEE, 978-1-6654-2061-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Wenwen Wang 0001, Pei-Hung Lin |
Does it matter?: OMPSanitizer: an impact analyzer of reported data races in OpenMP programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: ICS '21: 2021 International Conference on Supercomputing, Virtual Event, USA, June 14-17, 2021., pp. 40-51, 2021, ACM, 978-1-4503-8335-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Yaying Shi, Anjia Wang, Yonghong Yan 0001, Chunhua Liao |
RDS: a cloud-based metaservice for detecting data races in parallel programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UCC ![In: UCC '21: 2021 IEEE/ACM 14th International Conference on Utility and Cloud Computing, Leicester, United Kingdom, December 6 - 9, 2021, pp. 18:1-18:10, 2021, ACM, 978-1-4503-8564-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Misun Yu, Yu-Seung Ma, Doo-Hwan Bae |
Correction to: Efficient noise injection for exposing hidden data races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 76(4), pp. 3155, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Misun Yu, Yu-Seung Ma, Doo-Hwan Bae |
Efficient noise injection for exposing hidden data races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 76(1), pp. 292-323, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Tuba Yavuz |
Verifying Absence of Hardware-Software Data Races using Counting Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Rathish Das, Shih-Yu Tsai, Sharmila Duppala, Jayson Lynch, Esther M. Arkin, Rezaul Chowdhury, Joseph S. B. Mitchell, Steven Skiena |
Data Races and the Discrete Resource-time Tradeoff Problem with Resource Reuse over Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.09283, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Qiu-Liang Chen, Jia-Ju Bai, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu 0001 |
Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2019, Hangzhou, China, February 24-27, 2019, pp. 366-376, 2019, IEEE, 978-1-7281-0591-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Nikita Chopra, Rekha R. Pai, Deepak D'Souza |
Data Races and Static Analysis for Interrupt-Driven Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 697-723, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Marc Hartung, Florian Schintke, Thorsten Schütt |
Pinpoint Data Races via Testing and Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019, pp. 386-393, 2019, IEEE, 978-1-7281-5138-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Rathish Das, Shih-Yu Tsai, Sharmila Duppala, Jayson Lynch, Esther M. Arkin, Rezaul Chowdhury, Joseph S. B. Mitchell, Steven Skiena |
Data Races and the Discrete Resource-time Tradeoff Problem with Resource Reuse over Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: The 31st ACM on Symposium on Parallelism in Algorithms and Architectures, SPAA 2019, Phoenix, AZ, USA, June 22-24, 2019., pp. 359-368, 2019, ACM, 978-1-4503-6184-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Ignacio Laguna, Gregory L. Lee, Dong H. Ahn |
SWORD: A Bounded Memory-Overhead Detector of OpenMP Data Races in Production Runs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 2018 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2018, Vancouver, BC, Canada, May 21-25, 2018, pp. 845-854, 2018, IEEE Computer Society, 978-1-5386-4368-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy |
Bounding data races in space and time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018, pp. 242-255, 2018, ACM, 978-1-4503-5698-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Guoxing Chen, Wenhao Wang 0001, Tianyu Chen, Sanchuan Chen, Yinqian Zhang, XiaoFeng Wang 0001, Ten-Hwang Lai, Dongdai Lin |
Racing in Hyperspace: Closing Hyper-Threading Side Channels on SGX with Contrived Data Races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy ![In: 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA, pp. 178-194, 2018, IEEE Computer Society, 978-1-5386-4353-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Jian Gao 0008, Xin Yang, Yu Jiang 0001, Han Liu 0010, Weiliang Ying, Xian Zhang |
Jbench: a dataset of data races for concurrency testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 15th International Conference on Mining Software Repositories, MSR 2018, Gothenburg, Sweden, May 28-29, 2018, pp. 6-9, 2018, ACM, 978-1-4503-5716-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Yunyun Jiang, Yi Yang 0033, Tian Xiao, Tianwei Sheng, Wenguang Chen |
DRDDR: a lightweight method to detect data races in Linux kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 72(4), pp. 1645-1659, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Guy Martin Tchamgoue, Kyong Hoon Kim, Yong-Kee Jun |
EventHealer: Bypassing data races in event-driven programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 118, pp. 208-220, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | S. Tucker Taft, Florian Schanda, Yannick Moy |
High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 238-239, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 200 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |