| 2016 | FAST | Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). | Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte |
| 2015 | FMCAD | Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols. | Murali Talupur, Sandip Ray, John Erickson |
| 2014 | HPCA | PVCoherence: Designing flat coherence protocols for scalable verification. | Meng Zhang, Jesse D. Bingham, John Erickson, Daniel J. Sorin |
| 2014 | USENIX | Efficient Tracing of Cold Code via Bias-Free Sampling. | Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi |
| 2013 | CAV | Distributed Explicit State Model Checking of Deadlock Freedom. | Brad D. Bingham, Jesse D. Bingham, John Erickson, Mark R. Greenstreet |
| 2013 | HCI | Unified Modeling Language: The Teen Years and Growing Pains. | John Erickson, Keng Siau |
| 2012 | RV | Dynamic Analyses for Data-Race Detection. | John Erickson, Stephen N. Freund, Madanlal Musuvathi |
| 2010 | OSDI | Effective Data-Race Detection for the Kernel. | John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk |
| 2009 | FMCAD | Industrial strength refinement checking. | Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen |
| 2007 | EMMSAD | Can UML Be Simplified? Practitioner Use of UML in Separate Domains. | John Erickson, Keng Siau |
| 2004 | CaiSE | The Complexity of UML: Differentiating Practical and Theoretical Complexity. | John Erickson, Keng Siau |
| 2004 | ICIS | Theoretical and Practical Complexity of Unified Modeling Language: Delphi Study and Metrics Analyses. | John Erickson, Keng Siau |
| 2002 | OOPSLA | Stability in a bidding/quotation system. | John Erickson, Yuhui Jiao, Yi Chen, Mohamed Fayad |