| 2021 | Exploring the space of optimization sequences for code-size reduction: insights and tools. | Anderson Faustino da Silva, Bernardo N. B. de Lima, Fernando Magno Quinto Pereira |
| 2021 | Lightning BOLT: powerful, fast, and scalable binary optimization. | Maksim Panchenko, Rafael Auler, Laith Sakka, Guilherme Ottoni |
| 2021 | Resolvable ambiguity: principled resolution of syntactically ambiguous programs. | Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman |
| 2021 | Deep NLP-based co-evolvement for synthesizing code analysis from natural language. | Zifan Nan, Hui Guan, Xipeng Shen, Chunhua Liao |
| 2021 | Communication-safe web programming in TypeScript with routed multiparty session types. | Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou |
| 2021 | A modern compiler for the French tax code. | Denis Merigoux, Raphal Monat, Jonathan Protzenko |
| 2021 | Integrating a functional pattern-based IR into MLIR. | Martin Lcke, Michel Steuwer, Aaron Smith |
| 2021 | Compact native code generation for dynamic languages on micro-core architectures. | Maurice Jamieson, Nick Brown |
| 2021 | Compiling data-parallel Datalog. | Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski |
| 2021 | NSan: a floating-point numerical sanitizer. | Clement Courbet |
| 2021 | Data-aware process networks. | Christophe Alias, Alexandru Plesco |
| 2021 | PolyBench/Python: benchmarking Python environments with polyhedral optimizations. | Miguel . Abella-Gonzlez, Pedro Carollo-Fernndez, Louis-Nol Pouchet, Fabrice Rastello, Gabriel Rodrguez |
| 2020 | Secure delivery of program properties through optimizing compilation. | Son Tuan Vu, Karine Heydemann, Arnaud de Grandmaison, Albert Cohen |
| 2020 | Mix your contexts well: opportunities unleashed by recent advances in scaling context-sensitivity. | Manas Thakur, V. Krishna Nandivada |
| 2020 | Dynamic property caches: a step towards faster JavaScript proxy objects. | Manuel Serrano, Robert Bruce Findler |
| 2020 | Vectorization-aware loop unrolling with seed forwarding. | Rodrigo C. O. Rocha, Vasileios Porpodas, Pavlos Petoumenos, Lus F. W. Ges, Zheng Wang, Murray Cole, Hugh Leather |
| 2020 | Bitwidth customization in image processing pipelines using interval analysis and SMT solvers. | Suresh Purini, Vinamra Benara, Ziaul Choudhury, Uday Bondhugula |
| 2020 | Generating fast sparse matrix vector multiplication from a high level generic functional IR. | Federico Pizzuti, Michel Steuwer, Christophe Dubach |
| 2020 | Relaxing the one definition rule in interpreted C++. | Javier Lpez-Gmez, Javier Fernndez, David del Rio Astorga, Vassil Vassilev, Axel Naumann, Jos Daniel Garca |
| 2020 | Runtime multi-versioning and specialization inside a memoized speculative loop optimizer. | Raquel Lazcano, Daniel Madroal, Eduardo Jurez, Philippe Clauss |
| 2020 | Mixed-data-model heterogeneous compilation and OpenMP offloading. | Andreas Kurth, Koen Wolters, Bjrn Forsberg, Alessandro Capotondi, Andrea Marongiu, Tobias Grosser, Luca Benini |
| 2020 | Robust quantization of deep neural networks. | Youngseok Kim, Junyeol Lee, Younghoon Kim, Jiwon Seo |
| 2020 | Balancing performance and productivity for the development of dynamic binary instrumentation tools: a case study on Arm systems. | Cosmin Gorgovan, Guillermo Callaghan, Mikel Lujn |
| 2020 | Automatically harnessing sparse acceleration. | Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle |
| 2020 | Scalable pointer analysis of data structures using semantic models. | Pratik Fegade, Christian Wimmer |