16 citations · 41 across the 8 of their papers we have counts for
Showing 2012 · cs.CCShow all
2 papers · 2 filters
cs.CC2012★ 9 cited
Synthesis of sup-interpretations: a survey
Romain Péchoux
In this paper, we survey the complexity of distinct methods that allow the programmer to synthesize a sup-interpretation, a function providing an upper- bound on the size of the ou…
cs.CC2012
Complexity Information Flow in a Multi-threaded Imperative Language
Jean-Yves Marion, Romain Péchoux
We propose a type system to analyze the time consumed by multi-threaded imperative programs with a shared global memory, which delineates a class of safe multi-threaded programs. W…