Slides

• Jun 23 2022: MathWorks, Compiling R and other Adversarial Languages, slides.
• Jun 22 2022: PhD Thesis Defense, slides.
• Jun 15 2022: PLDI ‘22 Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations.
• Nov 20 2020: OOPSLA ‘20, Contextual Dispatch for Function Specialization
• Nov 19 2020: DLS ‘20, Sampling Optimized Code for Type Feedback
• Oct 20 2019: DLS ‘19, R Melts Brains – An IR for First-Class Environments and Lazy Effectful Arguments Slides, Talk
• Oct 21 2019: MPLR ‘19, Keynote: Adversarial Compilation
• Jan 13 2018: POPL 2018, Correctness of Speculative Optimizations with Dynamic Deoptimization Slides, Talk
• Nov 28 2017: Correct Compiler Optimizations with Dynamic Deoptimization at RMoD Inria Lille
• Aug 9 2017: Speculative Optimizations without Fear
• Oct 27 2015: SCG Seminar presentation on rjit

Lectures

• Build a JIT with LLVM was a class I helped to teach at CVUT in 2015 and PLISS 2017. Source code for the LLVM JIT is available.
• Guest lecture on Program Analysis for Compiler Construction at the SCG University of Bern in 2017.