| 2022 | ICER | Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don't Stack Up. | John Clements, Shriram Krishnamurthi |
| 2021 | SIGCSE | Before You Write Code ... Putting Data and Ethics at the Center of Introductory Computing. | Zach Rentz, John Clements, Zo J. Wood, Aaron W. Keen |
| 2018 | SIGCSE | Mixed Approaches to CS0: Exploring Topic and Pedagogy Variance after Six Years of CS0. | Zo J. Wood, John Clements, Zachary Peterson, David S. Janzen, Hugh Smith, Michael Haungs, Julie Workman, John Bellardo, Bruce DeBruhl |
| 2013 | ICSE | An evaluation of interactive test-driven labs with WebIDE in CS0. | David S. Janzen, John Clements, Michael Hilton |
| 2012 | POPL | Run your research: on the effectiveness of lightweight mechanization. | Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler |
| 2012 | SIGCSE | Improving first-year success and retention through interest-based CS0 courses. | Michael Haungs, Christopher Clark, John Clements, David S. Janzen |
| 2010 | ICST | Overcoming Obstacles to Test-Driven Learning on Day One. | John Clements, David S. Janzen |
| 2009 | SIGCSE | Implications of integrating test-driven development into CS1/CS2 curricula. | Chetan Desai, David S. Janzen, John Clements |
| 2005 | ICFP | Laziness without all the hard work: combining lazy and strict languages for teaching. | Eli Barzilay, John Clements |
| 2005 | ICFP | Continuations from generalized stack inspection. | Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen |
| 2003 | ESOP | A Tail-Recursive Semantics for Stack Inspections. | John Clements, Matthias Felleisen |
| 2001 | ESOP | Modeling an Algebraic Stepper. | John Clements, Matthew Flatt, Matthias Felleisen |
| 2001 | NDSS | Termination in Language-based Systems. | Algis Rudys, John Clements, Dan S. Wallach |