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 003; Soroush Radpour; Olivier Savary Bélanger; Laurie J. Hendren; et al. (C3S2E, 2010)

McLAB: enabling programming language, compiler and software engineering research for matlab. - Laurie J. Hendren; Jesse Doherty; Anton Dubrau; Rahul Garg 003; Nurudeen Lameed; Soroush Radpour; Amina Aslam; Toheed Aslam; Andrew Casey; Maxime Chevalier-Boisvert; Jun Li; Clark Verbrugge; et al. (OOPSLA Companion, 2011)

Automatically Deriving Schematic Theorems for Dynamic Contexts. - Olivier Savary Bélanger; Kaustuv Chaudhuri (LFMTP, 2014)

Programming type-safe transformations using higher-order abstract syntax. - Olivier Savary Bélanger; Stefan Monnier; Brigitte Pientka (J. Formaliz. Reason., 2015)

Shrink fast correctly! - Olivier Savary Bélanger; Andrew W. Appel (PPDP, 2017)

Verified Extraction for Coq - Olivier Savary Bélanger (2019)

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 001 (Proc. ACM Program. Lang., 2024)