Publications
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
with Stéphane Gaubert and Eric Goubault. Extended journal version of ESOP2010 paper. Logical Methods in Computer Science, Janvier 2012. DOI: 10.2168/LMCS-8(1:01)2012.
- Abstract interpretation meets convex optimization
with Thomas Gawlitza, Helmut Seidl, Stéphane Gaubert and Eric Goubault.
Journal of Symbolic Computation, Décembre 2012. DOI: 10.1016/j.jsc.2011.12.048.
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis with Stéphane
Gaubert and Eric Goubault. ESOP2010, Paphos,Chypre 22-26 Mars 2010. ESOP'10 Slides.
- Computing the smallest fixed point of nonexpansive mappings arising in game theory and static analysis with Stéphane Gaubert and Eric Goubault.arXiv:0806.1160, Proceedings of MTNS'08, Blacksburg,Virginia,July 2008. MTNS'08 Slides.
Submitted articles and working papers
- Computing the smallest fixed point of order-preserving nonexpansive mappings arising in game theory and static analysis of programs
with Stéphane Gaubert and Eric Goubault. Submitted.
Thesis
Other