7 citations · 27 across the 17 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
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.PL2013
Abstract Acceleration of General Linear Loops
Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan
We present abstract acceleration techniques for computing loop invariants for numerical programs with linear assignments and conditionals. Whereas abstract interpretation technique…