Hybrid dynamic data race detection R O'callahan, JD Choi Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of …, 2003 | 575 | 2003 |
Efficient and precise datarace detection for multithreaded object-oriented programs JD Choi, K Lee, A Loginov, R O'Callahan, V Sarkar, M Sridharan Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002 | 532 | 2002 |
Relational queries over program traces SF Goldsmith, R O'Callahan, A Aiken ACM SIGPLAN Notices 40 (10), 385-402, 2005 | 211 | 2005 |
Lackwit: A program understanding tool based on type inference R O'Callahan, D Jackson Proceedings of the (19th) International Conference on Software Engineering …, 1997 | 210 | 1997 |
Engineering record and replay for deployability R O'Callahan, C Jones, N Froyd, K Huey, A Noll, N Partush 2017 USENIX Annual Technical Conference (USENIX ATC 17), 377-389, 2017 | 112 | 2017 |
Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs JD Choi, K Lee, RW O'callahan, V Sarkar, M Sridharan US Patent 7,516,446, 2009 | 87 | 2009 |
Object equality profiling D Marinov, R O'Callahan ACM SIGPLAN Notices 38 (11), 313-325, 2003 | 83 | 2003 |
A simple, comprehensive type system for Java bytecode subroutines R O'Callahan Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 77 | 1999 |
Generalized aliasing as a basis for program analysis tools RW O'Callahan Carnegie Mellon University, 2001 | 74 | 2001 |
Methods and apparatus for debugging software including divisions of an execution history of a debuggee program RW O'callahan US Patent 7,840,849, 2010 | 53 | 2010 |
History-based call stack construction RW O'callahan US Patent App. 11/711,387, 2008 | 39 | 2008 |
Methods and apparatus for monitoring program execution S Goldsmith, RW O'callahan US Patent 7,620,940, 2009 | 35 | 2009 |
Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs JD Choi, K Lee, RW O'callahan, V Sarkar, M Sridharan US Patent 8,464,223, 2013 | 30 | 2013 |
Engineering record and replay for deployability: Extended technical report R O'Callahan, C Jones, N Froyd, K Huey, A Noll, N Partush arXiv preprint arXiv:1705.05937, 2017 | 26 | 2017 |
Detecting shared representations using type inference R O'Callahan, D Jackson School of Computer Science, Carnegie Mellon University, 1995 | 15 | 1995 |
Practical program understanding with type inference R O'Callahan, D Jackson Carnegie-Mellon University. Department of Computer Science, 1996 | 11 | 1996 |
Efficient collection and storage of indexed program traces R O’Callahan Unpublished. URL http://tralfamadore. cs. ubc. ca W 538, 2006 | 9 | 2006 |
Light-weight instrumentation from relational queries over program traces S Goldsmith, R O'Callahan, A Aiken Computer Science Division, University of California, 2004 | 8 | 2004 |
The design of program analysis services R O'Callahan School of Computer Science, Carnegie Mellon University, 1999 | 7 | 1999 |
Lightweight user-space record and replay R O'Callahan, C Jones, N Froyd, K Huey, A Noll, N Partush arXiv preprint arXiv:1610.02144, 2016 | 6 | 2016 |