World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
62
Citations
15443
World Ranking
2899
National Ranking
1426

Research.com Recognitions

  • 1998 - ACM Fellow Significant research contributions in the area of programming languages and compilers. Important contributions to the ACM Transactions on Programming Languages and Systems.

Overview

Andrew W. Appel is affiliated with Princeton University in the United States. Their research primarily focuses on computer science with extensive work across subfields including artificial intelligence, computational theory and mathematics, hardware and architecture, computer networks and communications, and sociology and political science. The main topics addressed in their work include logic, programming, and type systems; formal methods in verification; parallel computing and optimization techniques; security and verification in computing; numerical methods and algorithms; embedded systems design techniques; and internet traffic analysis and secure e-voting.

Among the recent papers by Andrew W. Appel are:

  • Efficient Extensional Binary Tries, 2023, Journal of Automated Reasoning
  • Ballot-Marking Devices Cannot Ensure the Will of the Voters, 2020, Election Law Journal Rules Politics and Policy
  • Compositional optimizations for CertiCoq, 2021, Proceedings of the ACM on Programming Languages
  • VST-A: A Foundationally Sound Annotation Verifier, 2024, Proceedings of the ACM on Programming Languages
  • Deriving efficient program transformations from rewrite rules, 2021, Proceedings of the ACM on Programming Languages

The venues where Appel has frequently published include:

  • Proceedings of the ACM on Programming Languages
  • Journal of Automated Reasoning
  • arXiv (Cornell University)
  • Electronic Proceedings in Theoretical Computer Science
  • Election Law Journal Rules Politics and Policy

Andrew W. Appel frequently collaborates with several co-authors, including Qinshi Wang, Philip B. Stark, John M. Li, Ariel Kellison, and Yves Bertot.

In recognition of their work, Appel was awarded the ACM Fellow in 1998 for significant research contributions in programming languages and compilers, as well as contributions to the ACM Transactions on Programming Languages and Systems.

Best Publications

  • Compiling with continuations

    Andrew W. Appel

  • MulVAL: a logic-based network security analyzer

    Xinming Ou;Sudhakar Govindavajhala;Andrew W. Appel

  • Modern Compiler Implementation in Java

    Andrew W. Appel;Jens Palsberg

  • An Efficient Program for Many-Body Simulation

    Unknown

  • Modern Compiler Implementation in C

    Andrew W. Appel;Maia Ginsburg

  • Simple generational garbage collection and fast allocation

    A. W. Appel

  • Foundational proof-carrying code

    A.W. Appel

  • Real-time concurrent collection on stock multiprocessors

    A. W. Appel;J. R. Ellis;K. Li

  • Iterated register coalescing

    Lal George;Andrew W. Appel

  • An indexed model of recursive types for foundational proof-carrying code

    Andrew W. Appel;David McAllester

  • Standard ML of New Jersey

    Andrew W. Appel;David B. MacQueen

  • Virtual memory primitives for user programs

    Andrew W. Appel;Kai Li

  • Proof-carrying authentication

    Andrew W. Appel;Edward W. Felten

  • Real time, concurrent garbage collection system and method

    John R. Ellis;Kai Li;Andrew Appel

  • Using memory errors to attack a virtual machine

    S. Govindavajhala;A.W. Appel

  • Verified software toolchain

    Andrew W. Appel

  • Garbage collection can be faster than stack allocation

    Andrew W. Appel

  • Continuation-passing, closure-passing style

    A. W. Appel;T. Jim

  • SSA is functional programming

    Andrew W. Appel

  • Program Logics for Certified Compilers

    Andrew W. Appel;Robert Dockins;Aquinas Hobor;Lennart Beringer

  • A standard ML compiler

    Andrew W. Appel;David B. MacQueen

  • Modern Compiler Implementation in ML: Basic Techniques

    Andrew W. Appel

Frequent Co-Authors

Xavier Leroy
Xavier Leroy Collège de France
Jens Palsberg
Jens Palsberg University of California, Los Angeles
Zhong Shao
Zhong Shao Yale University
Gang Tan
Gang Tan Pennsylvania State University
Edward W. Felten
Edward W. Felten Princeton University
Xinming Ou
Xinming Ou University of South Florida
Kai Li
Kai Li Princeton University
Benjamin C. Pierce
Benjamin C. Pierce University of Pennsylvania
Lujo Bauer
Lujo Bauer Carnegie Mellon University
Robert Harper
Robert Harper Carnegie Mellon University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens up a wide range of online degree options and flexible career pathways. For students interested in branching into science or engineering fields, a bachelor of science in physics online can provide a strong analytical foundation, complementing tech skills developed in computer science.

Those aiming for roles in analytics or artificial intelligence may benefit from pursuing the cheapest data science degree programs available. This path offers advanced training in big data, statistics, and machine learning—essential for today’s data-driven careers.

If your interests extend to hardware and circuit design, consider enrolling in online electrical engineering courses USA. These courses often closely align with computer engineering roles and broaden your technical expertise.

For a faster entry into the tech workforce, there are also easy certifications to get online that can quickly boost your resume with in-demand skills. Each pathway offers flexibility, affordability, and strong career prospects for the modern student.

Best Scientists Citing Andrew W. Appel

Trending Scientists