Write a Blog >>
CC 2020
Sat 22 - Wed 26 February 2020 San Diego, California, United States
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 22 Feb

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

08:30 - 09:00
10:00 - 10:30
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
Session 1 Novel Language Constructs Main Conference
Chair(s): Pavlos Petoumenos University of Manchester
10:30
22m
Research paper
Bitwidth Customization in Image Processing Pipelines using Interval Analysis and SMT Solvers
Main Conference
Suresh Purini International Institute of Information Technology Hyderabad, Vinamra Benara UC Berkeley, Ziaul Chowdhury International Institute of Information Technology Hyderabad, Uday Bondhugula Indian Institute of Science
10:52
22m
Research paper
Is Stateful Packrat Parsing Really Linear in Practice? -- A Counter-Example, An Improved Grammar and Its Parsing Algorithms --
Main Conference
Nariyoshi Chida NTT Secure Platform Laboratories, Yuhei Kawakoya NTT Secure Platform Laboratories, Dai Ikarashi NTT Secure Platform Laboratories, Kenji Takahashi NTT Security, Koushik Sen University of California, Berkeley
11:15
22m
Research paper
Automatically Harnessing Sparse Acceleration
Main Conference
Philip Ginsbach University of Edinburgh, Bruce Collie University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh
11:37
22m
Research paper
Compiling First-order Functions to Session-Typed Parallel Code
Main Conference
David Castro-Perez Imperial College London, Nobuko Yoshida Imperial College London
12:00 - 13:00
13:00 - 14:30
Session 2 Techniques for Specific DomainsMain Conference
Chair(s): Dongyoon Lee Stony Brook University
13:00
22m
Research paper
Generating Fast Sparse Matrix Vector Multiplication From a High Level Generic Functional IR
Main Conference
Federico Pizzuti University of Edinburgh, Michel Steuwer University of Glasgow, Christophe Dubach University of Edinburgh
13:22
22m
Research paper
A Study of Event Frequency Profiling with Differential Privacy
Main Conference
Hailong Zhang Ohio State University, Yu Hao , Sufian Latif Ohio State University, USA, Raef Bassily Ohio State University, USA, Atanas Rountev Ohio State University
13:45
22m
Research paper
Improving Database Query Performance with Automatic Fusion
Main Conference
Hanfeng Chen McGill University, Canada, Alexander Krolik McGill University, Canada, Bettina Kemme McGill University, Canada, Clark Verbrugge McGill University, Canada, Laurie Hendren McGill University, Canada
14:07
22m
Research paper
Robust Quantization of Deep Neural Networks
Main Conference
Youngseok Kim Hanyang University, Korea, Junyeol Lee Hanyang University, Korea, Younghoon Kim Hanyang University, Korea, Jiwon Seo Hanyang University
14:30 - 15:00
14:30
30m
Coffee break
Break
Catering

15:00 - 16:30
Session 3 Runtime TechniquesMain Conference
Chair(s): Jose Nelson Amaral University of Alberta
15:00
22m
Research paper
Balancing Performance and Productivity for the Development of Dynamic Binary Instrumentation Tools: A Case Study on Arm Systems
Main Conference
Cosmin Gorgovan University of Manchester, Guillermo Callaghan University of Manchester, Mikel Luján University of Manchester
15:22
22m
Research paper
Mixed-Data-Model Heterogeneous Compilation and OpenMP Offloading
Main Conference
Andreas Kurth ETH Zurich, Koen Wolters ETH Zurich, Björn Forsberg ETH Zurich, Alessandro Capotondi University of Modena and Reggio Emilia, Andrea Marongiu University of Modena and Reggio Emilia, Tobias Grosser ETH Zurich, Luca Benini ETH Zurich
15:45
22m
Research paper
Dynamic Property Caches: A Step towards Faster JavaScript Proxy Objects
Main Conference
Manuel Serrano Inria, France, Robert Bruce Findler Northwestern University, USA
16:07
22m
Research paper
Runtime Multi-Versioning and Specialization inside a Memoized Speculative Loop Optimizer
Main Conference
Raquel Lazcano Centre of Software Technologies and Multimedia Systems, Universidad Politecnica de Madrid, Daniel Madroñal Centre of Software Technologies and Multimedia Systems, Universidad Politecnica de Madrid, Eduardo Juarez Centre of Software Technologies and Multimedia Systems, Universidad Politecnica de Madrid, Philippe Clauss University of Strasbourg

Sun 23 Feb

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

08:30 - 10:00
Session 4 OptimizationsMain Conference
Chair(s): Michel Steuwer University of Glasgow
08:30
22m
Research paper
Mix Your Contexts Well: Opportunities Unleashed by Recent Advances in Scaling Context-Sensitivity
Main Conference
Manas Thakur IIT Mandi, V Krishna Nandivada IIT Madras
08:52
22m
Research paper
Secure Delivery of Program Properties Through Optimizing Compilation
Main Conference
Son Tuan Vu Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Karine Heydemann Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Albert Cohen Google, Arnaud de Grandmaison Arm
09:15
22m
Research paper
Scalable Pointer Analysis of Data Structures Using Semantic Models
Main Conference
Pratik Fegade Carnegie Mellon University, Oracle Labs, Christian Wimmer Oracle Labs
09:37
22m
Research paper
Vectorization-Aware Loop Unrolling with Seed Forwarding
Main Conference
Rodrigo C. O. Rocha University of Edinburgh, Vasileios Porpodas Intel Corporation, Pavlos Petoumenos University of Edinburgh, Luís Góes PUC Minas, Zheng Wang University of Leeds, Murray Cole University of Edinburgh, Hugh Leather University of Edinburgh
10:00 - 10:30
10:00
30m
Coffee break
Break
Catering

10:30 - 11:40
Session 5 Graphs and moreMain Conference
Chair(s): EunJung (EJ) Park Los Alamos National Laboratory
10:30
23m
Research paper
Compiler-Based Graph Representations for Deep Learning Models of Code
Main Conference
Alexander Brauckmann TU Dresden, Germany, Andrés Goens TU Dresden, Sebastian Ertel Composable Operating Systems Group, Barkhausen Institute, Dresden, Jeronimo Castrillon TU Dresden, Germany
10:53
23m
Research paper
Postcondition-Preserving Fusion of Postorder Tree Transformations
Main Conference
Eleanor Davies University of Warwick, Sara Kalvala University of Warwick
11:16
23m
Research paper
Relaxing the One Definition Rule in Interpreted C++
Main Conference
Javier López-Gómez University Carlos III of Madrid, Javier Fernández University Carlos III of Madrid, David del Rio Astorga University Carlos III of Madrid, Vassil Vassilev Princeton University, Axel Naumann CERN, J. Daniel García University Carlos III of Madrid
11:40 - 12:00
Awards & Closing remarksMain Conference
12:00 - 13:00
12:00
60m
Lunch
Lunch
Catering