Rémy Boutonnet

I was a computer science Ph.D student in the PACSS group at Verimag, under the supervision of Nicolas Halbwachs. I worked on interprocedural modular program analysis by abstract interpretation based on the computation of disjunctive summaries of procedures.

I am currently working as a software engineer writing compilers for FPGA prototyping at Mentor Graphics in Paris.

Thesis

I defended my thesis on March 9th 2020. My thesis manuscript can be found here along with my presentation slides.

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 (insert dot) boutonnet (at) gmail (insert dot) com */