I am a researcher in computer science. My research interests are:

  • software verification
  • static analysis by abstract interpretation
  • memory manipulations (mostly in C programs)
  • numerical abstract domains
I am also interested in the combinatorial and algorithmic aspects of convex polyhedra in tropical algebra.

During my PhD, I worked at EADS Innovation Works and at CEA Saclay, under the supervision of Eric Goubault (CEA LIST) and Charles Hymans (EADS). I defended my PhD thesis on November 30th, 2009 (see the announcement).

Publications:

  • Xavier Allamigeon and Bruno Blanchet. Reconstruction of Attacks against Cryptographic Protocols. In 18th IEEE Computer Security Foundations Workshop (CSFW-18), pages 140-154, Aix-en-Provence, France, June 2005. IEEE Computer Society. [ bib | pdf ]
  • Xavier Allamigeon, Wenceslas Godard, and Charles Hymans. Static Analysis of String Manipulations in Critical Embedded C Programs. In Kwangkeun Yi, editor, Static Analysis, 13th International Symposium (SAS'06), volume 4134 of Lecture Notes in Computer Science, pages 35-51, Seoul, Korea, August 2006. Springer Verlag. [ bib | pdf ]
  • Xavier Allamigeon and Charles Hymans. Analyse Statique par Interprétation Abstraite : Application à la Détection de Dépassement de Tampon. In Eric Filiol, editor, 5ème Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC'07), pages 347-384, Rennes, France, June 2007. ESAT. [ bib | pdf ]
  • Xavier Allamigeon and Charles Hymans. Static Analysis by Abstract Interpretation: Application to the Detection of Heap Overflows. Journal in Computer Virology, 4(1):5-23, 2008. [ bib ]
  • Xavier Allamigeon. Non-disjunctive Numerical Domain for Array Predicate Abstraction. In Sophia Drossopoulou, editor, Programming Languages and Systems, Proceedings of the 17th European Symposium on Programming (ESOP'08), volume 4960 of Lecture Notes in Computer Science, pages 163-177, Budapest, Hungary, April 2008. Springer Verlag. [ bib | pdf ]
  • Xavier Allamigeon, Stéphane Gaubert, and Eric Goubault. Inferring Min and Max Invariants Using Max-plus Polyhedra. In María Alpuente and Germán Vidal, editors, Proceedings of the 15th International Static Analysis Symposium (SAS'08), volume 5079 of Lecture Notes in Computer Science, pages 189-204, Valencia, Spain, July 2008. Springer Verlag. [ bib | pdf ]
  • Xavier Allamigeon, Stéphane Gaubert, and Eric Goubault. The Tropical Double Description Method. In Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science (STACS'10), Nancy, France, March 2010. To appear. [ bib | pdf ]
  • Xavier Allamigeon, Stéphane Gaubert, and Ricardo D. Katz. The number of extreme points of tropical polyhedra. Journal of Combinatorial Theory, series A. To appear. [ bib | pdf (preprint) ]

PhD thesis:

Xavier Allamigeon. Static analysis of memory manipulations by abstract interpretation - Algorithmics of tropical polyhedra, and application to abstract interpretation. PhD thesis, École Polytechnique, Palaiseau, France, November 2009. [ bib | pdf ]

Software:

I am the author of TPLib (Tropical Polyhedra Library), which is an OCaml library allowing to manipulate tropical polyhedra, and to use them as a numerical abstract domain.

How to contact me:

You can reach me at .