|
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.  |
PLDI  |
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. |
LCTES |
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. |
PLDI |
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. |
OOPSLA |
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. |
ISSTA |
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. |
PaCT |
2005 |
DBLP DOI BibTeX RDF |
|
| 71 | Koushik Sen |
Race directed random testing of concurrent programs. |
PLDI |
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. |
ASE |
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. |
PPoPP |
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. |
GPC |
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. |
PLDI |
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. |
POPL |
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. |
ISCA |
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. |
ASID |
2006 |
DBLP DOI BibTeX RDF |
data-race detection |
| 59 | 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 |
| 59 | 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 |
| 57 | Federico Balaguer, Thuc S. M. Ho, Ralph E. Johnson |
Detecting Data Races on Framework-Based Applications. |
COMPSAC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
| 57 | Michiel Ronsse, Jonas Maebe, Koenraad De Bosschere |
Detecting Data Races in Sequential Programs with DIOTA. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
| 57 | Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga |
DRACULA: Detector of Data Races in Signals Handlers. |
APSEC |
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. |
ISCA |
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. |
MoDELS |
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. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
testing, concurrency, self-healing |
| 48 | Dan Grossman |
Type-safe multithreading in cyclone. |
TLDI |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
PARA |
2002 |
DBLP DOI BibTeX RDF |
|
| 47 | 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 |
| 45 | 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 |
| 44 | David F. Bacon, Robert E. Strom, Ashis Tarafdar |
Guava: a dialect of Java without data races. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
thread safety, Java, Java, concurrency, monitors, multiprocessors, programming languages, data races |
| 38 | 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 |
| 38 | 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 |
| 37 | 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 |
| 36 | Zdenek Letko, Tomás Vojnar, Bohuslav Krena |
AtomRace: data race and atomicity violation detector and healer. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 36 | 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 |
| 36 | Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte |
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 36 | 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 |
| 36 | Christian Hammer 0001, Julian Dolby, Mandana Vaziri, Frank Tip |
Dynamic detection of atomic-set-serializability violations. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming |
| 36 | Klaus Havelund, Grigore Rosu |
An Overview of the Runtime Verification Tool Java PathExplorer. |
Formal Methods Syst. Des. |
2004 |
DBLP DOI BibTeX RDF |
Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude |
| 36 | David P. Helmbold, Charles E. McDowell, Jian-Zhong Wang |
Determining Possible Event Orders by Analyzing Sequential Traces. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
sequential traces, intermittentdeadlock, inferred program, data racedetector, constraint checker, parallel program, parallel programming, synchronization, debugging, program testing, program debugging, data races, execution trace, automated tools, event orders |
| 36 | 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 |
| 36 | Pin Zhou, Radu Teodorescu, Yuanyuan Zhou |
HARD: Hardware-Assisted Lockset-based Race Detection. |
HPCA |
2007 |
DBLP DOI BibTeX RDF |
|
| 36 | Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
RELAY: static race detection on millions of lines of code. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
static analysis, race detection |
| 35 | 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 |
| 33 | Luis Mateu |
A Java Dialect Free of Data Races and without Annotations. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
| 33 | 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 |
| 33 | Aoun Raza, Gunther Vogel |
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs. |
Ada-Europe |
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. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
| 24 | Frédéric Dabrowski, David Pichardie |
A Certified Data Race Analysis for a Java-like Language. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 24 | Nalini Vasudevan, Stephen A. Edwards |
Static Deadlock Detection for the SHIM Concurrent Language. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 24 | Sriraman Tallam, Chen Tian 0002, Rajiv Gupta 0001 |
Dynamic slicing of multithreaded programs for race detection. |
ICSM |
2008 |
DBLP DOI BibTeX RDF |
|
| 24 | 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 |
| 24 | Brian Demsky, Patrick Lam 0001 |
Views: object-inspired concurrency control. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
concurrency, language design, static verification |
| 24 | Yang Zhao, John Boyland |
Assuring Lock Usage in Multithreaded Programs with Fractional Permissions. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 24 | Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen |
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. |
CAV |
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. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 24 | Gautam Altekar, Ion Stoica |
ODR: output-deterministic replay for multicore debugging. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
debugging, multicore, inference, deterministic replay |
| 24 | 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 |
| 24 | 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 |
|
| 24 | 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 |
| 24 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Race checking by context inference. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
software model checking, race conditions |
| 24 | Anton Beranek |
Data Race Detection Based on Replay for Parallel Applications. |
CONPAR |
1992 |
DBLP DOI BibTeX RDF |
|
| 24 | Ali Jannesari, Kaibin Bao, Victor Pankratius, Walter F. Tichy |
Helgrind+: An efficient dynamic race detector. |
IPDPS |
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. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 24 | Eli Poznianski, Assaf Schuster |
Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
| 24 | 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 |
| 23 | 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 |
| 23 | Jeffrey S. Foster, Michael W. Hicks, William W. 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 |
| 23 | 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 |
| 23 | 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 |
| 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. |
PLDI |
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. |
IEEE Trans. Software Eng. |
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. |
Concurr. Comput. Pract. Exp. |
2017 |
DBLP DOI BibTeX RDF |
|
| 22 | Baris Kasikci, Cristian Zamfir, George Candea |
Data races vs. data race bugs: telling the difference with portend. |
ASPLOS |
2012 |
DBLP DOI BibTeX RDF |
|
| 21 | Zheng Shi, Umang Mathur 0001, Andreas Pavlogiannis |
Optimistic Prediction of Synchronization-Reversal Data Races. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
| 21 | Sanchuan Chen, Zhiqiang Lin, Yinqian Zhang |
Controlled Data Races in Enclaves: Attacks and Detection. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
| 21 | Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana |
Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis. |
SP |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Joachim Jenke, Kaloyan Ignatov, Simon Schwitanski |
Adding Microbenchmarks with SIMD Data Races to DataRaceBench. |
SC Workshops |
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. |
IEEE Trans. Software Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Dennis Liew, Tiago Cogumbreiro, Julien Lange |
Provable GPU Data-Races in Static Race Detection. |
PLACES@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Milind Chabbi, Murali Krishna Ramanathan |
A Study of Real-World Data Races in Golang. |
CoRR |
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. |
Correctness@SC |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Milind Chabbi, Murali Krishna Ramanathan |
A study of real-world data races in Golang. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Alexander Klaus |
Efficiency Improvements in the Quality Assurance Process for Data Races. |
|
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. |
Correctness@SC |
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. |
ICS |
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. |
UCC |
2021 |
DBLP DOI BibTeX RDF |
|
| 21 | Misun Yu, Yu-Seung Ma, Doo-Hwan Bae |
Correction to: Efficient noise injection for exposing hidden data races. |
J. Supercomput. |
2020 |
DBLP DOI BibTeX RDF |
|
| 21 | Misun Yu, Yu-Seung Ma, Doo-Hwan Bae |
Efficient noise injection for exposing hidden data races. |
J. Supercomput. |
2020 |
DBLP DOI BibTeX RDF |
|
| 21 | Tuba Yavuz |
Verifying Absence of Hardware-Software Data Races using Counting Abstraction. |
MEMOCODE |
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. |
CoRR |
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. |
SANER |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Nikita Chopra, Rekha R. Pai, Deepak D'Souza |
Data Races and Static Analysis for Interrupt-Driven Kernels. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Marc Hartung, Florian Schintke, Thorsten Schütt |
Pinpoint Data Races via Testing and Classification. |
ISSRE Workshops |
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. |
SPAA |
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. |
IPDPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 21 | Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy |
Bounding data races in space and time. |
PLDI |
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. |
IEEE Symposium on Security and Privacy |
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. |
MSR |
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. |
J. Supercomput. |
2016 |
DBLP DOI BibTeX RDF |
|
| 21 | Guy Martin Tchamgoue, Kyong Hoon Kim, Yong-Kee Jun |
EventHealer: Bypassing data races in event-driven programs. |
J. Syst. Softw. |
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. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 200 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license