Daniel Poetzl : Publications

Conference papers

• [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