Thomas Dinsdale-Young

According to our database, Thomas Dinsdale-Young authored at least 15 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

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

2020

Afgjort: A Partially Synchronous Finality Layer for Blockchains.

Thomas Dinsdale-Young, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Daniel Tschudi

Proceedings of the Security and Cryptography for Networks - 12th International Conference, 2020

2018

A perspective on specifying and verifying concurrent modules.

Thomas Dinsdale-Young, Pedro da Rocha Pinto, Philippa Gardner

J. Log. Algebraic Methods Program., 2018

2017

Trace Properties from Separation Logic Specifications.

Lars Birkedal, Thomas Dinsdale-Young, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos

CoRR, 2017

Caper - Automatic Verification for Fine-Grained Concurrency.

Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal

Proceedings of the Programming Languages and Systems, 2017

2016

Modular Termination Verification for Non-blocking Concurrency.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland

Proceedings of the Programming Languages and Systems, 2016

2015

Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper).

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

2014

TaDA: A Logic for Time and Data Abstraction.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Views: compositional reasoning for concurrent programs.

Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2011

Abstract data and local reasoning.

Thomas Dinsdale-Young

PhD thesis, 2011

A simple abstraction for complex concurrent indexes.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Abstract Local Reasoning for Program Modules.

Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Adjunct elimination in Context Logic for trees.

Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner

Inf. Comput., 2010

Abstraction and Refinement for Local Reasoning.

Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse

Proceedings of the Verified Software: Theories, 2010

Concurrent Abstract Predicates.

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis

Proceedings of the ECOOP 2010, 2010