| 2017 | Compile-time function memoization. Arjun Suresh, Erven Rohou, André Seznec |
| 2017 | Data structure-aware heap partitioning. Nouraldin Jaber, Milind Kulkarni |
| 2017 | Dynamic symbolic execution for polymorphism. Lian Li, Yi Lu, Jingling Xue |
| 2017 | From functional programs to pipelined dataflow circuits. Richard Townsend, Martha A. Kim, Stephen A. Edwards |
| 2017 | Granullar: gradual nullable types for Java. Dan Brotherston, Werner Dietl, Ondrej Lhoták |
| 2017 | Let it recover: multiparty protocol-induced recovery. Rumyana Neykova, Nobuko Yoshida |
| 2017 | Lightweight data race detection for production runs. Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood |
| 2017 | One compiler: deoptimization to optimized code. Christian Wimmer, Vojin Jovanovic, Erik Eckstein, Thomas Würthinger |
| 2017 | Optimization space pruning without regrets. Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques A. Pienaar, Albert Cohen |
| 2017 | Optimized two-level parallelization for GPU accelerators using the polyhedral model. Jun Shirako, Akihiro Hayashi, Vivek Sarkar |
| 2017 | Partially redundant fence elimination for x86, ARM, and power processors. Robin Morisset, Francesco Zappa Nardelli |
| 2017 | Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017 Peng Wu, Sebastian Hack |
| 2017 | Static optimization in PHP 7. Nikita Popov, Biagio Cosenza, Ben H. H. Juurlink, Dmitry Stogov |
| 2017 | rev.ng: a unified binary analysis framework to recover CFGs and function boundaries. Alessandro Di Federico, Mathias Payer, Giovanni Agosta |