Adam Chlipala [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Simple High-Level Code For Cryptographic Arithmetic -- With Proofs, Without Compromises IEEESymposium-2019 - San Francisco, US
Using Crash Hoare Logic for Certifying the FSCQ File System SOSP-2015 - california,usa
Specifying Crash Safety for Storage Systems HOTos-2015 - Katause,Switzerland
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure OSDI-2014 - broomfield,usa