Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Making World Wide Web Caching Servers Cooperate., , and . WWW (Fall), page 107-117. ACM, (1995)Shroud: ensuring private access to large-scale data in the data center., , , , and . FAST, page 199-214. USENIX, (2013)Armada: low-effort verification of high-performance concurrent programs., , , , , , , and . PLDI, page 197-210. ACM, (2020)FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment., , , , , , , , , and . OSDI, USENIX Association, (2002)Operating Systems Review 36, Special Issue, Winter 2002.Operating System Modifications for Task-Based Speed and Voltage Scheduling., and . MobiSys, page 215-229. USENIX, (2003)The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop., , , and . USENIX Annual Technical Conference, USENIX Association, (2010)Leveraging Legacy Code for Web Browsers., , , , and . login Usenix Mag., (2009)Reducing Processor Power Consumption by Improving Processor Time Management in a Single-user Operating System., and . MobiCom, page 143-154. ACM, (1996)IronFleet: proving safety and liveness of practical distributed systems., , , , , , , and . Commun. ACM, 60 (7): 83-92 (2017)IronFleet: proving practical distributed systems correct., , , , , , , and . SOSP, page 1-17. ACM, (2015)