Olivier Flückiger -

Registered user since Tue 1 Mar 2016

Name:Olivier Flückiger

Country:United States

Affiliation:Northeastern University

Personal website: https://www.o1o.ch

GitHub: https://github.com/o-

Contributions

2022

ECOOP

PLDI

Author of (POPL 2021) Formally Verified Speculation and Deoptimization in a JIT Compiler within the SIGPLAN Track-track
Author of Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations within the PLDI-track

2021

SPLASH

Author of Promises Are Made to Be Broken: Migrating R to Strict Semantics within the OOPSLA-track

VMIL

Committee Member in Program Committee within the VMIL 2021-track

ICOOOLPS

MoreVMs

Author of The Strange and Wondrous Life of Functions in Ř within the MoreVMs’21-track

POPL

Author of Formally Verified Speculation and Deoptimization in a JIT Compiler within the POPL-track

2020

SPLASH

DLS

Author of Sampling Optimized Code for Type Feedback within the DLS 2020-track

ECOOP

2019

DLS

Author of R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments within the DLS 2019-track

MPLR

Author of Adversarial Compilation within the MPLR 2019-track

ICOOOLPS

Committee Member in Program Committee within the ICOOOLPS 2019-track

ECOOP

Committee Member in Program Committee within the Doctoral Symposium-track

2018

DLS

Author of Self-Contained Development Environments within the DLS 2018-track

ECOOP/ISSTA

Author of Optimization based on Facts and Fiction within the Doc Symposium-track

POPL

Author of Correctness of Speculative Optimizations with Dynamic Deoptimization within the Research Papers-track

2017

PLDI

Student Volunteer Co-Chair in Organizing Committee

2016

ECOOP