Assalé Adjé

• Home
• Teaching
• Publications & Talks

Publications

• Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis with Stéphane Gaubert and Eric Goubault. Journal of Mathematical Analysis and Applications. February 2014.
• Static analysis of programs with imprecise and probabilistic inputs with Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq and Sylvie Putot. Verified Software: Theories, Tools and Experiments (VSTTE'13), 2013. May 17-19, 2013 Atherton, USA.
• 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, January 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, December 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. European Symposium on Programming (ESOP2010), Paphos,Chypre 22-26 March 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.

Thesis

• Optimisation et jeux appliqués à l'analyse statique de programmes par interprétation abstraite (in French). Slides (in French).

Technical report

• Concrete Semantics of Programs with Non-Deterministic and Random Inputs with Jean Goubault-Larreccq.

Submitted

• Policy Iteration in finite templates domain.submitted.

Other

• Codes for Matlab tests for quadratic zones
• Master2 Thesis (in French). Slides (in French).