75 citations · 261 across the 31 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2017★ 2 cited
Discriminating Traces with Time
Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang +2
What properties about the internals of a program explain the possible differences in its overall running time for different inputs? In this paper, we propose a formal framework for…
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…