I like designing, implementing, and applying programming language technologies for making software more secure and reliable.
Prior to achieving escape velocity I hacked on the Foundational Proof-Carrying Code project at Princeton led by Andrew Appel. For more information, kindly consult my résumé (PDF) or extended résumé / vita (PDF).
The Approximation Modality in Models of Higher-Order Types. Christopher D. Richards. PhD thesis, Princeton University, June 2010. Tech Report TR-872-10.
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.
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]