Daniel Poetzl

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 4

Top Topics

Static Analysis

Symbolic Execution

Top Venues

Tiny Trans. Comput. Sci.

Publications

Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. ACM Trans. Program. Lang. Syst. 39 (2) (2017)
Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter
Sound Static Deadlock Analysis for C/Pthreads (Extended Version). CoRR (2016)
Daniel Poetzl, Daniel Kroening
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models. TACAS (2016)
Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter
Sound static deadlock analysis for C/Pthreads. ASE (2016)
Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS (2015)
Jade Alglave, Luc Maranget, Daniel Poetzl, Tyler Sorensen
I compute, therefore I am (buggy): methodic doubt meets multiprocessors. Tiny Trans. Comput. Sci. 3 (2015)
Daniel Poetzl, Daniel Kroening
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models (Extended Version). CoRR (2015)
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion. CAV (2014)
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
Don't sit on the fence: A static analysis approach to automatic fence insertion. CoRR (2013)