Olivier Savary Bélanger

According to our database, Olivier Savary Bélanger authored at least 7 papers between 2010 and 2024.

Collaborative distances:

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

2024

KATch: A Fast Symbolic Verifier for NetKAT.

Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva

Proc. ACM Program. Lang., 2024

2019

Verified Extraction for Coq

Olivier Savary Bélanger

PhD thesis, 2019

2017

Shrink fast correctly!

Olivier Savary Bélanger, Andrew W. Appel

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2014

Automatically Deriving Schematic Theorems for Dynamic Contexts.

Olivier Savary Bélanger, Kaustuv Chaudhuri

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

2013

Programming Type-Safe Transformations Using Higher-Order Abstract Syntax.

Olivier Savary Bélanger, Stefan Monnier, Brigitte Pientka

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2011

McLAB: enabling programming language, compiler and software engineering research for matlab.

Laurie J. Hendren, Jesse Doherty, Anton Dubrau, Rahul Garg, Nurudeen Lameed, Soroush Radpour, Amina Aslam, Toheed Aslam, Andrew Casey, Maxime Chevalier-Boisvert, Jun Li, Clark Verbrugge, Olivier Savary Bélanger

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

McLab: an extensible compiler toolkit for MATLAB and related languages.

Andrew Casey, Jun Li, Jesse Doherty, Maxime Chevalier-Boisvert, Toheed Aslam, Anton Dubrau, Nurudeen Lameed, Amina Aslam, Rahul Garg, Soroush Radpour, Olivier Savary Bélanger, Laurie J. Hendren, Clark Verbrugge

Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2010