Department of Computer Science
Princeton University
35 Olden Street
Princeton, NJ 08540
Email:
richards@cs.princeton.edu
Public Key ID: 3072R/15B3D785
Fingerprint: AAF4 3FF2 F7BB D687 8AB6 0C8C 8EFA B406 15B3 D785
Potential employers kindly consult my resume. Also available in PDF.
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.