SALL Boubacar Demba
Équipe : APR
Date d'arrivée : 20/06/2024
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 3, Bureau 320
4 place Jussieu
75252 PARIS CEDEX 05
Tel: 01 44 27 75 12, Boubacar.Sall (at) nulllip6.fr
Publications 2017-2020
-
2020
- B. Sall : “Programmation impérative par raffinements avec l’assistant de preuve Coq”, soutenance de thèse, soutenance 01/10/2020, direction de recherche Chailloux, Emmanuel, co-encadrement : Peschanski, Frédéric (2020)
-
2019
- B. Sall, F. Peschanski, E. Chailloux : “A Mechanized Theory of Program Refinement”, ICFEM 2019 - 21st International Conference on Formal Engineering Methods, vol. 11852, Lecture Notes in Computer Science, Shenzhen, China, pp. 305-321, (Springer) (2019)
-
2017
- B. Sall, F. Peschanski, E. Chailloux : “Analyse de Bytecode par Raffinement”, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Montpellier, France (2017)