Daniel Poetzl

Daniel Poetzl

Doctoral Student

Student, Linacre College

Leaving date: 19th June 2018

Interests

Concurrency, program analysis

Selected Publications

View AllManage publications

• 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

• 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

• 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