Documents Related by Co-Citation

136 Learning from mistakes: a comprehensive study on real world concurrency bug characteristics – S Lu, S Park, E Seo, Y Zhou - 2008
557 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
69 Ctrigger: exposing atomicity violation bugs from their hiding places – Soyeon Park, Shan Lu, Yuanyuan Zhou - 2009
122 S.: Iterative context bounding for systematic testing of multithreaded programs – M Musuvathi, Qadeer - 2007
82 A serializability violation detector for shared-memory server programs – M Xu, R Bodík, M D Hill - 2005
132 AVIO: Detecting Atomicity Violations via Access Interleaving Invariants – Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou - 2006
172 A ”flight data recorder” for enabling full-system multiprocessor deterministic replay – M Xu, R Bodík, M D Hill - 2003
200 Atomizer: a dynamic atomicity checker for multithreaded programs – Cormac Flanagan, Stephen N. Freund - 2004
1091 The SPLASH-2 programs: Characterization and methodological considerations – Steven Cameron Woo, Moriyoshi Ohara, Evan Torrie, Jaswinder Pal Singh, Anoop Gupta - 1995
71 DMP: Deterministic Shared Memory Multiprocessing – Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin
69 Race Directed Random Testing of Concurrent Programs – Koushik Sen - 2008
97 Bosschere. RecPlay: a fully integrated practical record/replay system – M Ronsse, K De - 1999
599 Pin: building customized program analysis tools with dynamic instrumentation – Chi-keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa, Reddi Kim Hazelwood - 2005
321 Valgrind: A framework for heavyweight dynamic binary instrumentation – Nicholas Nethercote, Julian Seward - 2007
44 A Case for an Interleaving Constrained Shared-Memory Multi-Processor – Jie Yu, Satish Narayanasamy - 2009
76 Kendo: Efficient Deterministic Multithreading in Software – M Olszewski, J Ansel, S Amarasinghe - 2009
55 Recording Shared Memory Dependencies Using Strata – Satish Narayanasamy, Cristiano Pereira, Brad Calder - 2006
295 Debugging parallel programs with instant replay – T J LeBlanc, J M Mellor-Crummey - 1987
97 FastTrack: Efficient and Precise Dynamic Race Detection – Cormac Flanagan, Stephen N. Freund