Thomas Dinsdale-Young
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2007–2020
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | SCN | Afgjort: A Partially Synchronous Finality Layer for Blockchains. | Thomas Dinsdale-Young, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Daniel Tschudi |
| 2017 | ESOP | Caper - Automatic Verification for Fine-Grained Concurrency. | Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal |
| 2016 | ESOP | Modular Termination Verification for Non-blocking Concurrency. | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland |
| 2014 | ECOOP | TaDA: A Logic for Time and Data Abstraction. | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner |
| 2013 | POPL | Views: compositional reasoning for concurrent programs. | Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang |
| 2011 | CALCO | Abstract Local Reasoning for Program Modules. | Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse |
| 2011 | OOPSLA | A simple abstraction for complex concurrent indexes. | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse |
| 2010 | ECOOP | Concurrent Abstract Predicates. | Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis |
| 2007 | APLAS | Adjunct Elimination in Context Logic for Trees. | Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner |