Christopher A. Stone
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1996–2023
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ITiCSE | Student Experiences and Academic Outcomes When Multiple Introductory Tracks Converge. | Katherine Breeden, Lucas Bang, Christopher A. Stone, Julie Medero |
| 2011 | OOPSLA | Observationally cooperative multithreading. | Christopher A. Stone, Melissa E. O'Neill, The OCM Team |
| 2009 | SIGCSE | Nifty assignments. | Nick Parlante, Thomas P. Murtagh, Mehran Sahami, Owen L. Astrachan, David Reed, Christopher A. Stone, Brent Heeringa, Karen L. Reid |
| 2007 | CiE | RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. | Andrej Bauer, Christopher A. Stone |
| 2000 | POPL | Deciding Type Equivalence with Singleton Kinds. | Christopher A. Stone, Robert Harper |
| 1996 | PLDI | TIL: A Type-Directed Optimizing Compiler for ML. | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |
| 1996 | PLDI | TIL: a type-directed, optimizing compiler for ML (with retrospective) | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |