A very modal model of a modern, major, general type system. - Andrew W. Appel; Paul-André Melliès; Christopher D. Richards; Jérôme Vouillon (POPL, 2007)

The New Jersey Voting-machine Lawsuit and the AVC Advantage DRE Voting Machine. - Andrew W. Appel; Maia Ginsburg; Harri Hursti; Brian W. Kernighan; Christopher D. Richards; Gang Tan; Penny Venetis (EVT/WOTE, 2009)

Semantic foundations for typed assembly languages. - Amal Ahmed 001; Andrew W. Appel; Christopher D. Richards; Kedar N. Swadi; Gang Tan; Daniel C. Wang (ACM Trans. Program. Lang. Syst., 2010)

Zanzibar: Google's Consistent, Global Authorization System. - Ruoming Pang; Ramón Cáceres; Mike Burrows; Zhifeng Chen; Pratik Dave; Nathan Germer; Alexander Golynski; Kevin Graney; Nina Kang; Lea Kissner; Jeffrey L. Korn; Abhishek Parmar; et al. (USENIX ATC, 2019)