Statistics
Publications
4
Citations
206
H-Index
4
Active since
2013
Affiliations
Daniel Poetzl is an author at University of Oxford specializing in parallel computing, computer engineering, and program analysis.
Publications per year
2013–2017
4
4
Jade Alglave, Mark Batty, Alastair F. Donaldson et al. · 2015 · 114 citations
Don't sit on the fence: A static analysis approach to automatic fence insertion
Jade Alglave, Daniel Kroening, Vincent Nimal et al. · arXiv (Cornell University) · 2013 · 39 citations · Full text
Jade Alglave, Daniel Kroening, Vincent Nimal et al. · ACM Transactions on Programming Languages and Systems · 2017 · 28 citations
Sound static deadlock analysis for C/Pthreads
Daniel Kroening, Daniel Poetzl, Peter Schrammel et al. · 2016 · 25 citations
Engineering, Computer Architecture, Pthreads Specification +17
1–4 of 4