Andrew W. Appel

Cited by

	All	Since 2018
Citations	17968	3829
h-index	59	29
i10-index	133	64

740

370

185

555

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202346 94 140 154 292 286 420 307 371 375 376 352 379 403 559 552 647 682 731 704 679 691 595 577 604 571 544 557 539 615 616 667 667 671 659 546

Public access

View all

14 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Zhong ShaoYale UniversityVerified email at yale.edu
Lennart BeringerPrinceton UniversityVerified email at cs.princeton.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
Kai LiProfessor of computer science, Princeton universityVerified email at cs.princeton.edu
Amy FeltyProfessor of Computer Science, University of OttawaVerified email at eecs.uottawa.ca
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
santiago cuellarPhD, Princeton UniversityVerified email at princeton.edu
Xavier LeroyCollège de FranceVerified email at college-de-france.fr
Matthias BlumeGoogleVerified email at google.com
Dinghao WuPennsylvania State UniversityVerified email at psu.edu
Josiah DoddsGaloisVerified email at galois.com
Francesco Zappa NardelliFacebookVerified email at fb.com
David McAllesterProfessor, Toyota Technological Institute at ChicagoVerified email at ttic.edu

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	2212*	1998
Compiling with Continuations AW Appel Cambridge University Press, 1992	1440*	1992
An efficient program for many-body simulation AW Appel SIAM J. Sci. Stat. Comput. 6 (1), 85-103, 1985	1024	1985
MulVAL: A logic-based network security analyzer. X Ou, S Govindavajhala, AW Appel USENIX security symposium 8, 113-128, 2005	875	2005
Simple generational garbage collection and fast allocation AW Appel Software: Practice and experience 19 (2), 171-183, 1989	507	1989
Foundational proof-carrying code AW Appel Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 247-256, 2001	500	2001
Iterated register coalescing L George, AW Appel ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 300-324, 1996	446	1996
Real-time concurrent collection on stock multiprocessors AW Appel, JR Ellis, K Li Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988	427	1988
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	422	2001
Standard ML of New Jersey AW Appel, DB MacQueen Programming Language Implementation and Logic Programming, 1-13, 1991	379	1991
Virtual memory primitives for user programs AW Appel, K Li Proceedings of the fourth international conference on Architectural support …, 1991	349	1991
Proof-carrying authentication AW Appel, EW Felten Proceedings of the 6th ACM Conference on Computer and Communications …, 1999	346	1999
Verified software toolchain AW Appel European Symposium on Programming (LNCS 6602), 1-17, 2011	317*	2011
Using memory errors to attack a virtual machine S Govindavajhala, AW Appel 2003 Symposium on Security and Privacy, 2003., 154-165, 2003	309	2003
Real time, concurrent garbage collection system and method JR Ellis, K Li, A Appel US Patent 5,088,036, 1992	300	1992
SSA is functional programming AW Appel ACM SIGPLAN Notices 33 (4), 17-20, 2008	298*	2008
Continuation-passing, closure-passing style AW Appel, T Jim Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	268	1989
Garbage collection can be faster than stack allocation AW Appel Information Processing Letters 25 (4), 275-279, 1987	264	1987
Program Logics for Certified Compilers AW Appel, R Dockins, A Hobor, L Beringer, J Dodds, G Stewart, S Blazy, ... Cambridge University Press, 2014	246	2014
A Standard ML compiler A Appel, D MacQueen Functional Programming Languages and Computer Architecture, 301-324, 1987	234	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