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

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization., , , , , , , , , and 5 other author(s). Proc. ACM Program. Lang., 8 (OOPSLA1): 670-697 (2024)Volume-Based Merge Heuristics for Disjunctive Numeric Domains., , and . SAS, volume 11002 of Lecture Notes in Computer Science, page 383-401. Springer, (2018)Formal Verification vs. Quantum Uncertainty., , and . SNAPL, volume 136 of LIPIcs, page 12:1-12:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Proving Quantum Programs Correct., , , , and . ITP, volume 193 of LIPIcs, page 21:1-21:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A Verified Optimizer for Quantum Circuits., , , , and . CoRR, (2019)Verified Optimization in a Quantum Intermediate Representation., , , , and . CoRR, (2019)Finding Substitutable Binary Code By Synthesizing Adapters., , and . IEEE Trans. Software Eng., 47 (8): 1626-1643 (2021)Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)., , , , , , , , , and 5 other author(s). CoRR, (2024)A Verified Software Toolchain for Quantum Programming.. University of Maryland, College Park, MD, USA, (2022)base-search.net (ftunivmaryland:oai:drum.lib.umd.edu:1903/29337).Quantitative Robustness Analysis of Quantum Programs (Extended Version)., , , , , and . CoRR, (2018)