About


Olivier Flückiger

I am a Ph.D. student at PRL NEU. My adviser is Jan Vitek.

I like the intersection of language research and implementation. I can greatly enjoy pointer arithmetic as well as working towards avoiding it.

I am working on a JIT for the R language, called Ř. You can read about this compiler in our latest publication.

We formalized speculative optimizations in a model IR called sourir. Speculation needs deoptimization, aka on-stack-replacement (OSR): optimizations are undone at runtime, functions replaced while being executed. We show how to construct and maintain correct deoptimization points and prove correctness of standard optimizations.