Browsing by Author Appel, Andrew W
Showing results 1 to 12 of 12
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2019 | Abstraction and Subsumption in Modular Verification of C Programs | Beringer, Lennart; Appel, Andrew W |
| 2021 | Abstraction and subsumption in modular verification of C programs | Beringer, Lennart; Appel, Andrew W |
| 2020 | Ballot-Marking Devices Cannot Ensure the Will of the Voters | Appel, Andrew W; DeMillo, Richard A; Stark, Philip B |
| 2020 | C floating-point proofs layered with VST and Flocq | Appel, Andrew W; Bertot, Yves |
| Aug-2021 | Compositional optimizations for CertiCoq | Paraskevopoulou, Zoe; Li, John M; Appel, Andrew W |
| 2020 | Connecting Higher-Order Separation Logic to a First-Order Outside World | Mansky, William; Honoré, Wolf; Appel, Andrew W |
| Aug-2021 | Deriving efficient program transformations from rewrite rules | Li, John M; Appel, Andrew W |
| 2016 | Modular Verification for Computer Security | Appel, Andrew W |
| Sep-2017 | Position paper: the science of deep specification | Appel, Andrew W; Beringer, Lennart; Chlipala, Adam; Pierce, Benjamin C; Shao, Zhong; et al |
| Oct-2017 | Shrink fast correctly! | Bélanger, Olivier S; Appel, Andrew W |
| Oct-2017 | A verified messaging system | Mansky, William; Appel, Andrew W; Nogin, Aleksey |
| 21-Feb-2018 | VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs | Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W |