No information available yet.
Accepted Papers
The following papers will be presented at CC 2020.
Dates
Plenary
Sat 22 FebDisplayed time zone: Pacific Time (US & Canada) change
Sat 22 Feb
Displayed time zone: Pacific Time (US & Canada) change
08:30 - 09:00 | OpeningMain Conference | ||
09:00 - 10:00 | KeynoteMain Conference | ||
09:00 60mTalk | IR Design for Heterogeneity: Challenges and Opportunities Main Conference Albert Cohen Google | ||
10:30 - 12:00 | Session 1 Novel Language Constructs Main Conference Chair(s): Pavlos Petoumenos University of Manchester | ||
10:30 22mResearch 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 22mResearch 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 22mResearch 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 22mResearch paper | Compiling First-order Functions to Session-Typed Parallel Code Main Conference | ||
12:00 - 13:00 | LunchCatering | ||
13:00 - 14:30 | Session 2 Techniques for Specific DomainsMain Conference Chair(s): Dongyoon Lee Stony Brook University | ||
13:00 22mResearch 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 22mResearch 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 22mResearch 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 22mResearch 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 | ||
15:00 - 16:30 | |||
15:00 22mResearch 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 22mResearch 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 22mResearch paper | Dynamic Property Caches: A Step towards Faster JavaScript Proxy Objects Main Conference | ||
16:07 22mResearch 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 FebDisplayed time zone: Pacific Time (US & Canada) change
Sun 23 Feb
Displayed time zone: Pacific Time (US & Canada) change
08:30 - 10:00 | |||
08:30 22mResearch paper | Mix Your Contexts Well: Opportunities Unleashed by Recent Advances in Scaling Context-Sensitivity Main Conference | ||
08:52 22mResearch 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 22mResearch paper | Scalable Pointer Analysis of Data Structures Using Semantic Models Main Conference | ||
09:37 22mResearch 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:30 - 11:40 | |||
10:30 23mResearch 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 23mResearch paper | Postcondition-Preserving Fusion of Postorder Tree Transformations Main Conference | ||
11:16 23mResearch 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 | ||