Christopher D. Richards

According to our database, Christopher D. Richards authored at least 4 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Zanzibar: Google's Consistent, Global Authorization System.

Ruoming Pang, Ramón Cáceres, Mike Burrows, Zhifeng Chen, Pratik Dave, Nathan Germer, Alexander Golynski, Kevin Graney, Nina Kang, Lea Kissner, Jeffrey L. Korn, Abhishek Parmar, Christopher D. Richards, Mengzhi Wang

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

2010

Semantic foundations for typed assembly languages.

Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang

ACM Trans. Program. Lang. Syst., 2010

2009

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, Penny Venetis

Proceedings of the 2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2009

2007

A very modal model of a modern, major, general type system.

Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007