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)The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop., , , and . USENIX Annual Technical Conference, USENIX Association, (2010)Operating System Modifications for Task-Based Speed and Voltage Scheduling., and . MobiSys, page 215-229. USENIX, (2003)FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment., , , , , , , , , and . OSDI, USENIX Association, (2002)Operating Systems Review 36, Special Issue, Winter 2002.Armada: low-effort verification of high-performance concurrent programs., , , , , , , and . PLDI, page 197-210. ACM, (2020)IronFleet: proving safety and liveness of practical distributed systems., , , , , , , and . Commun. ACM, 60 (7): 83-92 (2017)Reducing Processor Power Consumption by Improving Processor Time Management in a Single-user Operating System., and . MobiCom, page 143-154. ACM, (1996)Leveraging Legacy Code for Web Browsers., , , , and . login Usenix Mag., (2009)IronFleet: proving practical distributed systems correct., , , , , , , and . SOSP, page 1-17. ACM, (2015)