Publications
284 Entries
2006
-
A Lazy Snapshot Algorithm with Eager Validation , 2006, 15 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Automatically Finding and Patching Bad Error Handling , 2006, p. 13-22, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Fault-tolerant and scalable TCP splice and web server architecture , 2006, p. 301-310, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Handling Overload in Publish/Subscribe Systems , 2006, p. 13-22, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Hardware Fault Injection Using Dynamic Binary Instrumentation: FITgrind , 2006, 2 p.Research output: Contribution to conferences > Paper
-
Leader Election in the Timed Finite Average Response Time Model , 2006, p. 375-376, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Learning Library-Level Error Return Values from Syscall Error Injection , 2006, 2 p.Research output: Contribution to conferences > Paper
-
Rearchitecting DNS , 2006, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Snapshot Isolation for Software Transactional Memory , 2006, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
2005
-
A System Demonstration of ST-TCP , 2005, p. 308-313, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper