Write a Blog >>
CC 2021
Tue 2 - Wed 3 March 2021 Online Conference
VenueOnline Conference
Room nameCC Virtual Room
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 2 Mar

Displayed time zone: Eastern Time (US & Canada) change

12:15 - 12:30
CC OpeningCC Research Papers at CC Virtual Room
Chair(s): Aaron Smith University of Edinburgh; Microsoft, Delphine Demange Univ Rennes, Inria, CNRS, IRISA, Rajiv Gupta UC Riverside
12:30 - 13:15
IR DesignCC Research Papers at CC Virtual Room
Chair(s): Albert Cohen Google
12:30
15m
Talk
Data-Aware Process Networks
CC Research Papers
Christophe Alias CNRS; ENS Lyon; Inria; University of Lyon, Alexandru Plesco XtremLogic
12:45
15m
Talk
Integrating a Functional Pattern-Based IR into MLIRArtifacts Evaluated – Functional v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Martin Lücke University of Edinburgh, Michel Steuwer University of Edinburgh, Aaron Smith University of Edinburgh; Microsoft
13:00
15m
Talk
Compiling Data-Parallel Datalog
CC Research Papers
Thomas Gilray University of Alabama at Birmingham, Sidharth Kumar University of Alabama at Birmingham, Kristopher Micinski Syracuse University
13:15 - 13:30
13:30 - 14:15
OptimizationCC Research Papers at CC Virtual Room
Chair(s): Christophe Dubach McGill University
13:30
15m
Talk
PGZ: Automatic Zero-Value Code Specialization
CC Research Papers
13:45
15m
Talk
Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and ToolsArtifacts Evaluated – Reusable v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Anderson Faustino da Silva State University of Maringá, Bernardo N. B. de Lima Federal University of Minas Gerais, Fernando Magno Quintão Pereira Federal University of Minas Gerais
14:00
15m
Talk
PolyBench/Python: Benchmarking Python Environments with Polyhedral OptimizationsArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1
CC Research Papers
Miguel Á. Abella-González Universidade da Coruña, Pedro Carollo-Fernández Universidade da Coruña, Louis-Noël Pouchet Colorado State University, Fabrice Rastello Inria, Gabriel Rodríguez Universidade da Coruña
14:30 - 15:30
CC Business MeetingCC Research Papers at CC Virtual Room
14:30
60m
Meeting
CC Business Meeting
CC Research Papers

Wed 3 Mar

Displayed time zone: Eastern Time (US & Canada) change

10:00 - 10:45
Safety & CorrectnessCC Research Papers at CC Virtual Room
Chair(s): Jan Vitek Northeastern University / Czech Technical University
10:00
15m
Talk
A Modern Compiler for the French Tax CodeArtifacts Evaluated – Reusable v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Denis Merigoux Inria, Raphaël Monat Sorbonne University; CNRS; LIP6, Jonathan Protzenko Microsoft Research
10:15
15m
Talk
NSan: A Floating-Point Numerical Sanitizer
CC Research Papers
Clement Courbet Google Research
10:30
15m
Talk
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session TypesArtifacts Evaluated – Reusable v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Anson Miu Imperial College London; Bloomberg, Francisco Ferreira Imperial College London, Nobuko Yoshida Imperial College London, Fangyi Zhou Imperial College London
Pre-print Media Attached
10:45 - 11:10
11:10 - 11:55
Code Generation & Binary AnalysisCC Research Papers at CC Virtual Room
Chair(s): Bernhard Egger Seoul National University
11:10
15m
Talk
Helper Function Inlining in Dynamic Binary Translation
CC Research Papers
Wenwen Wang University of Georgia
11:25
15m
Talk
Lightning BOLT: Powerful, Fast, and Scalable Binary OptimizationArtifacts Evaluated – Functional v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Maksim Panchenko Facebook, Rafael Auler Facebook, Laith Sakka Purdue University, Guilherme Ottoni Facebook
11:40
15m
Talk
Compact Native Code Generation for Dynamic Languages on Micro-core Architectures
CC Research Papers
Maurice Jamieson University of Edinburgh, Nick Brown University of Edinburgh
11:55 - 12:30
12:30 - 13:00
Natural & Source Language AnalysisCC Research Papers at CC Virtual Room
Chair(s): Zhijia Zhao UC Riverside
12:30
15m
Talk
Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natural Language
CC Research Papers
Zifan Nan North Carolina State University, Hui Guan University of Massachusetts at Amherst, Xipeng Shen North Carolina State University, Chunhua Liao Lawrence Livermore National Laboratory
12:45
15m
Talk
Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous ProgramsArtifacts Evaluated – Reusable v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
13:00 - 13:15
CC ClosingCC Research Papers at CC Virtual Room
Chair(s): Aaron Smith University of Edinburgh; Microsoft, Delphine Demange Univ Rennes, Inria, CNRS, IRISA, Rajiv Gupta UC Riverside
13:15 - 13:30