Robert O'Callahan
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Software Engineering Research, Security and Verification in Computing, Software System Performance and Reliability
Most-Cited Works
- → Efficient and precise datarace detection for multithreaded object-oriented programs(2002)441 cited
- → Hybrid dynamic data race detection(2003)430 cited
- → Relational queries over program traces(2005)150 cited
- → Lackwit(1997)145 cited
- → Object equality profiling(2003)60 cited
- → A simple, comprehensive type system for Java bytecode subroutines(1999)56 cited
- Generalized aliasing as a basis for program analysis tools(2001)
- Engineering Record and Replay for Deployability(2017)