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
Appel, A. W. (PI)
NSF - National Science Foundation
10/1/22 → 9/30/25
Project: Research project
-
SHF: Small: VeriFFI -- Formally Verified Functional+C programs
Appel, A. W. (PI)
NSF - National Science Foundation
6/15/20 → 5/31/25
Project: Research project
-
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
Appel, A. W. (PI)
NSF - National Science Foundation
12/15/15 → 11/30/22
Project: Research project
-
SHF: Medium: Collaborative Research: Principled Optimizing Compilation of Dependently Typed Languages
Appel, A. W. (PI)
NSF - National Science Foundation
7/1/14 → 6/30/18
Project: Research project
-
ARRA: TC:Large:Collaborative Research: Combining Foundational and Lightweight Formal Methods to Build Certifiably Dependable Software
Appel, A. W. (PI)
NSF - National Science Foundation
7/1/09 → 6/30/13
Project: Research project
-
VCFloat2: Floating-Point Error Analysis in Coq
Appel, A. & Kellison, A., Jan 9 2024, CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. Timany, A., Traytel, D., Pientka, B. & Blazy, S. (eds.). Association for Computing Machinery, Inc, p. 14-29 16 p. (CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access2 Scopus citations -
VST-A: A Foundationally Sound Annotation Verifier
Zhou, L., Qin, J., Wang, Q., Appel, A. W. & Cao, Q., Jan 5 2024, In: Proceedings of the ACM on Programming Languages. 8, 69.Research output: Contribution to journal › Article › peer-review
Open Access4 Scopus citations -
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
4 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
Open Access4 Scopus citations -
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
1 Scopus citations