Andrew W. Appel

An Efficient Program for Many-Body Simulation

Andrew W. Appel · SIAM Journal on Scientific and Statistical Computing · 1985 · 536 citations

Cluster Computing, Engineering, Simulation +25

MulVAL: a logic-based network security analyzer

Xinming Ou, Sudhakar Govindavajhala, Andrew W. Appel · 2005 · 509 citations

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

Andrew W. Appel, David McAllester · ACM Transactions on Programming Languages and Systems · 2001 · 348 citations

Engineering, Type Theory, Verification +18

Foundational proof-carrying code

Andrew W. Appel · 2002 · 305 citations

Engineering, Verification, Software Engineering +19

Simple generational garbage collection and fast allocation

Andrew W. Appel · Software Practice and Experience · 1989 · 304 citations

File System, Generational Garbage Collection, Engineering +13