Rémy Boutonnet

I am a computer science Ph.D student in the PACSS group at Verimag, under the supervision of Nicolas Halbwachs. I am interested in modular program analysis by abstract interpretation and in the design and implementation of static analyzers.

Publications

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
Rémy Boutonnet, Nicolas Halbwachs.
Formal Methods in System Design (FMSD), 2018. [pdf]

The WCET analysis using counters - a preliminary assessment
Rémy Boutonnet, Mihail Asavoae.
8th Junior Researcher Workshop on Real-Time Computing (JRWRTC), 2014. [pdf]

Talks

Relational Summaries for Interprocedural Analysis
APR team seminar, LIP6, Paris, June 14th, 2018. [pdf]

Relational Summaries for Interprocedural Analysis
Journée en l'honneur de Nicolas Halbwachs, Grenoble, June 4th, 2018. [pdf]

Contact

    /* email: remy (dot) boutonnet (at) univ-grenoble-alpes.fr */

Office: 215, IMAG building, 2nd floor.

Verimag
Bâtiment IMAG
700, avenue centrale
38401 Saint Martin d'Hères
FRANCE