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