Publications

Load the BibTeX file

Academic Journals

  1. David Cachera, Thomas Jensen, Arnaud Jobin, Pascal Sotin. Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. In Mathematical Structures in Computer Science , 20(4):589-624, 2010.
    [pdf]

International conferences

  1. David Cachera, Thomas Jensen, Arnaud Jobin, Florent Kirchner. Inference of polynomial invariants for imperative programs: a farewell to Gröbner bases. In 19th International Static Analysis Symposium (SAS), 2012.
    [pdf]

  2. David Cachera, Thomas Jensen, Arnaud Jobin, Pascal Sotin. Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. In Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Lectures Notes in Computer Science, Volume 5140, Pages 122-138, 2008.
    [pdf]

International workshops

  1. David Cachera, Arnaud Jobin. Injecting Abstract Interpretations into Linear Cost Models. In 8th Workshop on Quantitative Aspects of Programming Languages (QAPL), EPTCS, Paphos, 2010.
    [pdf]

PhD dissertation

  1. Arnaud Jobin. Dioïdes et idéaux de polynômes en analyse statique.
    [pdf]

INRIA reports

  1. David Cachera, Thomas Jensen, Arnaud Jobin, Florent Kirchner. Fast inference of polynomial invariants for imperative programs. INRIA report RR-7627, 2011.
  2. David Cachera, Thomas Jensen, Arnaud Jobin, Pascal Sotin. Long-run cost analysis by approximaiton of linear operators over dioids. INRIA report RR-6338, 2007.