Follow
Robert O'Callahan
Robert O'Callahan
Google
Verified email at ocallahan.org - Homepage
Title
Cited by
Cited by
Year
Hybrid dynamic data race detection
R O'callahan, JD Choi
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of …, 2003
5752003
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
5322002
Relational queries over program traces
SF Goldsmith, R O'Callahan, A Aiken
ACM SIGPLAN Notices 40 (10), 385-402, 2005
2112005
Lackwit: A program understanding tool based on type inference
R O'Callahan, D Jackson
Proceedings of the (19th) International Conference on Software Engineering …, 1997
2101997
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
1122017
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
872009
Object equality profiling
D Marinov, R O'Callahan
ACM SIGPLAN Notices 38 (11), 313-325, 2003
832003
A simple, comprehensive type system for Java bytecode subroutines
R O'Callahan
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
771999
Generalized aliasing as a basis for program analysis tools
RW O'Callahan
Carnegie Mellon University, 2001
742001
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
532010
History-based call stack construction
RW O'callahan
US Patent App. 11/711,387, 2008
392008
Methods and apparatus for monitoring program execution
S Goldsmith, RW O'callahan
US Patent 7,620,940, 2009
352009
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
302013
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
262017
Detecting shared representations using type inference
R O'Callahan, D Jackson
School of Computer Science, Carnegie Mellon University, 1995
151995
Practical program understanding with type inference
R O'Callahan, D Jackson
Carnegie-Mellon University. Department of Computer Science, 1996
111996
Efficient collection and storage of indexed program traces
R O’Callahan
Unpublished. URL http://tralfamadore. cs. ubc. ca W 538, 2006
92006
Light-weight instrumentation from relational queries over program traces
S Goldsmith, R O'Callahan, A Aiken
Computer Science Division, University of California, 2004
82004
The design of program analysis services
R O'Callahan
School of Computer Science, Carnegie Mellon University, 1999
71999
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
62016
The system can't perform the operation now. Try again later.
Articles 1–20