Daniel Poetzl

According to our database, Daniel Poetzl authored at least 9 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Lock correctness.

Daniel Poetzl

PhD thesis, 2018

2016

Sound Static Deadlock Analysis for C/Pthreads (Extended Version).

Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter

CoRR, 2016

Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models.

Daniel Poetzl, Daniel Kroening

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Sound static deadlock analysis for C/Pthreads.

Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

I compute, therefore I am (buggy): methodic doubt meets multiprocessors.

Jade Alglave, Luc Maranget, Daniel Poetzl, Tyler Sorensen

Tiny Trans. Comput. Sci., 2015

Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models (Extended Version).

Daniel Poetzl, Daniel Kroening

CoRR, 2015

GPU Concurrency: Weak Behaviours and Programming Assumptions.

Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion.

Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Solving Constraints for Generational Search.

Daniel Pötzl, Andreas Holzer

Proceedings of the Tests and Proofs - 7th International Conference, 2013