Formally verified speculation and deoptimization in a JIT compiler
Barrière, Aurèle, Blazy, Sandrine, Flückiger, Olivier, Pichardie, David, Vitek, Jan
Published in Proceedings of ACM on programming languages (04.01.2021)
Published in Proceedings of ACM on programming languages (04.01.2021)
Get full text
Journal Article
Promises are made to be broken: migrating R to strict semantics
Goel, Aviral, Ječmen, Jan, Krynski, Sebastián, Flückiger, Olivier, Vitek, Jan
Published in Proceedings of ACM on programming languages (01.10.2021)
Published in Proceedings of ACM on programming languages (01.10.2021)
Get full text
Journal Article
Contextual dispatch for function specialization
Flückiger, Olivier, Chari, Guido, Yee, Ming-Ho, Ječmen, Jan, Hain, Jakob, Vitek, Jan
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Correctness of speculative optimizations with dynamic deoptimization
Flückiger, Olivier, Scherer, Gabriel, Yee, Ming-Ho, Goel, Aviral, Ahmed, Amal, Vitek, Jan
Published in Proceedings of ACM on programming languages (01.01.2018)
Published in Proceedings of ACM on programming languages (01.01.2018)
Get full text
Journal Article
Sampling Optimized Code for Type Feedback
Flückiger, Olivier, Wälchli, Andreas, Krynski, Sebastián, Vitek, Jan
Published in arXiv.org (05.10.2020)
Published in arXiv.org (05.10.2020)
Get full text
Paper
Journal Article
R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments
Flückiger, Olivier, Chari, Guido, Ječmen, Jan, Ming-Ho, Yee, Hain, Jakob, Vitek, Jan
Published in arXiv.org (05.09.2019)
Published in arXiv.org (05.09.2019)
Get full text
Paper
Journal Article
Correctness of Speculative Optimizations with Dynamic Deoptimization
Flückiger, Olivier, Scherer, Gabriel, Ming-Ho, Yee, Goel, Aviral, Ahmed, Amal, Vitek, Jan
Published in arXiv.org (15.11.2017)
Published in arXiv.org (15.11.2017)
Get full text
Paper
Journal Article