| Hybrid dynamic data race detection R O'callahan, JD Choi Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of …, 2003 | 549 | 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 | 513 | 2002 |
| Lackwit: A program understanding tool based on type inference R O'Callahan, D Jackson Proceedings of the (19th) International Conference on Software Engineering …, 1997 | 206 | 1997 |
| Relational queries over program traces SF Goldsmith, R O'Callahan, A Aiken ACM SIGPLAN Notices 40 (10), 385-402, 2005 | 201 | 2005 |
| Engineering Record and Replay for Deployability. R O'Callahan, C Jones, N Froyd, K Huey, A Noll, N Partush USENIX Annual Technical Conference, 377-389, 2017 | 90 | 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 | 84 | 2009 |
| Object equality profiling D Marinov, R O'Callahan ACM SIGPLAN Notices 38 (11), 313-325, 2003 | 83 | 2003 |
| Generalized aliasing as a basis for program analysis tools RW O'Callahan Carnegie Mellon University, 2001 | 76 | 2001 |
| A simple, comprehensive type system for Java bytecode subroutines R O'Callahan Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 75 | 1999 |
| 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 | 52 | 2010 |
| History-based call stack construction RW O'callahan US Patent App. 11/711,387, 2008 | 35 | 2008 |
| Methods and apparatus for monitoring program execution S Goldsmith, RW O'callahan US Patent 7,620,940, 2009 | 34 | 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 | 29 | 2013 |
| 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 UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 1996 | 10 | 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 CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2004 | 8 | 2004 |
| The design of program analysis services R O'Callahan CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 1999 | 7 | 1999 |
| Optimizing a solver of polymorphism constraints: SEMI R O'Callahan CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 1999 | 6 | 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 | 3 | 2016 |
