| 2023 | NDSS | Fine-Grained Trackability in Protocol Executions. | Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider |
| 2016 | FM | Danger Invariants. | Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis |
| 2015 | ESOP | Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. | Cristina David, Daniel Kroening, Matt Lewis |
| 2015 | ESOP | Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs. | Cristina David, Daniel Kroening, Matt Lewis |
| 2015 | FASE | Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. | David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis |
| 2015 | FM | Proving Safety with Trace Automata and Bounded Model Checking. | Daniel Kroening, Matt Lewis, Georg Weissenbacher |
| 2015 | FMCAD | Accelerating Invariant Generation. | Kumar Madhukar, Bjrn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas |
| 2015 | LPAR | Using Program Synthesis for Program Analysis. | Cristina David, Daniel Kroening, Matt Lewis |
| 2013 | CAV | Under-Approximating Loops in C Programs for Fast Counterexample Detection. | Daniel Kroening, Matt Lewis, Georg Weissenbacher |
| 2008 | ACNS | Steel, Cast Iron and Concrete: Security Engineering for Real World Wireless Sensor Networks. | Frank Stajano, Daniel Cvrcek, Matt Lewis |