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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Collaborative Research: FMitF: Track I: Formally Verified Numerical Methods
NSF - National Science Foundation
10/1/22 → 9/30/25
Project: Research project
-
SHF: Small: VeriFFI -- Formally Verified Functional+C programs
NSF - National Science Foundation
6/15/20 → 5/31/24
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
-
A Solver for Arrays with Concatenation
Wang, Q. & Appel, A. W., Mar 2023, In: Journal of Automated Reasoning. 67, 1, 4.Research output: Contribution to journal › Article › peer-review
2 Scopus citations -
Efficient Extensional Binary Tries
Appel, A. W. & Leroy, X., Mar 2023, In: Journal of Automated Reasoning. 67, 1, 8.Research output: Contribution to journal › Article › peer-review
-
Foundational Verification of Stateful P4 Packet Processing
Wang, Q., Pan, M., Wang, S., Doenges, R., Beringer, L. & Appel, A. W., Jul 2023, 14th International Conference on Interactive Theorem Proving, ITP 2023. Naumowicz, A. & Thiemann, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 268).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method
Tekriwal, M., Appel, A. W., Kellison, A. E., Bindel, D. & Jeannin, J. B., 2023, Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Proceedings. Dubois, C. & Kerber, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 206-221 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14101 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
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 Access3 Scopus citations