Andrew W. Appel

Cited by

	All	Since 2020
Citations	18868	3438
h-index	59	29
i10-index	144	65

740

370

185

555

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202595 144 168 287 294 426 309 367 384 381 354 379 405 562 566 640 685 730 692 686 678 581 572 594 553 551 557 544 612 601 689 671 667 649 643 725 79

Public access

View all

22 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Lennart BeringerVerified email at pm.me
Zhong ShaoYale UniversityVerified email at yale.edu
Edward W. FeltenRobert E. Kahn Professor of Computer Science and Public Affairs, Princeton UniversityVerified email at princeton.edu
Aquinas HoborAssociate Professor, University College LondonVerified email at ucl.ac.uk
Daniel C. WangAmazonVerified email at amazon.com
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Gang TanProfessor of computer science and engineering, Penn State UniversityVerified email at cse.psu.edu
Gordon StewartBedRock Systems, Inc.Verified email at bedrocksystems.com
Amy FeltyProfessor of Computer Science, University of OttawaVerified email at eecs.uottawa.ca
Kai LiProfessor of computer science, Princeton universityVerified email at cs.princeton.edu
Sandrine BlazyProfessor of Computer Science, University of RennesVerified email at irisa.fr
Xinming (Simon) OuProfessor of Computer Science and Engineering, University of South FloridaVerified email at usf.edu
Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
Xavier LeroyCollège de FranceVerified email at college-de-france.fr
santiago cuellarPhD, Princeton UniversityVerified email at princeton.edu
Matthias BlumeGoogleVerified email at google.com
Josiah DoddsAWSVerified email at amazon.com
Dinghao WuPennsylvania State UniversityVerified email at psu.edu
Zoe ParaskevopoulouEthereum FoundationVerified email at ethereum.org
Francesco Zappa NardelliFacebookVerified email at fb.com

Andrew W. Appel

Professor of Computer Science, Princeton University

Verified email at princeton.edu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Modern Compiler Implementation [in ML] [in C] [in Java] AW Appel Cambridge university press, 1998	2287	1998
Compiling with Continuations AW Appel Cambridge University Press, 1992	1472*	1992
An efficient program for many-body simulation AW Appel SIAM J. Sci. Stat. Comput. 6 (1), 85-103, 1985	1045	1985
MulVAL: A logic-based network security analyzer. X Ou, S Govindavajhala, AW Appel USENIX security symposium 8, 113-128, 2005	964	2005
Foundational proof-carrying code AW Appel Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 247-256, 2001	514	2001
Simple generational garbage collection and fast allocation AW Appel Software: Practice and experience 19 (2), 171-183, 1989	512	1989
Iterated register coalescing L George, AW Appel ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 300-324, 1996	451	1996
An indexed model of recursive types for foundational proof-carrying code AW Appel, D McAllester ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (5), 657-683, 2001	445	2001
Real-time concurrent collection on stock multiprocessors AW Appel, JR Ellis, K Li Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988	438	1988
Standard ML of New Jersey AW Appel, DB MacQueen Programming Language Implementation and Logic Programming, 1-13, 1991	380	1991
Verified software toolchain AW Appel European Symposium on Programming (LNCS 6602), 1-17, 2011	356*	2011
Virtual memory primitives for user programs AW Appel, K Li Proceedings of the fourth international conference on Architectural support …, 1991	353	1991
Proof-carrying authentication AW Appel, EW Felten Proceedings of the 6th ACM Conference on Computer and Communications …, 1999	351	1999
Using memory errors to attack a virtual machine S Govindavajhala, AW Appel 2003 Symposium on Security and Privacy, 2003., 154-165, 2003	339	2003
SSA is functional programming AW Appel ACM SIGPLAN Notices 33 (4), 17-20, 2008	322*	2008
Real time, concurrent garbage collection system and method JR Ellis, K Li, A Appel US Patent 5,088,036, 1992	301	1992
Program Logics for Certified Compilers AW Appel, R Dockins, A Hobor, L Beringer, J Dodds, G Stewart, S Blazy, ... Cambridge University Press, 2014	278	2014
Garbage collection can be faster than stack allocation AW Appel Information Processing Letters 25 (4), 275-279, 1987	270	1987
Continuation-passing, closure-passing style AW Appel, T Jim Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	267	1989
A Standard ML compiler A Appel, D MacQueen Functional Programming Languages and Computer Architecture, 301-324, 1987	235	1987

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors