| 2014 | SIGCSE | ACM/IEEE-CS computer science curricula 2013: implementing the final report. | Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, Elizabeth K. Hawthorne, Amruth Kumar, Richard LeBlanc, David Reed, Remzi Seker |
| 2013 | FIE | Special session: The CS2013 Computer Science curriculum guidelines project. | Steve Roach, Mehran Sahami, Richard LeBlanc, Remzi Seker |
| 2013 | SIGCSE | ACM/IEEE computer science 2013 exemplar-fest. | Andrea Danyluk, Steve Roach, Elizabeth K. Hawthorne, Henry MacKay Walker, Ruth E. Anderson, Christa M. Chewar |
| 2013 | SIGCSE | ACM/IEEE-CS computer science curriculum 2013: reviewing the ironman report. | Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, Richard LeBlanc |
| 2012 | FIE | Special session: The CS2013 Computer Science curriculum guidelines project. | Steve Roach, Mehran Sahami, Richard LeBlanc |
| 2012 | SIGCSE | Computer science curriculum 2013: reviewing the strawman report from the ACM/IEEE-CS task force. | Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, David Reed |
| 2011 | FIE | Special session - The CS2013 computer science curriculum guidelines project. | Mehran Sahami, Steve Roach, Richard LeBlanc |
| 2011 | SIGCSE | Setting the stage for computing curricula 2013: computer science - report from the ACM/IEEE-CS joint task force. | Mehran Sahami, Mark Guzdial, Andrew D. McGettrick, Steve Roach |
| 2008 | SEKE | A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. | Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela |
| 2008 | SEKE | PROTEF: Automatic Verification of Pattern-Based LTL Templates. | Luis Garca, Steve Roach, Salamah Salamah |
| 2007 | ATVA | Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. | Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach |
| 2007 | RV | Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. | Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates |
| 2005 | SAC | Prediction of inherited and genetic mutations using the software model checker SPIN. | Zubin Balsara, Steve Roach |
| 2003 | SEW | Instrumentation of Intermediate Code for Runtime Verification. | Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach |
| 2003 | WCAE | Combining learning strategies and tools in a first course in computer architecture. | Patricia J. Teller, Manuel Nieto, Steve Roach |
| 1998 | LOPSTR | Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. | Jeffrey Van Baalen, Steve Roach |