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