Thomas Dinsdale-Young
Thomas Dinsdale-Young
Aarhus University
Dirección de correo verificada de d-y.me.uk - Página principal
Título
Citado por
Citado por
Año
Concurrent abstract predicates
T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis
European Conference on Object-Oriented Programming, 504-528, 2010
2592010
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
1712013
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
1032014
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
262016
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
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
222017
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
42018
Afgjort: A Partially Synchronous Finality Layer for Blockchains
T Dinsdale-Young, B Magri, C Matt, JB Nielsen, D Tschudi
32020
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20