| 2024 | TACAS | DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. | Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes |
| 2019 | ICRA | Salty-A Domain Specific Language for GR(1) Specifications and Designs. | Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu |
| 2018 | CAV | Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System. | Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb |
| 2016 | RV | TrackOS: A Security-Aware Real-Time Operating System. | Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb |
| 2015 | HASKELL | Guilt free ivory. | Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury |
| 2015 | RV | Assuring the Guardians. | Jonathan Laurent, Alwyn Goodloe, Lee Pike |
| 2014 | HASKELL | SmartCheck: automatic and efficient counterexample reduction and generalization. | Lee Pike |
| 2014 | ICFP | Building embedded systems with embedded DSLs. | Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury |
| 2013 | MEMOCODE | Keynote talk I: Building a high-assurance unpiloted air vehicle. | Lee Pike |
| 2012 | ICFP | Experience report: a do-it-yourself high-assurance compiler. | Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe |
| 2011 | FMCAD | Pervasive formal verification in control system design. | Lee Pike |
| 2011 | ICST | Practical Considerations in Control-Flow Integrity Monitoring. | Iavor S. Diatchki, Lee Pike, Levent Erkk |
| 2011 | RV | Runtime Verification for Ultra-Critical Systems. | Lee Pike, Sebastian Niller, Nis Wegmann |
| 2010 | RV | Copilot: A Hard Real-Time Runtime Monitor. | Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller |
| 2009 | HASKELL | Roll your own test bed for embedded real-time protocols: a haskell experience. | Lee Pike, Geoffrey M. Brown, Alwyn Goodloe |
| 2007 | FMCAD | Modeling Time-Triggered Protocols and Verifying Their Real-Time Schedules. | Lee Pike |
| 2007 | MEMOCODE | Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols. | Geoffrey M. Brown, Lee Pike |
| 2006 | TACAS | Easy Parameterized Verification of Biphase Mark and 8N1 Protocols. | Geoffrey M. Brown, Lee Pike |
| 2005 | EMSOFT | The formal verification of a reintegration protocol. | Lee Pike, Steven D. Johnson |