Concurrent Abstract Predicates. - Thomas Dinsdale-Young; Mike Dodds; Philippa Gardner; Matthew J. Parkinson; Viktor Vafeiadis (ECOOP, 2010)

Abstraction and Refinement for Local Reasoning. - Thomas Dinsdale-Young; Philippa Gardner; Mark J. Wheelhouse (VSTTE, 2010)

Adjunct elimination in Context Logic for trees. - Cristiano Calcagno; Thomas Dinsdale-Young; Philippa Gardner (Inf. Comput., 2010)

Abstract Local Reasoning for Program Modules. - Thomas Dinsdale-Young; Philippa Gardner; Mark J. Wheelhouse (CALCO, 2011)

A simple abstraction for complex concurrent indexes. - Pedro da Rocha Pinto; Thomas Dinsdale-Young; Mike Dodds; Philippa Gardner; Mark J. Wheelhouse (OOPSLA, 2011)

Abstract data and local reasoning. - Thomas Dinsdale-Young (2011)

Views: compositional reasoning for concurrent programs. - Thomas Dinsdale-Young; Lars Birkedal; Philippa Gardner; Matthew J. Parkinson; Hongseok Yang (POPL, 2013)

TaDA: A Logic for Time and Data Abstraction. - Pedro da Rocha Pinto; Thomas Dinsdale-Young; Philippa Gardner (ECOOP, 2014)

Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper). - Pedro da Rocha Pinto; Thomas Dinsdale-Young; Philippa Gardner (MFPS, 2015)

Modular Termination Verification for Non-blocking Concurrency. - Pedro da Rocha Pinto; Thomas Dinsdale-Young; Philippa Gardner; Julian Sutherland (ESOP, 2016)

Caper - Automatic Verification for Fine-Grained Concurrency. - Thomas Dinsdale-Young; Pedro da Rocha Pinto; Kristoffer Just Andersen; Lars Birkedal (ESOP, 2017)

Trace Properties from Separation Logic Specifications. - Lars Birkedal; Thomas Dinsdale-Young; Guilhem Jaber; Kasper Svendsen; Nikos Tzevelekos (CoRR, 2017)

A perspective on specifying and verifying concurrent modules. - Thomas Dinsdale-Young; Pedro da Rocha Pinto; Philippa Gardner (J. Log. Algebraic Methods Program., 2018)

Afgjort: A Partially Synchronous Finality Layer for Blockchains. - Thomas Dinsdale-Young; Bernardo Magri; Christian Matt 002; Jesper Buus Nielsen; Daniel Tschudi (SCN, 2020)

Theorems for free from separation logic specifications. - Lars Birkedal; Thomas Dinsdale-Young; Armaël Guéneau; Guilhem Jaber; Kasper Svendsen; Nikos Tzevelekos (Proc. ACM Program. Lang., 2021)