Paper on temporal automata for protocol implementations at HotDep 2005
On the challenge of delivering high-performance, dependable, model-checked internet serversAnil Madhavapeddy, and Dave Scott.Paper in the proceedings of the First Conference on Hot Topics in System Dependability.URL (dl.acm.org) BIB PDF
On the challenge of delivering high-performance, dependable, model-checked internet servers
Anil Madhavapeddy, and Dave Scott.
Paper in the proceedings of the First Conference on Hot Topics in System Dependability.
URL (dl.acm.org) BIB PDF
Anil Madhavapeddy, Professor of Planetary Computing 
papers