Daniel Poetzl : Publications
-
[1]
Sound Static Deadlock Analysis for C/Pthreads
Daniel Kroening‚ Daniel Poetzl‚ Peter Schrammel and Björn Wachter
In ASE. 2016.
Details about Sound Static Deadlock Analysis for C/Pthreads | BibTeX data for Sound Static Deadlock Analysis for C/Pthreads
-
[2]
Formalizing and Checking Thread Refinement for Data−Race−Free Execution Models
Daniel Poetzl and Daniel Kroening
In TACAS. 2016.
Details about Formalizing and Checking Thread Refinement for Data−Race−Free Execution Models | BibTeX data for Formalizing and Checking Thread Refinement for Data−Race−Free Execution Models
-
[3]
GPU Concurrency: Weak Behaviours and Programming Assumptions
Jade Alglave‚ Mark Batty‚ Alastair F. Donaldson‚ Ganesh Gopalakrishnan‚ Jeroen Ketema‚ Daniel Poetzl‚ Tyler Sorensen and John Wickerson
In ASPLOS. 2015.
Details about GPU Concurrency: Weak Behaviours and Programming Assumptions | BibTeX data for GPU Concurrency: Weak Behaviours and Programming Assumptions
-
[4]
Don't Sit on the Fence − A Static Analysis Approach to Automatic Fence Insertion
Jade Alglave‚ Daniel Kroening‚ Vincent Nimal and Daniel Poetzl
In CAV. 2014.
Details about Don't Sit on the Fence − A Static Analysis Approach to Automatic Fence Insertion | BibTeX data for Don't Sit on the Fence − A Static Analysis Approach to Automatic Fence Insertion
-
[5]
Solving Constraints for Generational Search
Daniel Poetzl and Andreas Holzer
In TAP. 2013.
Details about Solving Constraints for Generational Search | BibTeX data for Solving Constraints for Generational Search