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
5442003
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
5102002
Lackwit: A program understanding tool based on type inference
R O'Callahan, D Jackson
Proceedings of the (19th) International Conference on Software Engineering …, 1997
2051997
Relational queries over program traces
SF Goldsmith, R O'Callahan, A Aiken
ACM SIGPLAN Notices 40 (10), 385-402, 2005
1992005
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
842009
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
822017
Object equality profiling
D Marinov, R O'Callahan
ACM SIGPLAN Notices 38 (11), 313-325, 2003
822003
Generalized aliasing as a basis for program analysis tools
RW O'Callahan
Carnegie Mellon University, 2001
752001
A simple, comprehensive type system for Java bytecode subroutines
R O'Callahan
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
751999
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
522010
Methods and apparatus for monitoring program execution
S Goldsmith, RW O'callahan
US Patent 7,620,940, 2009
342009
History-based call stack construction
RW O'callahan
US Patent App. 11/711,387, 2008
342008
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
292013
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 UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 1996
101996
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
CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2004
82004
The design of program analysis services
R O'Callahan
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 1999
71999
Optimizing a solver of polymorphism constraints: SEMI
R O'Callahan
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 1999
61999
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
32016
The system can't perform the operation now. Try again later.
Articles 1–20