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/26
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
-
A Verified Foreign Function Interface between Coq and C
Korkut, J., Stark, K. & Appel, A. W., Jan 7 2025, In: Proceedings of the ACM on Programming Languages. 9, 24.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Specifying and Verifying a Real-World Packet Error-Correction System
Cohen, J. M. & Appel, A. W., 2024, Verified Software. Theories, Tools and Experiments - 15th International Conference, VSTTE 2023, Revised Selected Papers. Reynolds, A. & Tasiran, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 44-63 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14095 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
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 Access6 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 Access6 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