DELMAS David
PhD student
Team :
APR
Arrival date : 02/01/2018
Localisation :
Campus Pierre et Marie CurieSorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 3, Bureau 303
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
Tel: +33 1 44 27 88 16, David.Delmas (at)
nulllip6.fr
Supervision : Antoine MINÉ
Analyse statique par interprétation abstraite de la portabilité des programmes
2015-2019 Publications
- 2019
- D. Delmas, A. Miné : “Analysis of Program Differences with Numerical Abstract Interpretation”, PERR 2019 - 3rd Workshop on Program Equivalence and Relational Reasoning, Prague, Czech Republic (2019)
- D. Delmas, A. Miné : “Analysis of Software Patches Using Numerical Abstract Interpretation”, 26th International Symposium, vol. 11822, Lecture Notes in Computer Science, Porto, Portugal, pp. 225-246, (Springer) (2019)
- 2015