| Concurrent abstract predicates T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis European Conference on Object-Oriented Programming, 504-528, 2010 | 250 | 2010 |
| 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 | 163 | 2013 |
| 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 | 93 | 2014 |
| 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 | 26 | 2011 |
| 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 | 24 | 2016 |
| Abstraction and refinement for local reasoning T Dinsdale-Young, P Gardner, M Wheelhouse International Conference on Verified Software: Theories, Tools, and …, 2010 | 23 | 2010 |
| C aper T Dinsdale-Young, P da Rocha Pinto, KJ Andersen, L Birkedal European Symposium on Programming, 420-447, 2017 | 21 | 2017 |
| 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 | 14 | 2015 |
| Adjunct elimination in context logic for trees C Calcagno, T Dinsdale-Young, P Gardner Asian Symposium on Programming Languages and Systems, 255-270, 2007 | 12 | 2007 |
| Abstract data and local reasoning T Dinsdale-Young | 5 | 2010 |
| Adjunct elimination in Context Logic for trees C Calcagno, T Dinsdale-Young, P Gardner Information and Computation 208 (5), 474-499, 2010 | 4 | 2010 |
| 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 | 3 | 2018 |
| Locality refinement T Dinsdale-Young, P Gardner, M Wheelhouse | 2 | 2010 |
| Adjunct elimination in context logic T Dinsdale-Young Master's thesis, Imperial College, London, 2006 | 2 | 2006 |
| 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 | 1 | 2012 |
| Decidability of context logic C Calcagno, T Dinsdale-Young, P Gardner Submitted, 2009 | 1 | 2009 |
| Afgjort: A Partially Synchronous Finality Layer for Blockchains T Dinsdale-Young, B Magri, C Matt, JB Nielsen, D Tschudi | | 2020 |
| 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 |
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
