PLDI 2022 (series) / PLDI Research Papers /
Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations
Wed 15 Jun 2022 14:30 - 14:50 at Toucan - Compilation Chair(s): James Larus
Thu 16 Jun 2022 02:30 - 02:50 at Toucan - Compilation
Thu 16 Jun 2022 02:30 - 02:50 at Toucan - Compilation
Just-in-time compilation provides significant performance improvements for programs written in dynamic languages. These benefits come from the ability of the compiler to speculate about likely cases and generate optimized code for these. Unavoidably, speculations sometimes fail and the optimizations must be reverted. In some pathological cases, this can leave the program stuck with suboptimal code. In this paper we propose \emph{deoptless}, a technique that replaces deoptimization points with dispatched specialized continuations. The goal of deoptless is to take a step towards providing users with a more transparent performance model in which mysterious slowdowns are less frequent and grave.
Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change
Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change
13:30 - 14:50 | |||
13:30 20mTalk | Finding Typing Compiler BugsDistinguished Paper Award PLDI Stefanos Chaliasos Imperial College London, Thodoris Sotiropoulos Athens University of Economics and Business, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Arthur Gervais Imperial College London, Ben Livshits Imperial College London, UK, Dimitris Mitropoulos University of Athens DOI | ||
13:50 20mTalk | IRDL: An IR Definition Language for SSA Compilers PLDI Mathieu Fehr University of Edinburgh, Jeff Niu University of Waterloo, River Riddle Google, Mehdi Amini Google, Zhendong Su ETH Zurich, Tobias Grosser University of Edinburgh DOI | ||
14:10 20mTalk | Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency PLDI Minki Cho Seoul National University, Sung-Hwan Lee Seoul National University, Dongjae Lee Seoul National University, Chung-Kil Hur Seoul National University, Ori Lahav Tel Aviv University DOI Pre-print | ||
14:30 20mTalk | Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations PLDI Olivier Flückiger Northeastern University, Jan Ječmen Czech Technical University, Sebastián Krynski Czech Technical University, Jan Vitek Northeastern University; Czech Technical University DOI Pre-print |
Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change
Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change
01:30 - 02:50 | |||
01:30 20mTalk | Finding Typing Compiler BugsDistinguished Paper Award PLDI Stefanos Chaliasos Imperial College London, Thodoris Sotiropoulos Athens University of Economics and Business, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Arthur Gervais Imperial College London, Ben Livshits Imperial College London, UK, Dimitris Mitropoulos University of Athens DOI | ||
01:50 20mTalk | IRDL: An IR Definition Language for SSA Compilers PLDI Mathieu Fehr University of Edinburgh, Jeff Niu University of Waterloo, River Riddle Google, Mehdi Amini Google, Zhendong Su ETH Zurich, Tobias Grosser University of Edinburgh DOI | ||
02:10 20mTalk | Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency PLDI Minki Cho Seoul National University, Sung-Hwan Lee Seoul National University, Dongjae Lee Seoul National University, Chung-Kil Hur Seoul National University, Ori Lahav Tel Aviv University DOI Pre-print | ||
02:30 20mTalk | Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations PLDI Olivier Flückiger Northeastern University, Jan Ječmen Czech Technical University, Sebastián Krynski Czech Technical University, Jan Vitek Northeastern University; Czech Technical University DOI Pre-print |