Browsing by Author Thomson, P

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 8 of 8
Publication DateTitleAuthor(s)
3-Jun-2015Asynchronous programming, analysis and testing with state machinesDeligiannis, P; Donaldson, AF; Ketema, J; Lal, A; Thomson, P
19-May-2016Combined effects of smoking and HPV16 in oropharyngeal cancerAnantharaman, D; Muller, DC; Lagiou, P; Ahrens, W; Holcátová, I, et al
9-Feb-2016Concurrency testing using controlled schedulers: an empirical studyThomson, P; Donaldson, AF; Betts, A
1-Aug-2014Concurrency testing using schedule bounding: an empirical studyThomson, P; Donaldson, AF; Betts, A
19-Oct-2012GPUVerify: A Verifier for GPU KernelsBetts, A; Chong, N; Donaldson, AF; Qadeer, S; Thomson, P
1-Jun-2015The Design and Implementation of a Verification Technique for GPU KernelsBetts, A; Chong, N; Donaldson, AF; Ketema, J; Qadeer, S, et al
24-Jan-2015The Lazy Happens-Before Relation: Better Partial-Order Reduction for Systematic Concurrency TestingThomson, P; Donaldson, AF
25-Feb-2016Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)Deligiannis, P; McCutchen, M; Thomson, P; Chen, S; Donaldson, AF, et al