| Correctness of speculative optimizations with dynamic deoptimization O Flückiger, G Scherer, MH Yee, A Goel, A Ahmed, J Vitek Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017 | 38 | 2017 |
| Formally verified speculation and deoptimization in a JIT compiler A Barrière, S Blazy, O Flückiger, D Pichardie, J Vitek Proceedings of the ACM on Programming Languages 5 (POPL), 1-26, 2021 | 32 | 2021 |
| R melts brains: an IR for first-class environments and lazy effectful arguments O Flückiger, G Chari, J Ječmen, MH Yee, J Hain, J Vitek Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic …, 2019 | 21 | 2019 |
| Contextual dispatch for function specialization O Flückiger, G Chari, MH Yee, J Ječmen, J Hain, J Vitek Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-24, 2020 | 19 | 2020 |
| Sampling optimized code for type feedback O Flückiger, A Wälchli, S Krynski, J Vitek Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic …, 2020 | 5 | 2020 |
| Deoptless: speculation with dispatched on-stack replacement and specialized continuations O Flückiger, J Ječmen, S Krynski, J Vitek Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 4 | 2022 |
| Promises are made to be broken: migrating R to strict semantics A Goel, J Ječmen, S Krynski, O Flückiger, J Vitek Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-20, 2021 | 3 | 2021 |
| Self-contained development environments G Chari, J Pimás, J Vitek, O Flückiger ACM SIGPLAN Notices 53 (8), 76-87, 2018 | 2 | 2018 |
| Just in Time: Assumptions and Speculations O Flückiger Northeastern University, 2022 | | 2022 |
| Compiled Compiler Templates for V8 I How, L JavaScript, O Flückiger | | 2014 |
| Implementing Pinocchio O Flückiger, T Verwaest | | 2011 |
