Joseph A. Tucek
Hardware and Architecture · 2005–2008
A researcher in the Science corpus: 3 papers; trusts 7 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Hardware and Architecture — 18 citations into it
- Computer Networks and Communications — 16 citations into it
- Artificial Intelligence — 12 citations into it
- Information Systems — 5 citations into it
Whom Joseph A. Tucek trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Miguel Oom Temudo de Castro
- Cormac Flanagan
- T. Harris
- Sudheendra Hangal
- Martin C. Rinard
- Chandrasekhar Boyapati
- Ben Liblit
- George Candea
- Lorenzo Alvisi
Who trusts Joseph A. Tucek overall
Papers from Joseph A. Tucek's perspective
Ordered by how strongly the researchers Joseph A. Tucek 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)
- 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)
- Hybrid dynamic data race detection (ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming)
- ReVirt: enabling intrusion analysis through virtual-machine logging and replay (USENIX Symposium on Operating Systems Design and Implementation)
- A survey of rollback-recovery protocols in message-passing systems (CSUR)
- Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
- Ownership types for safe programming: preventing data races and deadlocks (Conference on Object-Oriented Programming Systems, Languages, and Applications)
- The Byzantine Generals Problem
- Practical Byzantine fault tolerance
Their papers
- Designing and Implementing Malicious Hardware (2008) — 320 citations
- AVIO: detecting atomicity violations via access interleaving invariants (2006) — 461 citations
- Rx: treating bugs as allergies---a safe method to survive software failures (2005) — 359 citations