Author of the publication

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)SquirrelFS: using the Rust compiler to check file-system crash consistency., , , and . OSDI, page 387-404. USENIX Association, (2024)Vectorization for digital signal processors via equality saturation., , , , and . ASPLOS, page 874-886. ACM, (2021)Uncertain: a first-order type for uncertain data., , and . ASPLOS, page 51-66. ACM, (2014)Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems., , , , , and . EuroSys, page 718-733. ACM, (2023)Scaling symbolic evaluation for automated verification of systems code with Serval., , , , , and . SOSP, page 225-242. ACM, (2019)Uncertain<T>: A First-order Type for Uncertain Data, , and . SIGARCH Comput. Archit. News, 42 (1): 51--66 (February 2014)Push-Button Verification of File Systems via Crash Refinement., , , and . USENIX ATC, USENIX Association, (2017)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)The model is not enough: Understanding energy consumption in mobile devices., , and . Hot Chips Symposium, page 1-3. IEEE, (2012)