ABOUT
I’m a Ph.D candidate in computer science doing research in formal verification, semantics of programming languages, and computer security. Potential employers kindly consult my resume (HTML) or vita (PDF).
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.
© 2001–2009 Christopher D. Richards
