Projects per year
Fingerprint
Dive into the research topics where Andrew Wilson Appel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
SHF: Small: VeriFFI -- Formally Verified Functional+C programs
NSF - National Science Foundation
6/15/20 → 5/31/23
Project: Research project
-
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
NSF - National Science Foundation
12/15/15 → 11/30/22
Project: Research project
-
SHF: Medium: Collaborative Research: Principled Optimizing Compilation of Dependently Typed Languages
NSF - National Science Foundation
7/1/14 → 6/30/18
Project: Research project
Research output
-
Coq's Vibrant Ecosystem for Verification Engineering (Invited Talk)
Appel, A. W., Jan 17 2022, CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022. Popescu, A. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 2-11 10 p. (CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Abstraction and subsumption in modular verification of C programs
Beringer, L. & Appel, A. W., Oct 2021, In: Formal Methods in System Design. 58, 1-2, p. 322-345 24 p.Research output: Contribution to journal › Article › peer-review
1 Scopus citations -
Compositional optimizations for CertiCoq
Paraskevopoulou, Z., Li, J. M. & Appel, A. W., Aug 2021, In: Proceedings of the ACM on Programming Languages. 5, ICFP, 3473591.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Deriving efficient program transformations from rewrite rules
Li, J. M. & Appel, A. W., Aug 2021, In: Proceedings of the ACM on Programming Languages. 5, ICFP, 3473579.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Ballot-marking devices cannot ensure the will of the voters
Appel, A. W., Demillo, R. A. & Stark, P. B., Sep 2020, In: Election Law Journal: Rules, Politics, and Policy. 19, 3, p. 432-450 19 p.Research output: Contribution to journal › Article › peer-review
8 Scopus citations