Andrew W. Appel

An Efficient Program for Many-Body Simulation

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

Natural Sciences, Computer Science, Physics +14

MulVAL: a logic-based network security analyzer

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

Computing, Computer Science, Cybersecurity +10

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

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

Computing, Computer Science, Mathematics +17

Foundational proof-carrying code

Andrew W. Appel · 2002 · 308 citations

Computing, Computer Science, Mathematics +16

Simple generational garbage collection and fast allocation

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

Computing, Computer Science, Computer Systems +14