Tej Chajed [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Using Crash Hoare Logic for Certifying the FSCQ File System SOSP-2015 - california,usa
Amber: Decoupling User Data from Web Applications HOTos-2015 - Katause,Switzerland