Robert O'Callahan
Artificial Intelligence · 2002–2003
A researcher in the Science corpus: 2 papers; trusts 2 researchers and is trusted by 9 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 7 citations into it; #9,949 of 35,345 by trust here, #17,110 by citations
- Hardware and Architecture — 7 citations into it; #213 of 1,551 by trust here, #529 by citations
Whom Robert O'Callahan trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Robert O'Callahan overall
- Cormac Flanagan
- Koushik Sen
- Stephen N. Freund
- Kostya Serebryany
- Yuan Yu
- Timur Iskhodzhanov
- T. Rodeheffer
- Shan Lu
- Shaz Qadeer
- Mayur Naik
Papers from Robert O'Callahan's perspective
Ordered by how strongly the researchers Robert O'Callahan trusts endorse each paper. Same corpus, a different order for every researcher.
- Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Virtual Time and Global States of Distributed Systems
- A parameterized type system for race-free Java programs (Conference on Object-Oriented Programming Systems, Languages, and Applications)
- Object race detection (Conference on Object-Oriented Programming Systems, Languages, and Applications)
- Language support for lightweight transactions (Conference on Object-Oriented Programming Systems, Languages, and Applications)
- Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Where are your Manners? Sharing Best Community Practices in the Web 2.0
- Forum
Their papers
- Hybrid dynamic data race detection (2003) — 466 citations
- Efficient and precise datarace detection for multithreaded object-oriented programs (2002) — 442 citations