Andrew W. 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 [1] [2]. 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 [3]. During the 80s, along with Guy Jacobson, he wrote the Scrabble program Crab [4] [5], further developed by Graeme Thomas and Steve Thomas [6], to win the Gold medal at the 1st Computer Olympiad, London 1989, and Silver at the 2nd Computer Olympiad, London 1990.
Andrew Appel [7]

Selected Publications

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 ^[10]
• 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 ^[11]
• 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

1. ^ Andrew Appel - The Mathematics Genealogy Project
2. ^ Andrew Appel (1985). Compile-Time Evaluation and Code Generation in Semantics-Directed Compilers. Ph.D. thesis, Carnegie Mellon University
3. ^ Michael L. Mauldin, Guy Jacobson, Andrew Appel, Leonard Hamey (1984). ROG-O-MATIC: A Belligerent Expert System. Carnegie Mellon University
4. ^ Index of /wordgames/jacobson+appel - Crab
5. ^ Andrew Appel, Guy Jacobson (1988). The World’s Fastest Scrabble Program. Communications of the ACM, Vol. 31, No. 5, pdf
6. ^ Re: your scrabble program by Steve Thomas, from Scrabble - source code, June 05, 2000
7. ^ FLoC 2006: Andrew Appel, Image by Dennis Hamilton, August 11, 2006, CC BY 2.0, Andrew Appel - Wikimedia Commons
8. ^ Appel's research papers
9. ^ DBLP: Andrew W. Appel
10. ^ Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen (1993). The Essence of Compiling with Continuations. PLDI '93, pdf
11. ^ Continuation from Wikipedia

What links here?