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

Quantum Computing Applications of Genetic Programming, , , and . Advances in Genetic Programming 3, chapter 7, MIT Press, Cambridge, MA, USA, (June 1999)SteelCore: an extensible concurrent separation logic for effectful dependently typed programs., , , , , and . Proc. ACM Program. Lang., 4 (ICFP): 121:1-121:30 (2020)Hardening attack surfaces with formally proven binary format parsers., , , , , , , , , and . PLDI, page 31-45. ACM, (2022)Meta-F ^: Proof Automation with SMT, Tactics, and Metaprograms., , , , , , , , , and 3 other author(s). ESOP, volume 11423 of Lecture Notes in Computer Science, page 30-59. Springer, (2019)dkal ⋆ : Constructing Executable Specifications of Authorization Protocols., , , , , and . ESSoS, volume 7781 of Lecture Notes in Computer Science, page 139-154. Springer, (2013)FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores., , , , , , , and . CPP, page 30-46. ACM, (2023)EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats., , , , , , and . USENIX Security Symposium, page 1465-1482. USENIX Association, (2019)Safe & Efficient Gradual Typing for TypeScript., , , , and . POPL, page 167-180. ACM, (2015)Steel: proof-oriented programming in a dependently typed concurrent separation logic., , , , , , and . Proc. ACM Program. Lang., 5 (ICFP): 1-30 (2021)Everest: Towards a Verified, Drop-in Replacement of HTTPS., , , , , , , , , and 12 other author(s). SNAPL, volume 71 of LIPIcs, page 1:1-1:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)