M. Frans Kaashoek [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
Specifying Crash Safety for Storage Systems HOTos-2015 - Katause,Switzerland
Hare: a file system for non-cache-coherent multicores. EuroSys-2015 - Bordeaux,France
VerSum: Verifiable Computations over Large Public Logs CCS-2014 - Scottsdale,USA
Identifying Information Disclosure in Web Applications with Retroactive Auditing OSDI-2014 - broomfield,usa
Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior USENIXatc-2014 - Philadelphia,USA
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors USENIXatc-2014 - Philadelphia,USA
Ssl Splitting: Securely Serving Data From Untrusted Caches 12th USENIX Security Symposium-2003 - Washington DC, USA Security SSL