Solving Constraints for Generational Search. - Daniel Pötzl; Andreas Holzer (TAP@STAF, 2013)

GPU Concurrency: Weak Behaviours and Programming Assumptions. - Jade Alglave; Mark Batty; Alastair F. Donaldson; Ganesh Gopalakrishnan; Jeroen Ketema; Daniel Poetzl; Tyler Sorensen 001; John Wickerson (ASPLOS, 2015)

Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models (Extended Version). - Daniel Poetzl; Daniel Kroening (CoRR, 2015)

I compute, therefore I am (buggy): methodic doubt meets multiprocessors. - Jade Alglave; Luc Maranget; Daniel Poetzl; Tyler Sorensen 001 (Adv. Math. Commun., 2015)

Sound static deadlock analysis for C/Pthreads. - Daniel Kroening; Daniel Poetzl; Peter Schrammel; Björn Wachter (ASE, 2016)

Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models. - Daniel Poetzl; Daniel Kroening (TACAS, 2016)

Sound Static Deadlock Analysis for C/Pthreads (Extended Version). - Daniel Kroening; Daniel Poetzl; Peter Schrammel; Björn Wachter (CoRR, 2016)

Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. - Jade Alglave; Daniel Kroening; Vincent Nimal; Daniel Poetzl (ACM Trans. Program. Lang. Syst., 2017)

Lock correctness. - Daniel Poetzl (2018)