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.
- 5 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
-
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/21
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
-
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
2 Scopus citations -
Connecting Higher-Order Separation Logic to a First-Order Outside World
Mansky, W., Honoré, W. & Appel, A. W., 2020, Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Müller, P. (ed.). Springer, p. 428-455 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12075 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access1 Scopus citations -
Verified sequential Malloc/Free
Appel, A. W. & Naumann, D. A., Jun 16 2020, ISMM 2020 - Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management, co-located with PLDI 2020. Ding, C. & Maas, M. (eds.). Association for Computing Machinery, p. 48-59 12 p. (International Symposium on Memory Management, ISMM).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., Jan 1 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 573-590 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11800 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Technical perspective the scalability of certikos
Appel, A. W., Oct 2019, In: Communications of the ACM. 62, 10, p. 88 1 p.Research output: Contribution to journal › Comment/debate › peer-review
Open Access