Andrew W. Appel’s Followers (7)

Andrew W. Appel

Website

http://www.cs.princeton.edu/~appel/

Genre

Nonfiction

edit data

Andrew W. Appel, Ph.D. (Computer Science, Carnegie Mellon University, 1985; A.B., Princeton University, 1981) is the Eugene Higgins Professor of Computer Science at Princeton University, where he has been on the faculty since 1986. He served as department chair from 2009 to 2015. His research is in software verification, computer security, programming languages and compilers, and technology policy.

He has been editor-in-chief of ACM Transactions on Programming Languages and Systems and is a fellow of the ACM (Association for Computing Machinery). He has worked on fast N-body algorithms (1980s), Standard ML of New Jersey (1990s), Foundational Proof-Carrying Code (2000s), and the Verified Software Toolchain (2010s). He is the author of several ...more

Combine Editions
Andrew W. Appel’s books

Average rating: 3.81 · 241 ratings · 17 reviews · 16 distinct works • Similar authors

	Modern Compiler Implementation in Java by Andrew W. Appel, Jens Palsberg 3.54 avg rating — 83 ratings — published 1997 — 14 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Modern Compiler Implementation in ML 4.10 avg rating — 62 ratings — published 1997 — 11 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Modern Compiler Implementation in C by Andrew W. Appel, Maia Ginsburg (Primary Contributor) 3.69 avg rating — 42 ratings — published 1997 — 15 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Compiling with Continuations really liked it 4.00 avg rating — 28 ratings — published 1991 — 10 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Program Logics for Certified Compilers by Andrew W. Appel, Robert Dockins (Contributor), Aquinas Hobor (Contributor) 4.29 avg rating — 7 ratings — published 2014 — 8 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Modern Compiler Implementation in C: Basic Techniques by Andrew W. Appel, Maia Ginsburg really liked it 4.00 avg rating — 5 ratings — published 1997	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Software Foundations, Volume 3: Verified Functional Algorithms 3.50 avg rating — 2 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Verifiable C (Software Foundations, #5) by Andrew W. Appel, Qinxiang Cao liked it 3.00 avg rating — 1 rating — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Modern Compiler Implementation in Java: Basic Techniques 0.00 avg rating — 0 ratings — published 1997	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Proof-Carrying Code with Correct Compilers 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars