Design and Implementation of the Andromeda Proof Assistant

Andrej Bauer, Gaëtan Gilbert, Philipp Haselwarter, Matija Pretnar and Christopher A. Stone

• Conference Abstract 22nd International Conference on Types for Proofs and Programs (TYPES) 2016

Making Impractical Implementations Practical: Observationally Cooperative Multithreading Using HLE

Melissa E. O'Neill and Christopher A. Stone

• Workshop Abstract 10th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT) 2015

Observationally Cooperative Multithreading

Christopher A. Stone, Melissa E. O'Neill, Sonja A. Bohr, Adam M. Cozette, M. Joe DeBlasio, Julia Matsieva, Stuart A. Pernsteiner, Ari D. Schumer

• Unpublished manuscript 2011

Poster: Observationally Cooperative Multithreading

Christopher A. Stone, Melissa E. O'Neill, and The OCM Team

• Poster abstractACM International Conference Companion on Object Oriented Programming Systems Languages and Applications (SPLASH '11) 2011
• Poster SPLASH 2011

Nifty Assignments: Random Art

Nick Parlante, Thomas P. Murtagh, Mehran Sahami, Owen Astrachan, David Reed, Christopher A. Stone, Brent Heeringa, Karen Reid

• Conference versionProceedings of the 40th ACM Technical Symposium on Computer Science Educationi (SIGCSE '09) 2009
• Supplemental website

RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice

Andrej Bauer and Christopher A. Stone

• Journal paper Journal of Logic and Computation 2009
• Extended abstract Third Conference on Computability in Europe (CIE '07) 2007

Extensional Equivalence and Singleton Types

Christopher A. Stone and Robert Harper

• Journal article ACM Transactions on Computational Logic October 2006

Extensible Objects Without Labels

Christopher A. Stone

• Journal paper ACM Transactions on Programming Languages and Systems September 2004
• Workshop abstract Ninth Workshop on Foundations of Object-Oriented Languages (FOOL 9) 2002

Privacy via Subsumption

Jon G. Riecke and Christopher A. Stone

• Journal paper Information and Computation 2002
• Workshop abstract Fifth International Workshop on Foundations of Object-Oriented Languages (FOOL 5) 1998

Equational Theories with Recursive Types

Christopher A. Stone and Andrew P. Schoonmaker

• Unpublished manuscript 2001
• Extended version (with more proofs) 2001

Safe-for-Space Threads in Standard ML

Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki AND Chris Stone

• Journal paper Higher-Order and Symbolic Computation 1998

TIL: A Type-Directed Optimizing Compiler for ML

D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee

• Conference paper Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation (PLDI '96) 1996
• Retrospective ACM SIGPLAN Notices — Best of PLDI 1979–1999 2004