Photo of Andrew Wilson Appel
Contact Expert
 

View Scopus Profile

Andrew Wilson Appel

  • 3745 Citations
  • 31 h-Index
1985 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

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.

  • 2 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

Appel, A. W.

NSF - National Science Foundation

6/15/20 → 5/31/23

Project: Research project

Collaborative Research: Expeditions in Computing: The Science of Deep Specification

Appel, A. W.

NSF - National Science Foundation

12/15/15 → 11/30/21

Project: Research project

    • SHF: Medium: Collaborative Research: Principled Optimizing Compilation of Dependently Typed Languages

    Appel, A. W.

    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.

    NSF - National Science Foundation

    7/1/09 → 6/30/13

    Project: Research project

    • Research Output

    Connecting Higher-Order Separation Logic to a First-Order Outside World

    Mansky, W., Honoré, W. & Appel, A. W., Jan 1 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 Access

    • 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, 1 p.

    Research output: Contribution to journal › Comment/debate

    Open Access

    • You can publish it! (You have to)

    Appel, A. W., Nov 2019, In : Communications of the ACM. 62, 11, 1 p.

    Research output: Contribution to journal › Letter

    Open Access