Solène Mirliaz

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 4

Top Topics

Static Analysis

Program Execution

Cellular Automata

Top Venues

AAAI Spring Symposia

Publications

Gilles Barthe, Adrien Koutsos, Solène Mirliaz, David Pichardie, Peter Schwabe
Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs. SAS (2022)
Solène Mirliaz, David Pichardie
A Flow-Insensitive-Complete Program Representation. VMCAI (2022)
Nachiappan Valliappan, Solène Mirliaz, Elisabet Lobo Vesga, Alejandro Russo
Towards Adding Variety to Simplicity. ISoLA (4) (2018)
Peter Ford Dominey, Anne-Laure Mealier, Grégoire Pointeau, Solène Mirliaz, Mark A. Finlayson
Dynamic Construction Grammar and Steps Towards the Narrative Construction of Meaning. AAAI Spring Symposia (2017)