CC 2021

14 papers

1. A modern compiler for the French tax code · Denis Merigoux, Raphaël Monat, Jonathan Protzenko
2. Communication-safe web programming in TypeScript with routed multiparty session types · Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
3. Compact native code generation for dynamic languages on micro-core architectures · Maurice Jamieson, Nick Brown
4. Compiling data-parallel Datalog · Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski
5. Data-aware process networks · Christophe Alias, Alexandru Plesco
6. Deep NLP-based co-evolvement for synthesizing code analysis from natural language · Zifan Nan, Hui Guan, Xipeng Shen, Chunhua Liao
7. Exploring the space of optimization sequences for code-size reduction: insights and tools · Anderson Faustino da Silva, Bernardo N. B. de Lima, Fernando Magno Quintão Pereira
8. Helper function inlining in dynamic binary translation · Wenwen Wang
9. Integrating a functional pattern-based IR into MLIR · Martin Lücke, Michel Steuwer, Aaron Smith
10. Lightning BOLT: powerful, fast, and scalable binary optimization · Maksim Panchenko, Rafael Auler, Laith Sakka, Guilherme Ottoni
11. NSan: a floating-point numerical sanitizer · Clement Courbet
12. PGZ: automatic zero-value code specialization · Mark Stephenson, Ram Rangan
13. PolyBench/Python: benchmarking Python environments with polyhedral optimizations · Miguel Á. Abella-González, Pedro Carollo-Fernández, Louis-Noël Pouchet, Fabrice Rastello, Gabriel Rodríguez
14. Resolvable ambiguity: principled resolution of syntactically ambiguous programs · Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman