| 2018 | A polyhedral compilation framework for loops with dynamic data-dependent bounds. | Jie Zhao, Michael Kruse, Albert Cohen |
| 2018 | Parallel sparse flow-sensitive points-to analysis. | Jisheng Zhao, Michael G. Burke, Vivek Sarkar |
| 2018 | Fast and flexible instruction selection with constraints. | Patrick Thier, M. Anton Ertl, Andreas Krall |
| 2018 | Efficient dynamic analysis for Node.js. | Haiyang Sun, Daniele Bonetta, Christian Humer, Walter Binder |
| 2018 | Rethinking compilers in the rise of machine learning and AI (keynote). | Xipeng Shen |
| 2018 | Computing partially path-sensitive MFP solutions in data flow analyses. | Komal Pathade, Uday P. Khedker |
| 2018 | A session type provider: compile-time API generation of distributed protocols with refinements in F#. | Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal |
| 2018 | Generalized profile-guided iterator recognition. | Stanislav Manilov, Christos Vasiladiotis, Bjrn Franke |
| 2018 | Tail call elimination and data representation for functional languages on the Java virtual machine. | Magnus Madsen, Ramin Zarifi, Ondrej Lhotk |
| 2018 | Towards a compiler analysis for parallel algorithmic skeletons. | Tobias J. K. Edler von Koch, Stanislav Manilov, Christos Vasiladiotis, Murray Cole, Bjrn Franke |
| 2018 | An efficient data structure for must-alias analysis. | George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis |
| 2018 | Compiler and language design for quantum computing (keynote). | Bettina Heim |
| 2018 | CAnDL: a domain specific language for compiler analysis. | Philip Ginsbach, Lewis Crawford, Michael F. P. O'Boyle |
| 2018 | Compiling for concise code and efficient I/O. | Sebastian Ertel, Andrs Goens, Justus Adam, Jernimo Castrilln |
| 2018 | Polyhedral expression propagation. | Johannes Doerfert, Shrey Sharma, Sebastian Hack |
| 2018 | Semantic reasoning about the sea of nodes. | Delphine Demange, Yon Fernndez de Retana, David Pichardie |
| 2018 | Termination checking and task decomposition for task-based intermittent programs. | Alexei Colin, Brandon Lucia |
| 2018 | PAYJIT: space-optimal JIT compilation and its practical implementation. | Jacob Brock, Chen Ding, Xiaoran Xu, Yan Zhang |
| 2018 | Finding missed compiler optimizations by differential testing. | Gerg Barany |
| 2017 | One compiler: deoptimization to optimized code. | Christian Wimmer, Vojin Jovanovic, Erik Eckstein, Thomas Wrthinger |
| 2017 | From functional programs to pipelined dataflow circuits. | Richard Townsend, Martha A. Kim, Stephen A. Edwards |
| 2017 | Compile-time function memoization. | Arjun Suresh, Erven Rohou, Andr Seznec |
| 2017 | Optimized two-level parallelization for GPU accelerators using the polyhedral model. | Jun Shirako, Akihiro Hayashi, Vivek Sarkar |
| 2017 | Static optimization in PHP 7. | Nikita Popov, Biagio Cosenza, Ben H. H. Juurlink, Dmitry Stogov |
| 2017 | Let it recover: multiparty protocol-induced recovery. | Rumyana Neykova, Nobuko Yoshida |