Andrew W. Appel

Cited by

	All	Since 2019
Citations	18586	3878
h-index	59	29
i10-index	137	67

740

370

185

555

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202495 140 167 287 290 426 308 368 384 381 352 379 402 561 559 643 685 730 691 683 679 581 572 590 554 551 549 546 611 602 683 670 666 643 631 580

Public access

View all

20 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	2262	1998
Compiling with Continuations AW Appel Cambridge University Press, 1992	1461*	1992
An efficient program for many-body simulation AW Appel SIAM J. Sci. Stat. Comput. 6 (1), 85-103, 1985	1038	1985
MulVAL: A logic-based network security analyzer. X Ou, S Govindavajhala, AW Appel USENIX security symposium 8, 113-128, 2005	938	2005
Foundational proof-carrying code AW Appel Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 247-256, 2001	511	2001
Simple generational garbage collection and fast allocation AW Appel Software: Practice and experience 19 (2), 171-183, 1989	510	1989
Iterated register coalescing L George, AW Appel ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 300-324, 1996	448	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	433	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	430	1988
Standard ML of New Jersey AW Appel, DB MacQueen Programming Language Implementation and Logic Programming, 1-13, 1991	378	1991
Proof-carrying authentication AW Appel, EW Felten Proceedings of the 6th ACM Conference on Computer and Communications …, 1999	351	1999
Virtual memory primitives for user programs AW Appel, K Li Proceedings of the fourth international conference on Architectural support …, 1991	350	1991
Verified software toolchain AW Appel European Symposium on Programming (LNCS 6602), 1-17, 2011	343*	2011
Using memory errors to attack a virtual machine S Govindavajhala, AW Appel 2003 Symposium on Security and Privacy, 2003., 154-165, 2003	320	2003
SSA is functional programming AW Appel ACM SIGPLAN Notices 33 (4), 17-20, 2008	317*	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	272	2014
Garbage collection can be faster than stack allocation AW Appel Information Processing Letters 25 (4), 275-279, 1987	269	1987
Continuation-passing, closure-passing style AW Appel, T Jim Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	266	1989
A Standard ML compiler A Appel, D MacQueen Functional Programming Languages and Computer Architecture, 301-324, 1987	232	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