• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage your publications. Semantic Scholar automatically creates author pages based on data aggregated from public sources and our publisher partners.
  • Andrew W. Appel
  • Computer Science
  • 1991 (First Publication: 1 November 1991)
  • This book shows how continuation-passing style is used as an intermediate representation to perform optimizations and program transformations. Continuations can be used to compile most programmingContinue Reading
  • Andrew W. Appel
  • Computer Science
  • 1997
  • Last year you may have seen the Modern Compiler Implementation in C: Basic Techniques (1997) which was the preliminary edition of our new 1998 textbook, Modern Compiler Implementation in C. The new,Continue Reading
  • Andrew W. Appel
  • Computer Science
  • Proceedings 16th Annual IEEE Symposium on Logic…
  • 2001 (First Publication: 16 June 2001)
  • Proof-carrying code is a framework for the mechanical verification of safety properties of machine-language programs, but the problem arises of "quis custodiat ipsos custodes" - i.e. who verifies theContinue Reading
  • Andrew W. Appel, Edward W. Felten
  • Computer Science
  • CCS '99
  • 1999 (First Publication: 1 November 1999)
  • We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks — including Taos, SPKI, SDSI, and X.509 — have beenContinue Reading
  • Andrew W. Appel
  • Computer Science
  • 1998 (First Publication: 1 December 2007)
  • From the Publisher: This textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection viaContinue Reading
  • Lal George, Andrew W. Appel
  • Computer Science
  • POPL '96
  • 1996
  • An important function of any register allocator is to target registers so as to eliminate copy instructions. Graph-coloring register allocation is an elegant approach to this problem. If the sourceContinue Reading