Travelled to:1 × Italy
1 × Slovenia
1 × Sweden
1 × USA
Collaborated with:P.Gardner P.d.R.Pinto L.Birkedal M.J.Parkinson M.Dodds J.Sutherland K.J.Andersen H.Yang M.J.Wheelhouse V.Vafeiadis
Talks about:concurr (5) abstract (3) verif (2) composit (1) program (1) modular (1) complex (1) automat (1) termin (1) reason (1)
Person: Thomas Dinsdale-Young
DBLP: Dinsdale-Young:Thomas
Contributed to:
2014
2013
20112010
20162017Wrote 6 papers:
- ECOOP-2014-PintoDG #abstraction #logic #named
- TaDA: A Logic for Time and Data Abstraction (PdRP, TDY, PG), pp. 207–231.
- POPL-2013-Dinsdale-YoungBGPY #composition #concurrent #named #reasoning #source code
- Views: compositional reasoning for concurrent programs (TDY, LB, PG, MJP, HY), pp. 287–300.
- OOPSLA-2011-PintoDDGW #abstraction #concurrent
- A simple abstraction for complex concurrent indexes (PdRP, TDY, MD, PG, MJW), pp. 845–864.
- ECOOP-2010-Dinsdale-YoungDGPV #concurrent
- Concurrent Abstract Predicates (TDY, MD, PG, MJP, VV), pp. 504–528.
- ESOP-2016-PintoDGS #composition #concurrent #termination #verification
- Modular Termination Verification for Non-blocking Concurrency (PdRP, TDY, PG, JS), pp. 176–201.
- ESOP-2017-Dinsdale-YoungP #automation #concurrent #fine-grained #verification
- Caper - Automatic Verification for Fine-Grained Concurrency (TDY, PdRP, KJA, LB), pp. 420–447.