BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dinsdale-Young:Thomas

Contributed to:

ECOOP 20142014
POPL 20132013
OOPSLA 20112011
ECOOP 20102010
ESOP 20162016
ESOP 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.