Interests
I'm interested in the design and implementation of programming languages.
I'm currently a Staff Software Developer at IBM, Canada, working on the Clang/LLVM PowerPC backend.
For my PhD, I worked on simple Just-In-Time (JIT) compilation techniques and optimizations
to efficiently implement dynamic languages. I implemented these techniques
and optimizations in a JIT compiler for the Scheme programming language called LC.
I'm also interested in real time rendering techniques. I built several tools to explore this topic.
Current projects:
- LC: JIT compiler for Scheme targeting x86-64 platforms
- Risky: A prototype RISC-V emulator
- Gamedev: My game development experiments
- Others
Publications
- Baptiste Saleil and João Carvalho. Accelerate Matrix Multiplication Using the New PowerPC Outer Product Instructions
LLVM Developers' Meeting - Technical Talk, 2020
[ recording ]
- Baptiste Saleil. Simple Optimizing JIT Compilation of Higher-Order Dynamic Programming Languages
PhD Dissertation, 2019
[ paper ]
- Baptiste Saleil and Marc Feeley. Building JIT Compilers for Dynamic Languages with Low Development Effort
Virtual Machines and Language Implementations (VMIL'18), 2018
[ paper | slides ]
- Baptiste Saleil and Marc Feeley. Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
European Conference on Object-Oriented Programming (ECOOP'17), 2017
[ paper | slides ]
- Baptiste Saleil and Marc Feeley. Type Check Removal Using Lazy Interprocedural Code Versioning
Scheme and Functional Programming Workshop (SFPW'15), 2015
[ paper | slides ]
- Baptiste Saleil and Marc Feeley. Code Versioning and Extremely Lazy Compilation of Scheme
Scheme and Functional Programming Workshop (SFPW'14), 2014
[ paper | slides ]
- Baptiste Saleil. Étude de Kit de Développement de Compilateurs et Machines Virtuelles
Master's thesis
[ paper ]