Follow
Sylvain Boulmé
Sylvain Boulmé
Université Grenoble Alpes, Verimag
Verified email at imag.fr - Homepage
Title
Cited by
Cited by
Year
Adaptable translator of B specifications to embedded C programs
D Bert, S Boulmé, ML Potet, A Requet, L Voisin
International Symposium of Formal Methods Europe, 94-113, 2003
692003
Certifying synchrony for free
S Boulmé, G Hamon
International Conference on Logic for Programming Artificial Intelligence …, 2001
492001
A certifying frontend for (sub) polyhedral abstract domains
A Fouilhé, S Boulmé
Verified Software: Theories, Tools and Experiments: 6th International …, 2014
322014
Certified and efficient instruction scheduling: application to interlocked VLIW processors
C Six, S Boulmé, D Monniaux
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
252020
Spécification d'un environnement dédié à la programmation certifiée de bibliothèques de Calcul Formel
S Boulmé
Paris 6, 2000
252000
On the way to certify computer algebra systems
S Boulmé, T Hardin, D Hirschkoff, V Ménissier-Morain, R Rioboo
Electronic Notes in Theoretical Computer Science 23 (3), 370-385, 1999
221999
Some hints for polynomials in the Foc project
S Boulmé, T Hardin, R Rioboo
Calculemus 2001, 142-154, 2001
212001
Intuitionistic refinement calculus
S Boulmé
Typed Lambda Calculi and Applications: 8th International Conference, TLCA …, 2007
172007
Interpreting invariant composition in the B method using the Spec# ownership relation: a way to explain and relax B restrictions
S Boulmé, ML Potet
International Conference of B Users, 4-18, 2007
162007
The verified polyhedron library: an overview
S Boulmé, A Marechaly, D Monniaux, M Périn, H Yu
2018 20th International Symposium on Symbolic and Numeric Algorithms for …, 2018
152018
A refinement methodology for object-oriented programs
A Tafat, S Boulmé, C Marché
Formal Verification of Object-Oriented Software: International Conference …, 2011
132011
Polymorphic Data Types, Objects, Modules and Functors: is it too. much.?
S Boulmé, T Hardin, R Rioboo
LIP6, 2000
112000
Formally verified superblock scheduling
C Six, L Gourdin, S Boulmé, D Monniaux, J Fasse, N Nardino
Proceedings of the 11th ACM SIGPLAN International Conference on Certified …, 2022
102022
Refinement to certify abstract interpretations, illustrated on linearization for polyhedra
S Boulmé, A Maréchal
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015
102015
The trusted computing base of the compcert verified compiler
D Monniaux, S Boulmé
European Symposium on Programming, 204-233, 2022
82022
Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles)
S Boulmé
Université Grenoble-Alpes, 2021
82021
Proof contexts with late binding
V Prevosto, S Boulmé
Typed Lambda Calculi and Applications: 7th International Conference, TLCA …, 2005
72005
Specifying in Coq inheritance used in computer algebra
S Boulmé
Research report, LIP6, 2000
72000
Toward Certification for Free!
S Boulmé, A Maréchal
62017
Modules, objets et calcul formel
S Boulmé, T Hardin, R Rioboo
LIP6, 1999
61999
The system can't perform the operation now. Try again later.
Articles 1–20