Publications

PhD Thesis

• Just in Time: Assumptions and Speculations (as website)

Conferences

• Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations, Olivier Flückiger, Jan Ječmen, Sebastián Krynski, Jan Vitek, PLDI 2022
• Promises Are Made to be Broken, Aviral Goel, Jan Ječmen, Sebastián Krynski, Olivier Flückiger, Jan Vitek, OOPSLA 2021
• Formally Verified Speculation and Deoptimization in a JIT Compiler, Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek, POPL 2021
• Contextual Dispatch for Function Specialization, Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Jecmen, Jakob Hain, Jan Vitek, OOPSLA 2020
• Sampling Optimized Code for Type Feedback, Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek, DLS 2020
• R Melts Brains – An IR for First-Class Environments and Lazy Effectful Arguments, Olivier Flückiger, Guido Chari, Jan Ječmen, Ming-Ho Yee, Jakob Hain, Jan Vitek, DLS 2019
• Self-Contained Development Environments, Guido Chari, Javeier Pimas, Olivier Flückiger, Jan Vitek, DLS 2018
• Correctness of Speculative Optimizations with Dynamic Deoptimization, Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed and Jan Vitek, POPL 2018

Misc

• Compiled Compiler Templates for V8 or: How I Learned to Stop Worrying and Love JavaScript: Masters thesis, Software Composition Group, University of Bern
• Implementing Pinocchio a VM-less metacircular runtime library for dynamic languages: Bachelors thesis, Software Composition Group, University of Bern