Andrew+Appel

an American computer scientist and [|Eugene Higgins] professor of computer science at [|Princeton University], with a Ph.D. in CS from Carnegie Mellon University in 1985 under Ravi Sethi. His research interests include [|program verification], programming language [|semantics], [|compiler], [|computer security], [|automated reasoning], and [|election technology]. He is major contributor to the [|Standard ML] [|of New Jersey] compiler and one of the authors of [|Rog-O-Matic], described as a "belligerent expert system", which performs well when tested against expert [|Rogue] players, even winning the game. During the 80s, along with Guy Jacobson, he wrote the Scrabble program [|Crab], further developed by Graeme Thomas and Steve Thomas , to win the Gold medal at the 1st Computer Olympiad, London 1989, and Silver at the 2nd Computer Olympiad, London 1990. || toc =Selected Publications=
 * Home * People * Andrew Appel**
 * [[image:Andrew_Appel_FLoC_2006.jpg link="https://commons.wikimedia.org/wiki/File:Andrew_Appel_FLoC_2006.jpg"]] ||~ || **Andrew W. Appel**,
 * Andrew Appel ||~ ||^ ||

1980 ...

 * Andrew Appel (**1981**). //An Investigation of Galaxy Clustering Using an Asymptotically Fast N-Body Algorithm//. Senior Thesis, [|Princeton University], [|pdf]
 * Michael L. Mauldin, Guy Jacobson, Andrew Appel, Leonard Hamey (**1984**). //[|ROG-O-MATIC: A Belligerent Expert System]//. Carnegie Mellon University
 * Andrew Appel (**1985**). //Compile-Time Evaluation and Code Generation in Semantics-Directed Compilers//. Ph.D. thesis, Carnegie Mellon University
 * Andrew Appel, [|Kenneth J. Supowit] (**1987**). //Generalization of the Sethi-Ullman Algorithm for Register Allocation//. [|Software - Practice and Experience], Vol. 17, No. 6, [|CiteSeerX]
 * Andrew Appel, Guy Jacobson (**1988**). //The World’s Fastest Scrabble Program//. Communications of the ACM, Vol. 31, No. 5, [|pdf]

1990 ...

 * Andrew Appel (**1992**). //Compiling with Continuations//. [|Cambridge University Press]
 * Andrew Appel (**1998**). //[|Modern Compiler Implementation in ML]//. [|Cambridge University Press]
 * Andrew Appel (**1998**). //[|Modern Compiler Implementation in Java]//. [|Cambridge University Press]
 * Andrew Appel, [|Maia Ginsburg] (**1998**). //[|Modern Compiler Implementation in C]//. [|Cambridge University Press]

2000 ...

 * Andrew Appel, Ed Felten (**2000**). //[|Technological access control interferes with noninfringing scholarship]//. Communications of the ACM, Vol. 43, No. 9
 * Andrew Appel, [|Jens Palsberg] (**2002**). //[|Modern Compiler Implementation in Java]//. 2nd edition, [|Cambridge University Press]
 * Andrew Appel (**2007**). //[|Compiling with Continuations]//. [|Cambridge University Press]
 * Andrew Appel, [|Maia Ginsburg], [|Harri Hursti], [|Brian Kernighan], [|Christopher D. Richards], [|Gang Tan], [|Penny Venetis] (**2009**). //The New Jersey Voting-machine Lawsuit and the AVC Advantage DRE Voting Machine//. [|EVT/WOTE 2009], [|pdf]

2010 ...

 * [|Christian J. Bell], Andrew Appel, [|David Walker] (**2010**). //Concurrent Separation Logic for Pipelined Parallelization//. [|SAS 2010], [|pdf]
 * Andrew Appel (ed.) (**2012**). //[|Alan Turing's Systems of Logic: The Princeton Thesis]//. [|Princeton University Press] » Alan Turing
 * Andrew Appel (**2014**). //[|Program Logics for Certified Compilers]//. [|Cambridge University Press]
 * Andrew Appel (**2016**). //Modular Verification for Computer Security//. [|CSF 2016],[|pdf]

=External Links=
 * [|Andrew Appel's Home Page]
 * [|Andrew Appel from Wikipedia]
 * [|Andrew Appel - Wikimedia Commons]
 * [|Andrew Appel - The Mathematics Genealogy Project]
 * [|Andrew Appel's ICGA Tournaments]

=References= =What links here?= include page="Andrew Appel" component="backlinks" limit="40"
 * Up one level**