No information available yet.
Accepted Papers
The following papers will be presented at CC 2020.
Dates
Plenary
Sat 22 Feb Times are displayed in time zone: Pacific Time (US & Canada) change
Sat 22 Feb
Times are displayed in time zone: Pacific Time (US & Canada) change
08:30 - 09:00: OpeningMain Conference | |||
09:00 - 10:00: KeynoteMain Conference | |||
09:00 - 10:00 Talk | IR Design for Heterogeneity: Challenges and Opportunities Main Conference Albert CohenGoogle |
10:30 - 12:00: Session 1 Novel Language Constructs Main Conference Chair(s): Pavlos PetoumenosUniversity of Manchester | |||
10:30 - 10:52 Research paper | Bitwidth Customization in Image Processing Pipelines using Interval Analysis and SMT Solvers Main Conference Suresh PuriniInternational Institute of Information Technology Hyderabad, Vinamra BenaraUC Berkeley, Ziaul ChowdhuryInternational Institute of Information Technology Hyderabad, Uday BondhugulaIndian Institute of Science | ||
10:52 - 11:15 Research paper | Is Stateful Packrat Parsing Really Linear in Practice? -- A Counter-Example, An Improved Grammar and Its Parsing Algorithms -- Main Conference Nariyoshi ChidaNTT Secure Platform Laboratories, Yuhei KawakoyaNTT Secure Platform Laboratories, Dai IkarashiNTT Secure Platform Laboratories, Kenji TakahashiNTT Security, Koushik SenUniversity of California, Berkeley | ||
11:15 - 11:37 Research paper | Automatically Harnessing Sparse Acceleration Main Conference Philip GinsbachUniversity of Edinburgh, Bruce CollieUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh | ||
11:37 - 12:00 Research 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 LeeStony Brook University | |||
13:00 - 13:22 Research paper | Generating Fast Sparse Matrix Vector Multiplication From a High Level Generic Functional IR Main Conference Federico PizzutiUniversity of Edinburgh, Michel SteuwerUniversity of Glasgow, Christophe DubachUniversity of Edinburgh | ||
13:22 - 13:45 Research paper | A Study of Event Frequency Profiling with Differential Privacy Main Conference Hailong ZhangOhio State University, Yu Hao, Sufian LatifOhio State University, USA, Raef BassilyOhio State University, USA, Atanas RountevOhio State University | ||
13:45 - 14:07 Research paper | Improving Database Query Performance with Automatic Fusion Main Conference Hanfeng ChenMcGill University, Canada, Alexander KrolikMcGill University, Canada, Bettina KemmeMcGill University, Canada, Clark VerbruggeMcGill University, Canada, Laurie HendrenMcGill University, Canada | ||
14:07 - 14:30 Research paper | Robust Quantization of Deep Neural Networks Main Conference Youngseok KimHanyang University, Korea, Junyeol LeeHanyang University, Korea, Younghoon KimHanyang University, Korea, Jiwon SeoHanyang University |
15:00 - 16:30: Session 3 Runtime TechniquesMain Conference Chair(s): Jose Nelson AmaralUniversity of Alberta | |||
15:00 - 15:22 Research paper | Balancing Performance and Productivity for the Development of Dynamic Binary Instrumentation Tools: A Case Study on Arm Systems Main Conference Cosmin GorgovanUniversity of Manchester, Guillermo CallaghanUniversity of Manchester, Mikel LujánUniversity of Manchester | ||
15:22 - 15:45 Research paper | Mixed-Data-Model Heterogeneous Compilation and OpenMP Offloading Main Conference Andreas KurthETH Zurich, Koen WoltersETH Zurich, Björn ForsbergETH Zurich, Alessandro CapotondiUniversity of Modena and Reggio Emilia, Andrea MarongiuUniversity of Modena and Reggio Emilia, Tobias GrosserETH Zurich, Luca BeniniETH Zurich | ||
15:45 - 16:07 Research paper | Dynamic Property Caches: A Step towards Faster JavaScript Proxy Objects Main Conference | ||
16:07 - 16:30 Research paper | Runtime Multi-Versioning and Specialization inside a Memoized Speculative Loop Optimizer Main Conference Raquel LazcanoCentre of Software Technologies and Multimedia Systems, Universidad Politecnica de Madrid, Daniel MadroñalCentre of Software Technologies and Multimedia Systems, Universidad Politecnica de Madrid, Eduardo JuarezCentre of Software Technologies and Multimedia Systems, Universidad Politecnica de Madrid, Philippe ClaussUniversity of Strasbourg |
Sun 23 Feb Times are displayed in time zone: Pacific Time (US & Canada) change
Sun 23 Feb
Times are displayed in time zone: Pacific Time (US & Canada) change
08:30 - 08:52 Research paper | Mix Your Contexts Well: Opportunities Unleashed by Recent Advances in Scaling Context-Sensitivity Main Conference | ||
08:52 - 09:15 Research paper | Secure Delivery of Program Properties Through Optimizing Compilation Main Conference Son Tuan VuSorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Karine HeydemannSorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Albert CohenGoogle, Arnaud de GrandmaisonArm | ||
09:15 - 09:37 Research paper | Scalable Pointer Analysis of Data Structures Using Semantic Models Main Conference | ||
09:37 - 10:00 Research paper | Vectorization-Aware Loop Unrolling with Seed Forwarding Main Conference Rodrigo C. O. RochaUniversity of Edinburgh, Vasileios PorpodasIntel Corporation, Pavlos PetoumenosUniversity of Edinburgh, Luís GóesPUC Minas, Zheng WangUniversity of Leeds, Murray ColeUniversity of Edinburgh, Hugh LeatherUniversity of Edinburgh |
10:30 - 11:40: Session 5 Graphs and moreMain Conference Chair(s): EunJung (EJ) ParkLos Alamos National Laboratory | |||
10:30 - 10:53 Research paper | Compiler-Based Graph Representations for Deep Learning Models of Code Main Conference Alexander BrauckmannTU Dresden, Germany, Andrés GoensTU Dresden, Sebastian ErtelComposable Operating Systems Group, Barkhausen Institute, Dresden, Jeronimo CastrillonTU Dresden, Germany | ||
10:53 - 11:16 Research paper | Postcondition-Preserving Fusion of Postorder Tree Transformations Main Conference | ||
11:16 - 11:40 Research paper | Relaxing the One Definition Rule in Interpreted C++ Main Conference Javier López-GómezUniversity Carlos III of Madrid, Javier FernándezUniversity Carlos III of Madrid, David del Rio AstorgaUniversity Carlos III of Madrid, Vassil VassilevPrinceton University, Axel NaumannCERN, J. Daniel GarcíaUniversity Carlos III of Madrid |
11:40 - 12:00: Awards & Closing remarksMain Conference | |||