Daniel Poetzl

Identifiers

• name variant Daniel Poetzl 0.60 · backfill

Papers (3)

1. Sound Static Deadlock Analysis for C/Pthreads (Extended Version) cs.PL · 2016 · author #2
2. Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models (Extended Version) cs.PL · 2015 · author #1
3. Don't sit on the fence: A static analysis approach to automatic fence insertion cs.LO · 2013 · author #4

Mentions

• 1510.07171 #1 · backfill · confidence 0.70 Daniel Poetzl
• 1312.1411 #4 · backfill · confidence 0.70 Daniel Poetzl

Frequent Coauthors

• Daniel Kroening 3 shared papers
• Bj\"orn Wachter 1 shared papers
• Jade Alglave 1 shared papers
• Peter Schrammel 1 shared papers
• Vincent Nimal 1 shared papers