| 2021 | FC | Standardized Crypto-Loans on the Cardano Blockchain. | Dmytro Kondratiuk, Pablo Lamela Seijas, Alexander Nemish, Simon J. Thompson |
| 2020 | FC | Marlowe: Implementing and Analysing Financial Contracts on Blockchain. | Pablo Lamela Seijas, Alexander Nemish, David Smith, Simon J. Thompson |
| 2020 | ISoLA | Efficient Static Analysis of Marlowe Contracts. | Pablo Lamela Seijas, David Smith, Simon J. Thompson |
| 2019 | ICSE | Rotor: a tool for renaming values in OCaml's module system. | Reuben N. S. Rowe, Hugo Fre, Simon J. Thompson, Scott Owens |
| 2019 | PLDI | Characterising renaming within OCaml's module system: theory and implementation. | Reuben N. S. Rowe, Hugo Fre, Simon J. Thompson, Scott Owens |
| 2018 | ISoLA | Marlowe: Financial Contracts on Blockchain. | Pablo Lamela Seijas, Simon J. Thompson |
| 2016 | ICSE | Model extraction and test generation from JUnit test suites. | Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco |
| 2015 | PEPM | Safe Concurrency Introduction through Slicing. | Huiqing Li, Simon J. Thompson |
| 2014 | ICSE | Improved semantics and implementation through property-based testing with QuickCheck. | Huiqing Li, Simon J. Thompson |
| 2014 | PEPM | Automating property-based testing of evolving web services. | Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco |
| 2012 | CEC | Evolving recursive programs using non-recursive scaffolding. | Alberto Moraglio, Fernando E. B. Otero, Colin G. Johnson, Simon J. Thompson, Alex Alves Freitas |
| 2012 | FASE | A Domain-Specific Language for Scripting Refactorings in Erlang. | Huiqing Li, Simon J. Thompson |
| 2012 | ICSE | Let's make refactoring tools user-extensible! | Huiqing Li, Simon J. Thompson |
| 2011 | FASE | Incremental Clone Detection and Elimination for Erlang Programs. | Huiqing Li, Simon J. Thompson |
| 2011 | ICST | Extracting Properties from Test Cases by Refactoring. | Huiqing Li, Simon J. Thompson, Thomas Arts |
| 2010 | DIAGRAMS | Fragments of Spider Diagrams of Order and Their Relative Expressiveness. | Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson |
| 2010 | PADL | Similar Code Detection and Elimination for Erlang Programs. | Huiqing Li, Simon J. Thompson |
| 2010 | PEPM | Clone detection and elimination for Haskell. | Christopher Brown, Simon J. Thompson |
| 2010 | SCAM | Refactoring Support for Modularity Maintenance in Erlang. | Huiqing Li, Simon J. Thompson |
| 2009 | PEPM | Clone detection and removal for Erlang/OTP within a refactoring environment. | Huiqing Li, Simon J. Thompson |
| 2008 | DIAGRAMS | Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. | Aidan J. Delaney, John Taylor, Simon J. Thompson |
| 2008 | OOPSLA | Tool support for refactoring functional programs. | Huiqing Li, Simon J. Thompson |
| 2008 | PEPM | Tool support for refactoring functional programs. | Huiqing Li, Simon J. Thompson |
| 2008 | PEPM | Mechanical verification of refactorings. | Nik Sultana, Simon J. Thompson |
| 2007 | DocEng | Declarative extensions of XML languages. | Simon J. Thompson, Peter R. King, Patrick Schmitz |
| 2007 | ECOOP | Refactoring Functional Programs at the University of Kent. | Simon J. Thompson, Christopher Brown, Huiqing Li, Claus Reinke, Nik Sultana |
| 2007 | WCNC | A Power Management Architecture for Sensor Nodes. | Jens Eliasson, Per Lindgren, Jerker Delsing, Simon J. Thompson, Yi-Bing Cheng |
| 2006 | SCAM | Comparative Study of Refactoring Haskell and Erlang Programs. | Huiqing Li, Simon J. Thompson |
| 2004 | DIAGRAMS | What Can Spider Diagrams Say? | Gem Stapleton, John Howse, John Taylor, Simon J. Thompson |
| 2004 | DocEng | Behavioral reactivity and real time programming in XML: | Peter R. King, Patrick Schmitz, Simon J. Thompson |
| 2003 | HASKELL | Tool support for refactoring functional programs. | Huiqing Li, Claus Reinke, Simon J. Thompson |
| 2003 | WWW | Presentation Dynamism in XML Functional Programming meets SMIL Animation. | Patrick Schmitz, Simon J. Thompson, Peter R. King |
| 1998 | TABLEAUX | A Tableau Method for Interval Temporal Logic with Projection. | Howard Bowman, Simon J. Thompson |
| 1995 | IM | Formal description techniques for object management. | John Derrick, Peter F. Linington, Simon J. Thompson |