38 citations · 40 across the 3 of their papers we have counts for
3 papers
cs.PL2016★ 1 cited
Sound Static Deadlock Analysis for C/Pthreads (Extended Version)
Daniel Kroening, Daniel Poetzl, Peter Schrammel +1
We present a static deadlock analysis approach for C/pthreads. The design of our method has been guided by the requirement to analyse real-world code. Our approach is sound (i.e.,…
cs.PL2015★ 1 cited
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models (Extended Version)
Daniel Poetzl, Daniel Kroening
When optimizing a thread in a concurrent program (either done manually or by the compiler), it must be guaranteed that the resulting thread is a refinement of the original thread.…
cs.LO2013★ 38 cited
Don't sit on the fence: A static analysis approach to automatic fence insertion
Jade Alglave, Daniel Kroening, Vincent Nimal +1
Modern architectures rely on memory fences to prevent undesired weakenings of memory consistency. As the fences' semantics may be subtle, the automation of their placement is highl…