Author Info
Name
Affiliation
Papers
DANIEL POETZL
University of Oxford, Parks Road, Oxford, UK
7
Collaborators
Citations 
PageRank 
12
70
4.04
Referers 
Referees 
References 
165
228
138
Search Limit
100228
Title
Citations
PageRank
Year
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models.30.372016
Sound static deadlock analysis for C/Pthreads.30.392016
Sound Static Deadlock Analysis for C/Pthreads (Extended Version).10.352016
I compute, therefore I am (buggy): methodic doubt meets multiprocessors.00.342015
GPU Concurrency: Weak Behaviours and Programming Assumptions481.622015
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models (Extended Version)00.342015
Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion.150.632013