Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Thomas Dinsdale-Young · SciRah

Researcher profile · Semantic Scholar

Thomas Dinsdale-Young

Share profile

Thomas Dinsdale-Young — researcher profile on SciRah

h-index: 11
Works: 25
Citations: 899

Most-cited papers

Concurrent Abstract Predicates
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson +1 more
2010European Conference on Object-Oriented Programming288 citations Open access
Semantic Scholar
Views: compositional reasoning for concurrent programs
Thomas Dinsdale-Young, L. Birkedal, Philippa Gardner, Matthew J. Parkinson +1 more
2013ACM-SIGACT Symposium on Principles of Programming Languages197 citations
Semantic Scholar
TaDA: A Logic for Time and Data Abstraction
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
2014European Conference on Object-Oriented Programming164 citations
Semantic Scholar
Afgjort: A Partially Synchronous Finality Layer for Blockchains
Thomas Dinsdale-Young, Bernardo Magri, C. Matt, J. Nielsen +1 more
2020International Conference on Security and Cryptography for Networks35 citations
Semantic Scholar
Caper: automatic verification for fine-grained concurrency
Thomas Dinsdale-Young, Pedro da Rocha Pinto, K. Andersen, L. Birkedal
2017European Symposium on Programming35 citations
Semantic Scholar
Modular Termination Verification for Non-blocking Concurrency
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland
2016European Symposium on Programming32 citations
Semantic Scholar
Theorems for free from separation logic specifications
L. Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber +2 more
2021Proc. ACM Program. Lang.29 citations Open access
Semantic Scholar
A simple abstraction for complex concurrent indexes
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner +1 more
2011Conference on Object-Oriented Programming Systems, Languages, and Applications28 citations Open access
Semantic Scholar
Abstraction and Refinement for Local Reasoning
Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse
2010Verified Software: Theories, Tools, Experiments25 citations
Semantic Scholar
Adjunct elimination in Context Logic for trees
Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner
2007Information and Computation19 citations Open access
Semantic Scholar
Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
2015Mathematical Foundations of Programming Semantics12 citations Open access
Semantic Scholar
Steps in modular specifications for concurrent modules
Philippa Gardner, Pedro da Rocha Pinto, Thomas Dinsdale-Young
20157 citations
Semantic Scholar
A perspective on specifying and verifying concurrent modules
Thomas Dinsdale-Young, Pedro da Rocha Pinto, Philippa Gardner
2018J. Log. Algebraic Methods Program.6 citations Open access
Semantic Scholar
Abstract data and local reasoning
Thomas Dinsdale-Young
20115 citations
Semantic Scholar
Decidability of Context Logic
Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner
20084 citations
Semantic Scholar
Verifying a concurrent data-structure from the Dartino Framework in Iris
Morten Krogh-Jespersen, Thomas Dinsdale-Young, L. Birkedal
20173 citations
Semantic Scholar
Modular Termination Verification for Non-blocking Concurrency (Extended Version)
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland
20163 citations
Semantic Scholar
Invited Tutorial Paper)
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
20152 citations
Semantic Scholar
Views : Compositional Reasoning for Concurrent Programs ( Draft Extended Version )
Thomas Dinsdale-Young, Lars
20122 citations
Semantic Scholar
Security and Cryptography for Networks: 12th International Conference, SCN 2020, Amalfi, Italy, September 14–16, 2020, Proceedings
Thomas Dinsdale-Young, Bernardo Magri, C. Matt, J. Nielsen +1 more
2020International Conference on Security and Cryptography for Networks1 citations Open access
Semantic Scholar
Trace Properties from Separation Logic Specifications
L. Birkedal, Thomas Dinsdale-Young, Guilhem Jaber, Kasper Svendsen +1 more
2017arXiv.org1 citations
Semantic Scholar
Locality Reﬁnement
Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse
20101 citations
Semantic Scholar
Title : Caper : Automatic Verification for Fine-Grained Concurrency
Thomas Dinsdale-Young, Pedro da Rocha Pinto, K. Andersen, L. Birkedal
20190 citations
Semantic Scholar
Abstract Disjointness and Abstract Atomicity
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
20140 citations
Semantic Scholar
Abstract Local Reasoning for Program Modules
Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse
2011Conference on Algebra and Coalgebra in Computer Science0 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

Philippa Gardner×16
Invite
Philippa Gardner — researcher profile on SciRah
Pedro da Rocha Pinto×11
Invite
Pedro da Rocha Pinto — researcher profile on SciRah
L. Birkedal×6
Invite
L. Birkedal — researcher profile on SciRah
Mark J. Wheelhouse×4
Invite
Mark J. Wheelhouse — researcher profile on SciRah

×2

Invite

Mike Dodds — researcher profile on SciRah

Matthew J. Parkinson×2

Invite

Matthew J. Parkinson — researcher profile on SciRah

Bernardo Magri×2

Invite

Bernardo Magri — researcher profile on SciRah

Invite

C. Matt — researcher profile on SciRah

Invite

J. Nielsen — researcher profile on SciRah

Daniel Tschudi×2

Invite

Daniel Tschudi — researcher profile on SciRah

Invite

K. Andersen — researcher profile on SciRah

Julian Sutherland×2

Invite

Julian Sutherland — researcher profile on SciRah