• 3329 Citations
  • 30 h-Index
1985 …2020

Research output per year

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

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

Research Output

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

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).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Abstraction and subsumption in modular verification of C programs

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).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Technical perspective the scalability of certikos

Appel, A. W., Oct 2019, In : Communications of the ACM. 62, 10, 1 p.

Princeton University

Research output: Contribution to journalComment/debate

Open Access

VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs

Appel, A. W., Jun 1 2018, In : Journal of Automated Reasoning. 61, 1-4, p. 367-422 56 p.

Princeton University

Research output: Contribution to journalArticle

11 Scopus citations

Bringing order to the separation logic jungle

Appel, A. W., Jan 1 2017, Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Proceedings. Chang, B-Y. E. (ed.). Springer Verlag, p. 190-211 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10695 LNCS).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Press / Media

Securing the Vote – New Report

Andrew Wilson Appel

9/6/18

1 item of Media coverage

Princeton University

Press/Media: Press / Media

Klobuchar's Secure Elections Act stalls

Andrew Appel

8/30/18

2 items of Media coverage

Princeton University

Press/Media: Press / Media