Christopher D. Richards

Department of Computer Science
Princeton University
35 Olden Street
Princeton, NJ 08540

Public Key ID: 3072R/15B3D785
Fingerprint: AAF4 3FF2 F7BB D687 8AB6 0C8C 8EFA B406 15B3 D785

Biographical

Potential employers kindly consult my resume.

Publications

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.

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), to appear.

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.

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.