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

Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis
Rémy Boutonnet, Nicolas Halbwachs.
VMCAI 2019, 20th International Conference on Verification, Model Checking, and Abstract Interpretation. Cascais/Lisbon, Portugal, January 2019. [doi][pdf]

Improving WCET Evaluation using Linear Relation Analysis
P. Raymond, C. Maiza, C. Parent-Vigouroux, E. Jahier, N. Halbwachs, F. Carrier, M. Asavoae, and R. Boutonnet
LITES, Leibniz International Transactions on Embedded Systems, vol. 6, 2019. [pdf]

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
Rémy Boutonnet, Nicolas Halbwachs.
Formal Methods in System Design, vol. 53, nr. 3, pp.384--406. December 2018. [doi][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

Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis
VMCAI 2019 slides, Cascais/Lisbon, Portugal, January 2019. [pdf]

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