Author of the publication

Push-Button Verification of File Systems via Crash Refinement.

, , , and . USENIX Annual Technical Conference, USENIX Association, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Disciplined Inconsistency with Consistency Types., , , , , and . SoCC, page 279-293. ACM, (2016)The model is not enough: Understanding energy consumption in mobile devices., , and . Hot Chips Symposium, page 1-3. IEEE, (2012)Optimizing the Automated Programming Stack.. University of Washington, USA, (2019)A DNA-Based Archival Storage System., , , , , and . ASPLOS, page 637-649. ACM, (2016)Automatic generation of high-performance quantized machine learning kernels., , , , and . CGO, page 305-316. ACM, (2020)Hardware-Software Co-Design: Not Just a Cliché., , and . SNAPL, volume 32 of LIPIcs, page 262-273. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Uncertain<T>: A First-order Type for Uncertain Data, , and . SIGARCH Comput. Archit. News, 42 (1): 51--66 (February 2014)Scaling symbolic evaluation for automated verification of systems code with Serval., , , , , and . SOSP, page 225-242. ACM, (2019)A Taxonomy of General Purpose Approximate Computing Techniques., , , , , , , and . IEEE Embed. Syst. Lett., 10 (1): 2-5 (2018)Synthesis-Aided Crash Consistency for Storage Systems., , , and . ECOOP, volume 263 of LIPIcs, page 35:1-35:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)