| 2017 | GECCO | A baseline-realistic objective open-ended kinematics simulator for evolutionary robotics. | Riley Konsella, Frank Chiarulli, John Peterson, John Rieffel |
| 2017 | SIGCSE | Integrating Computer Science into Music Education. | John Peterson, Greg Haynes |
| 2015 | SIGCSE | Reactive Game Engine Programming for STEM Outreach. | Alan M. Cleary, Lucas Vandenbergh, John Peterson |
| 2007 | PADL | HPorter: Using Arrows to Compose Parallel Processes. | Liwen Huang, Paul Hudak, John Peterson |
| 2007 | PDPTA | A Study of Dynamically Adaptive Partitioning for AMR. | Johan Steensland, John Peterson |
| 2005 | Tapia | Media centered languages for new computing experiences. | John Peterson |
| 2003 | HASKELL | The Yampa arcade. | Antony Courtney, Henrik Nilsson, John Peterson |
| 2003 | PADL | Functional Hybrid Modeling. | Henrik Nilsson, John Peterson, Paul Hudak |
| 2002 | HASKELL | Functional reactive programming, continued. | Henrik Nilsson, Antony Courtney, John Peterson |
| 2002 | ICRA | Specifying Behavior in C++. | Xiangtian Dai, Gregory D. Hager, John Peterson |
| 2001 | PADL | FVision: A Declarative Language for Visual Tracking. | John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager |
| 2000 | PADL | Parallel Functional Reactive Programming. | John Peterson, Valery Trifonov, Andrei Serjantov |
| 1999 | ICRA | A Language for Declarative Robotic Programming. | John Peterson, Gregory D. Hager, Paul Hudak |
| 1999 | ICSE | Prototyping Real-Time Vision Systems: An Experiment in DSL Design. | Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak |
| 1999 | PADL | Lambda in Motion: Controlling Robots with Haskell. | John Peterson, Paul Hudak, Conal Elliott |
| 1993 | PLDI | Implementing Type Classes. | John Peterson, Mark P. Jones |