|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 449 occurrences of 255 keywords
|
|
|
Results
Found 473 publication records. Showing 473 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
144 | Mi-Young Park, Su Jeong Shim, Yong-Kee Jun, Hyuk-Ro Park |
MPIRace-Check: Detection of Message Races in MPI Programs. |
GPC |
2007 |
DBLP DOI BibTeX RDF |
message races, MPIRace-Check, debugging, message-passing programs |
113 | 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 |
112 | Mi-Young Park, Seok Young Kim, Hyuk-Ro Park |
Visualization of Affect-Relations of Message Races for Debugging MPI Programs. |
GrC |
2007 |
DBLP DOI BibTeX RDF |
|
100 | 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 |
|
100 | Hee-Dong Park, Yong-Kee Jun |
Detecting the First Races in Parallel Programs with Ordered Synchronization. |
ICPADS |
1998 |
DBLP DOI BibTeX RDF |
|
98 | 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 |
97 | 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 |
97 | Mun-Hye Kang, Ok-Kyoon Ha, Sang-Woo Jun, Yong-Kee Jun |
A Tool for Detecting First Races in OpenMP Programs. |
PaCT |
2009 |
DBLP DOI BibTeX RDF |
OpenMP programs, first races to occur, race detection |
97 | 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 |
90 | Young-Joo Kim, Mun-Hye Kang, Ok-Kyoon Ha, Yong-Kee Jun |
Efficient Race Verification for Debugging Programs with OpenMP Directives. |
PaCT |
2007 |
DBLP DOI BibTeX RDF |
OpenMP directive, protocol scheme, verification, labeling scheme, races |
89 | Mi-Young Park, Yong-Kee Jun |
Detecting Unaffected Message Races in Parallel Programs. |
GPC |
2006 |
DBLP DOI BibTeX RDF |
|
86 | 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 |
77 | Gwendolyn Voskuilen, Faraz Ahmad, T. N. Vijaykumar |
Timetraveler: exploiting acyclic races for optimizing memory race recording. |
ISCA |
2010 |
DBLP DOI BibTeX RDF |
race recording, debugging, determinism, replay |
72 | Hans-Juergen Boehm |
Position paper: nondeterminism is unavoidable, but data races are pure evil. |
RACES@SPLASH |
2012 |
DBLP DOI BibTeX RDF |
|
69 | Koushik Sen |
Race directed random testing of concurrent programs. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
concurrency, dynamic analysis, random testing, race detection |
69 | Mi-Young Park, Yong-Kee Jun |
Detecting Unaffected Race Conditions in Message-Passing Programs. |
PVM/MPI |
2004 |
DBLP DOI BibTeX RDF |
|
67 | 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 |
65 | 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 |
65 | So-Hee Park, Mi-Young Park, Yong-Kee Jun |
A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs. |
WOMPAT |
2001 |
DBLP DOI BibTeX RDF |
|
63 | 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 |
63 | Gerald M. Karam, Christine M. Stanczyk, Gregory W. Bond |
Critical Races in Ada Programs. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
critical races, concurrent Ada programs, system errors, CRF language, caller selection mechanism, discriminatory mutual exclusion, dimutex, MLog language, gas-station example, parallel programming, Ada, rapid-prototyping, Ada language |
58 | 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 |
58 | 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 |
58 | 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 |
58 | 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 |
55 | 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 |
55 | 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 |
54 | Cormac Flanagan, Stephen N. Freund |
Adversarial memory for detecting destructive races. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
concurrency, dynamic analysis, race conditions, relaxed memory models |
54 | 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 |
54 | Young-Joo Kim, Daeyoung Kim 0001, Yong-Kee Jun |
An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
Thread Checker, Parallel section programs, Parallel loop programs, Verification, OpenMP, Race |
54 | Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga |
DRACULA: Detector of Data Races in Signals Handlers. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
54 | 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 |
54 | Edith Elkind, Blaise Genest, Doron A. Peled |
Detecting Races in Ensembles of Message Sequence Charts. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
54 | Federico Balaguer, Thuc S. M. Ho, Ralph E. Johnson |
Detecting Data Races on Framework-Based Applications. |
COMPSAC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Michiel Ronsse, Jonas Maebe, Koenraad De Bosschere |
Detecting Data Races in Sequential Programs with DIOTA. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Yong-Kee Jun, Charles E. McDowell |
Scalable Monitoring Technique for Detecting Races in Parallel Programs. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
54 | Ming-Dong Feng, Chung-Kwong Yuen |
Detection of Races and Control-Flow Nondeterminism. |
LCR |
1998 |
DBLP DOI BibTeX RDF |
|
54 | Scotte Zinn, Michael H. Coffin |
Efficient event generation for detecting races. |
CASCON |
1993 |
DBLP BibTeX RDF |
|
53 | Andrew P. Black, Theo D'Hondt, Doug Kimelman, Martin C. Rinard, David M. Ungar (eds.) |
Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability, RACES@SPLASH 2012, Tucson, Arizona, USA, October 21, 2012. |
RACES@SPLASH |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Max OrHai, Andrew P. Black |
Approximate parallel sorting on a spatial computer. |
RACES@SPLASH |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Philip W. Howard, Jonathan Walpole |
A case for relativistic programming. |
RACES@SPLASH |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard |
Dancing with uncertainty. |
RACES@SPLASH |
2012 |
DBLP DOI BibTeX RDF |
|
53 | David M. Ungar, Doug Kimelman, Sam S. Adams, Mark N. Wegman |
Does better throughput require worse latency? |
RACES@SPLASH |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Harold W. Cain, Mikko H. Lipasti |
Edge chasing delayed consistency: pushing the limits of weak memory models. |
RACES@SPLASH |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer |
How FIFO is your concurrent FIFO queue? |
RACES@SPLASH |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Lakshminarayanan Renganarayana, Vijayalakshmi Srinivasan, Ravi Nair, Daniel A. Prener |
Programming with relaxed synchronization. |
RACES@SPLASH |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Paul E. McKenney |
Beyond expert-only parallel programming? |
RACES@SPLASH |
2012 |
DBLP DOI BibTeX RDF |
|
51 | 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 |
51 | 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 |
46 | 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 |
46 | 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 |
|
46 | Young-Cheol Kim, Yong-Kee Jun |
Restructuring Parallel Programs for On-the-Fly Race Detection. |
PaCT |
1999 |
DBLP DOI BibTeX RDF |
|
43 | Blas Cuesta, Antonio Robles, José Duato |
Improving Token Coherence by Multicast Coherence Messages. |
PDP |
2008 |
DBLP DOI BibTeX RDF |
Token Cohence, protocol races, multicast, Cache coherence, SMP |
43 | Dan Grossman |
Type-safe multithreading in cyclone. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
types, data races, cyclone |
43 | Menahem Lowy, Neal Butler, Rosanne Tinkler |
Low power VLSI sequential circuit architecture using critical race control. |
ACM Great Lakes Symposium on VLSI |
2003 |
DBLP DOI BibTeX RDF |
critical races, low-power VLSI circuits, asynchronous circuits |
43 | 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 |
42 | 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 |
42 | Mingdong Feng, Charles E. Leiserson |
Efficient Detection of Determinacy Races in Cilk Programs. |
Theory Comput. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
42 | David K. Probst, Hon Fung Li |
Verifying Timed Behavior Automata with Input/Output Critical Races. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
39 | 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 | Julian Togelius, Simon M. Lucas |
Arms Races and Car Races. |
PPSN |
2006 |
DBLP DOI BibTeX RDF |
|
35 | 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 |
35 | Jacob Burnim, Koushik Sen |
Asserting and checking determinism for multithreaded programs. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
parallel programs, determinism, assertions |
35 | JaeWoong Chung, Michael Dalton, Hari Kannan, Christos Kozyrakis |
Thread-safe dynamic binary translation using transactional memory. |
HPCA |
2008 |
DBLP DOI BibTeX RDF |
|
35 | 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 |
35 | 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 |
35 | Zdenek Letko, Tomás Vojnar, Bohuslav Krena |
AtomRace: data race and atomicity violation detector and healer. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Blas Cuesta, Antonio Robles, José Duato |
An Effective Starvation Avoidance Mechanism to Enhance the Token Coherence Protocol. |
PDP |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Pin Zhou, Radu Teodorescu, Yuanyuan Zhou |
HARD: Hardware-Assisted Lockset-based Race Detection. |
HPCA |
2007 |
DBLP DOI BibTeX RDF |
|
35 | 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 | 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 |
35 | 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 |
|
35 | 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 |
35 | Milo M. K. Martin, Mark D. Hill, David A. Wood 0001 |
Token Coherence: Decoupling Performance and Correctness. |
ISCA |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Gerald M. Karam, Raymond J. A. Buhr |
Starvation and Critical Race Analyzers for Ada. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters |
32 | 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 |
32 | 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 |
32 | B. John Oommen, Sudip Misra, Ole-Christoffer Granmo |
Routing Bandwidth-Guaranteed Paths in MPLS Traffic Engineering: A Multiple Race Track Learning Approach. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
Random races, algorithms, routing, traffic engineering, MPLS |
32 | 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 |
32 | 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 |
31 | Xiang Cai, Yuwei Gui, Rob Johnson |
Exploiting Unix File-System Races via Algorithmic Complexity Attacks. |
SP |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Verena Heidrich-Meisner, Christian Igel |
Hoeffding and Bernstein races for selecting policies in evolutionary direct policy search. |
ICML |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Dan Tsafrir, Tomer Hertz, David A. Wagner 0001, Dilma Da Silva |
Portably solving file races with hardness amplification. |
ACM Trans. Storage |
2008 |
DBLP DOI BibTeX RDF |
TOCTTOU, time-of-check-to-time-of-use, Race conditions |
31 | Tsutomu Terada, Masakazu Miyamae, Yasue Kishino, Takahito Fukuda, Masahiko Tsukamoto |
A wearable system for supporting pit-crew and audiences on motorbike races. |
MoMM |
2008 |
DBLP DOI BibTeX RDF |
motorbike racing, wearable computing |
31 | 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 |
31 | Aoun Raza, Gunther Vogel |
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Mi-Young Park, Nguyen Cao Truong Hai, Yong-Kee Jun, Hyuk-Ro Park |
Visualization of Message Races in MPI Parallel Programs. |
CIT |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Debanik Roy |
Development and Model-Aided Performance Measure of a Sensor-Augmented Industrial Robotic System for Handling Steel Bearing Races in an Unstructured Environment. |
J. Intell. Robotic Syst. |
2005 |
DBLP DOI BibTeX RDF |
magnetic gripper, robotized handling, sensory system, bearing ring, performance, industrial robot, unstructured environment |
31 | Luis Mateu |
A Java Dialect Free of Data Races and without Annotations. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Brian Demsky, Patrick Lam 0001 |
Views: object-inspired concurrency control. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
concurrency, language design, static verification |
23 | 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 |
23 | Yang Zhao, John Boyland |
Assuring Lock Usage in Multithreaded Programs with Fractional Permissions. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen |
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Ganesh Gopalakrishnan, Robert M. Kirby |
Practical Formal Verification of MPI and Thread Programs. |
PVM/MPI |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Frédéric Dabrowski, David Pichardie |
A Certified Data Race Analysis for a Java-like Language. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
23 | 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 |
|
23 | Ali Jannesari, Kaibin Bao, Victor Pankratius, Walter F. Tichy |
Helgrind+: An efficient dynamic race detector. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Gautam Altekar, Ion Stoica |
ODR: output-deterministic replay for multicore debugging. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
debugging, multicore, inference, deterministic replay |
23 | 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 |
23 | Nalini Vasudevan, Stephen A. Edwards |
Static Deadlock Detection for the SHIM Concurrent Language. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 473 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|