Write a Blog >>
CC 2021
Tue 2 - Wed 3 March 2021
Online Conference
Toggle navigation
Attending
Venue: Online Conference
Registration
Guide for CC 2021 Attendees
Program
CC Program
Your Program
Tue 2 Mar
Wed 3 Mar
Tracks
CC 2021
CC Research Papers
CC Research Artifacts
Co-located Conferences
Organization
CC 2021 Committees
Organizing Committee
Steering Committee
Track Committees
CC Research Papers
CC Research Artifacts
Contributors
People Index
Search
Series
Series
CC 2025
CC 2024
CC 2023
CC 2022
CC 2021
CC 2020
CC 2019
CC 2018
CC 2017
CC 2016
CC 2015
CC 2014
CC 2013
CC 2012
CC 2011
CC 2010
Sign in
Sign up
CC 2021
(
series
) /
Online Conference
/
Room information: CC Virtual Room
Venue
Online Conference
Room name
CC Virtual Room
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 Opening
CC 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 Design
CC 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 MLIR
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
Break
CC Research Papers
at
CC Virtual Room
13:30 - 14:15
Optimization
CC 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
Mark Stephenson
NVIDIA
,
Ram Rangan
NVIDIA
13:45
15m
Talk
Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and Tools
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 Optimizations
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 Meeting
CC 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 & Correctness
CC 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 Code
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 Types
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
Break
CC Research Papers
at
CC Virtual Room
11:10 - 11:55
Code Generation & Binary Analysis
CC 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 Optimization
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
Break
CC Research Papers
at
CC Virtual Room
12:30 - 13:00
Natural & Source Language Analysis
CC 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 Programs
CC Research Papers
Viktor Palmkvist
KTH
,
Elias Castegren
KTH
,
Philipp Haller
KTH
,
David Broman
KTH
13:00 - 13:15
CC Closing
CC 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
Break
CC Research Papers
at
CC Virtual Room
Tue 2 Mar
Displayed time zone:
Eastern Time (US & Canada)
change
Room
12:00
30
13:00
30
14:00
30
15:00
30
CC Virtual Room
CC Research Papers
CC Opening
CC Research Papers
IR Design
CC Research Papers
Break
CC Research Papers
Optimization
CC Research Papers
CC Business Meeting
Wed 3 Mar
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
CC Virtual Room
CC Research Papers
Safety & Correctness
CC Research Papers
Break
CC Research Papers
Code Generation & Binary Analysis
CC Research Papers
Break
CC Research Papers
Natural & Source Language Analysis
CC Research Papers
CC Closing
CC Research Papers
Break
Tue 2 Mar
Displayed time zone:
Eastern Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
CC Virtual Room
CC Research Papers
Data-Aware Process Networks
12:30 - 12:45
CC Research Papers
Integrating a Functional Pattern-Based IR into MLIR
12:45 - 13:00
CC Research Papers
Compiling Data-Parallel Datalog
13:00 - 13:15
CC Research Papers
PGZ: Automatic Zero-Value Code Specialization
13:30 - 13:45
CC Research Papers
Exploring the Space of Optimization Sequences for Code-Size Reduction: ...
13:45 - 14:00
CC Research Papers
PolyBench/Python: Benchmarking Python Environments with Polyhedral Opti ...
14:00 - 14:15
CC Research Papers
CC Business Meeting
14:30 - 15:30
Wed 3 Mar
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
CC Virtual Room
CC Research Papers
A Modern Compiler for the French Tax Code
10:00 - 10:15
CC Research Papers
NSan: A Floating-Point Numerical Sanitizer
10:15 - 10:30
CC Research Papers
Communication-Safe Web Programming in TypeScript with Routed Multiparty ...
10:30 - 10:45
CC Research Papers
Helper Function Inlining in Dynamic Binary Translation
11:10 - 11:25
CC Research Papers
Lightning BOLT: Powerful, Fast, and Scalable Binary Optimization
11:25 - 11:40
CC Research Papers
Compact Native Code Generation for Dynamic Languages on Micro-core Arch ...
11:40 - 11:55
CC Research Papers
Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natura ...
12:30 - 12:45
CC Research Papers
Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous ...
12:45 - 13:00
x
Sat 21 Dec 18:14