| 2012 | ICSE | Large-scale test automation in the cloud (Invited industrial talk). | John Penix |
| 2008 | ICSE | Predicting accurate and actionable static analysis warnings: an experimental approach. | Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian G. Elbaum, Gregg Rothermel |
| 2007 | OOPSLA | Using FindBugs on production software. | Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, YuQian Zhou |
| 2005 | SEW | Design for Verification with Dynamic Assertions. | Peter C. Mehlitz, John Penix |
| 2001 | ICSE | The Second International Workshop on Automated Program Analysis, Testing and Verification. | Nigel Tracey, John Penix, Willem Visser |
| 2000 | ICSE | Verification of time partitioning in the DEOS scheduler kernel. | John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger |
| 2000 | ICSE | The First International Workshop on Automated Program Analysis, Testing and Verification. | Nigel Tracey, John Penix, Willem Visser |
| 1997 | ISMIS | Verification and Validation of AI Systems that Control Deep-Space Spacecraft. | Michael R. Lowry, Klaus Havelund, John Penix |