Folgen
Robert O'Callahan
Robert O'Callahan
Google
Bestätigte E-Mail-Adresse bei ocallahan.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Hybrid dynamic data race detection
R O'callahan, JD Choi
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of …, 2003
5582003
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
5282002
Lackwit: A program understanding tool based on type inference
R O'Callahan, D Jackson
Proceedings of the (19th) International Conference on Software Engineering …, 1997
2081997
Relational queries over program traces
SF Goldsmith, R O'Callahan, A Aiken
ACM SIGPLAN Notices 40 (10), 385-402, 2005
2062005
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
1152017
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
862009
Object equality profiling
D Marinov, R O'Callahan
ACM SIGPLAN Notices 38 (11), 313-325, 2003
842003
A simple, comprehensive type system for Java bytecode subroutines
R O'Callahan
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
761999
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
342009
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 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
Optimizing a solver of polymorphism constraints: SEMI
R O'Callahan
School of Computer Science, Carnegie Mellon University, 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
52016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20