BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
4 × USA
Collaborated with:
A.F.Donaldson A.Betts H.Evrard A.Lascu P.Deligiannis J.Ketema A.Lal N.Chong S.Qadeer
Talks about:
test (4) concurr (2) verifi (2) gpu (2) asynchron (1) systemat (1) schedul (1) program (1) partial (1) graphic (1)

Person: Paul Thomson

DBLP DBLP: Thomson:Paul

Contributed to:

PLDI 20152015
PPoPP 20152015
PPoPP 20142014
OOPSLA 20122012
OOPSLA 20172017

Wrote 5 papers:

PLDI-2015-DeligiannisDKLT #analysis #programming #state machine #testing
Asynchronous programming, analysis and testing with state machines (PD, AFD, JK, AL, PT), pp. 154–164.
PPoPP-2015-ThomsonD #concurrent #lazy evaluation #partial order #reduction #testing
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing (PT, AFD), pp. 259–260.
PPoPP-2014-ThomsonDB #bound #concurrent #empirical #testing #using
Concurrency testing using schedule bounding: an empirical study (PT, AFD, AB), pp. 15–28.
OOPSLA-2012-BettsCDQT #gpu #kernel #named #verification
GPUVerify: a verifier for GPU kernels (AB, NC, AFD, SQ, PT), pp. 113–132.
OOPSLA-2017-DonaldsonELT #automation #compilation #testing
Automated testing of graphics shader compilers (AFD, HE, AL, PT), p. 29.
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.