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