research highlights

P. 75

Certifying a File System Using
Crash Hoare Logic: Correctness
in the Presence of Crashes

By Tej Chajed, Haogang Chen, Adam Chlipala, M. Frans Kaashoek,
Nickolai Zeldovich, and Daniel Ziegler
P. 74

Technical
Perspective
Proving File Systems
Meet Expectations

By Gernot Heiser
P. 86

Guilt-Free Data Reuse

By Cynthia Dwork, Vitaly Feldman, Moritz Hardt, Toniann Pitassi, Omer Reingold, and Aaron Roth P. 85

Technical
Perspective
Building a Safety Net
for Data Reuse

By Jonathan Ullman