Thomas Dinsdale-Young

16 papers A* 1A 5B 3Misc 1Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2021 J jnl
Theorems for free from separation logic specifications.
Proc. ACM Program. Lang.
Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
2020 Misc conf
Afgjort: A Partially Synchronous Finality Layer for Blockchains.
SCN
Thomas Dinsdale-Young, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Daniel Tschudi
2018 J jnl
A perspective on specifying and verifying concurrent modules.
J. Log. Algebraic Methods Program.
Thomas Dinsdale-Young, Pedro da Rocha Pinto, Philippa Gardner
2017 A conf
Caper - Automatic Verification for Fine-Grained Concurrency.
ESOP
Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal
2017 J jnl
Trace Properties from Separation Logic Specifications.
CoRR
Lars Birkedal, Thomas Dinsdale-Young, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
2016 A conf
Modular Termination Verification for Non-blocking Concurrency.
ESOP
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland
2015 B conf
Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper).
MFPS
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
2014 A conf
TaDA: A Logic for Time and Data Abstraction.
ECOOP
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
2013 A* conf
Views: compositional reasoning for concurrent programs.
POPL
Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang
2011 A conf
A simple abstraction for complex concurrent indexes.
OOPSLA
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse
2011 B conf
Abstract Local Reasoning for Program Modules.
CALCO
Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse
2011 — —
Abstract data and local reasoning.
Thomas Dinsdale-Young
2010 — conf
Abstraction and Refinement for Local Reasoning.
VSTTE
Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse
2010 J jnl
Adjunct elimination in Context Logic for trees.
Inf. Comput.
Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner
2010 A conf
Concurrent Abstract Predicates.
ECOOP
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis
2007 B conf
Adjunct Elimination in Context Logic for Trees.
APLAS
Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner