Volgen
Thomas Dinsdale-Young
Thomas Dinsdale-Young
Aarhus University
Geverifieerd e-mailadres voor d-y.me.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Concurrent abstract predicates
T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis
European Conference on Object-Oriented Programming, 504-528, 2010
3022010
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
2002013
TaDA: A logic for time and data abstraction
P Rocha Pinto, T Dinsdale-Young, P Gardner
European Conference on Object-Oriented Programming, 207-231, 2014
1412014
C aper
T Dinsdale-Young, P Rocha Pinto, KJ Andersen, L Birkedal
European Symposium on Programming, 420-447, 2017
382017
Modular termination verification for non-blocking concurrency
P Rocha Pinto, T Dinsdale-Young, P Gardner, J Sutherland
European Symposium on Programming, 176-201, 2016
342016
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
302011
Abstraction and refinement for local reasoning
T Dinsdale-Young, P Gardner, M Wheelhouse
International Conference on Verified Software: Theories, Tools, and …, 2010
272010
Afgjort: A partially synchronous finality layer for blockchains
T Dinsdale-Young, B Magri, C Matt, JB Nielsen, D Tschudi
International Conference on Security and Cryptography for Networks, 24-44, 2020
212020
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
162015
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
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
82018
Adjunct elimination in Context Logic for trees
C Calcagno, T Dinsdale-Young, P Gardner
Information and Computation 208 (5), 474-499, 2010
82010
Abstract data and local reasoning
T Dinsdale-Young
52010
Theorems for free from separation logic specifications.
L Birkedal, T Dinsdale-Young, A Guéneau, G Jaber, K Svendsen, ...
Proc. ACM Program. Lang. 5 (ICFP), 1-29, 2021
42021
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
Verifying a concurrent data-structure from the Dartino Framework in Iris
M Krogh-Jespersen, T Dinsdale-Young, L Birkedal
12016
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
Theorems for Free from Separation Logic Specifications
N Tzevelekos, G Jaber, L Birkedal, T DINSDALE-YOUNG, A GUÉNEAU, ...
2021
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20