Christopher D. Richards

Research Papers

The Approximation Modality in Models of Higher-Order Types. Christopher D. Richards. PhD thesis, Princeton University, June 2010.

Semantic foundations for typed assembly languages. Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Gang Tan, and Daniel C. Wang. ACM Transactions on Programming Languages and Systems (TOPLAS), 32(3):1–67, March 2010. [ACM page]

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, and Penny Venetis. In EVT/WOTE ’09: Proceedings of the 2009 USENIX/Accurate/IAVoSS Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, August 2009.

Insecurities and inaccuracies of the Sequoia AVC Advantage 9.00H DRE voting machine. Andrew W. Appel, Maia Ginsburg, Harri Hursti, Brian W. Kernighan, Christopher D. Richards, and Gang Tan. Redacted version of expert report submitted in Gusciora v. Corzine, September 2008.

A very modal model of a modern, major, general type system. Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, and Jérôme Vouillon. In POPL ’07: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2007. [ACM page]

A kind system for typed machine language. Andrew W. Appel, Christopher D. Richards, and Kedar N. Swadi. Princeton University, October 2002.

Normalization of non-standard words. R. Sproat, A. Black, S. Chen, S. Kumar, M. Ostendorf, and C. Richards. Computer Speech & Language, 15(3):287–333, July 2001.