Andrew Appel

Affiliations: 
Computer Science Princeton University, Princeton, NJ 
Area:
Software verification, computer security, programming languages, compilers.
Google:
"Andrew Appel"

Parents

Sign in to add mentor
Ravi Sethi grad student 1985 Penn State
 (Compile-Time Evaluation and Code Generation in Semantics-Directed Compilers)

Children

Sign in to add trainee
Zhong Shao grad student 1994 Princeton
Daniel C. Wang grad student 2002 Princeton
Ljudevit Bauer grad student 2003 Princeton
Kedar N. Swadi grad student 2003 Princeton
Juan Chen grad student 2004 Princeton
Eun-Young Lee grad student 2004 Princeton
Xinming Ou grad student 2005 Princeton
Gang Tan grad student 2005 Princeton
Dinghao Wu grad student 2005 Princeton
Sudhakar Govindavajhala grad student 2006 Princeton
Aquinas Hobor grad student 2008 Princeton
Christopher D. Richards grad student 2010 Princeton
Robert W. Dockins grad student 2012 Princeton
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Appel AW, Beringer L, Chlipala A, et al. (2017) Position paper: the science of deep specification. Philosophical Transactions. Series a, Mathematical, Physical, and Engineering Sciences. 375
Appel AW. (2015) Verification of a cryptographic primitive: SHA-256 (abstract) Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 2015: 153
Appel AW. (2015) Verification of a cryptographic primitive: SHA-256 7 Acm Transactions On Programming Languages and Systems. 37
Stewart G, Beringer L, Cuellar S, et al. (2015) Compositional CompCert Acm Sigplan Notices. 50: 275-287
Kroll JA, Stewart G, Appel AW. (2014) Portable software fault isolation Proceedings of the Computer Security Foundations Workshop. 2014: 18-32
Appel AW, Dockins R, Hobor A, et al. (2014) Program logics for certified compilers Program Logics For Certified Compilers. 1-451
Beringer L, Stewart G, Dockins R, et al. (2014) Verified compilation for shared-memory C Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8410: 107-127
Dodds J, Appel AW. (2013) Mostly sound type system improves a foundational program verifier Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8307: 17-32
Stewart G, Beringer L, Appel AW. (2012) Verified heap theorem prover by paramodulation Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 3-14
Appel AW, Dockins R, Leroy X. (2012) A list-machine benchmark for mechanized metatheory Journal of Automated Reasoning. 49: 453-491
See more...