Solène Mirliaz

According to our database, Solène Mirliaz authored at least 4 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Flow-Insensitive-Complete Program Representation.

Solène Mirliaz, David Pichardie

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs.

Gilles Barthe, Adrien Koutsos, Solène Mirliaz, David Pichardie, Peter Schwabe

Proceedings of the Static Analysis - 29th International Symposium, 2022

2018

Towards Adding Variety to Simplicity.

Nachiappan Valliappan, Solène Mirliaz, Elisabet Lobo Vesga, Alejandro Russo

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

Dynamic Construction Grammar and Steps Towards the Narrative Construction of Meaning.

Peter Ford Dominey, Anne-Laure Mealier, Grégoire Pointeau, Solène Mirliaz, Mark A. Finlayson

Proceedings of the 2017 AAAI Spring Symposia, 2017