Thomas Dinsdale-Young
Thomas Dinsdale-Young
Aarhus University
Verified email at d-y.me.uk - Homepage
Title
Cited by
Cited by
Year
Concurrent abstract predicates
T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis
European Conference on Object-Oriented Programming, 504-528, 2010
2512010
Views: compositional reasoning for concurrent programs
T Dinsdale-Young, L Birkedal, P Gardner, M Parkinson, H Yang
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
1652013
TaDA: A logic for time and data abstraction
P da Rocha Pinto, T Dinsdale-Young, P Gardner
European Conference on Object-Oriented Programming, 207-231, 2014
942014
A simple abstraction for complex concurrent indexes
P da Rocha Pinto, T Dinsdale-Young, M Dodds, P Gardner, ...
ACM SIGPLAN Notices 46 (10), 845-864, 2011
262011
Modular termination verification for non-blocking concurrency
P da Rocha Pinto, T Dinsdale-Young, P Gardner, J Sutherland
European Symposium on Programming, 176-201, 2016
242016
Abstraction and refinement for local reasoning
T Dinsdale-Young, P Gardner, M Wheelhouse
International Conference on Verified Software: Theories, Tools, and …, 2010
242010
C aper
T Dinsdale-Young, P da Rocha Pinto, KJ Andersen, L Birkedal
European Symposium on Programming, 420-447, 2017
212017
Steps in modular specifications for concurrent modules (invited tutorial paper)
P da Rocha Pinto, T Dinsdale-Young, P Gardner
Electronic Notes in Theoretical Computer Science 319, 3-18, 2015
142015
Adjunct elimination in context logic for trees
C Calcagno, T Dinsdale-Young, P Gardner
Asian Symposium on Programming Languages and Systems, 255-270, 2007
122007
Adjunct elimination in Context Logic for trees
C Calcagno, T Dinsdale-Young, P Gardner
Information and Computation 208 (5), 474-499, 2010
52010
Abstract data and local reasoning
T Dinsdale-Young
52010
A perspective on specifying and verifying concurrent modules
T Dinsdale-Young, P da Rocha Pinto, P Gardner
Journal of Logical and Algebraic Methods in Programming 98, 1-25, 2018
32018
Locality refinement
T Dinsdale-Young, P Gardner, M Wheelhouse
22010
Adjunct elimination in context logic
T Dinsdale-Young
Master's thesis, Imperial College, London, 2006
22006
Afgjort: A Partially Synchronous Finality Layer for Blockchains
T Dinsdale-Young, B Magri, C Matt, JB Nielsen, D Tschudi
12020
Views: Compositional reasoning for concurrent programs (draft extended version)
T Dinsdale-Young, L Birkedal, P Gardner, MJ Parkinson, H Yang
Online at http://sites. google. com/site/viewsmodel, 2012
12012
Decidability of context logic
C Calcagno, T Dinsdale-Young, P Gardner
Submitted, 2009
12009
WIP: Formalizing the Concordium consensus protocol in Coq
T Dinsdale-Young, B Spitters, SE Thomsen, D Tschudi
2019
Trace Properties from Separation Logic Specifications
L Birkedal, T Dinsdale-Young, G Jaber, K Svendsen, N Tzevelekos
arXiv preprint arXiv:1702.02972, 2017
2017
Verifying a concurrent data-structure from the Dartino Framework in Iris
M Krogh-Jespersen, T Dinsdale-Young, L Birkedal
2016
The system can't perform the operation now. Try again later.
Articles 1–20