Write a Blog >>
CC 2020
Sat 22 - Wed 26 February 2020 San Diego, California, United States
Sun 23 Feb 2020 08:52 - 09:15 - Session 4 Optimizations Chair(s): Michel Steuwer

Annotations and assertions capturing static program properties are ubiquitous, from robust software engineering to safety-critical or secure code. These may be functional or non-functional properties of control and data flow, memory usage, I/O and real time. We propose an approach to encode, translate, and preserve the semantics of both functional and non-functional properties along the optimizing compilation of C to machine code. The approach involves (1) capturing and translating source-level properties through lowering passes and intermediate representations, such that data and control flow optimizations will preserve their consistency with the transformed program, and (2) carrying properties and their translation as debug information down to machine code. Our experiments using LLVM validate the soundness, expressiveness and efficiency of the approach, considering a reference suite of functional properties as well as established security properties and applications hardened against side-channel attacks.

Sun 23 Feb
Times are displayed in time zone: Pacific Time (US & Canada) change

08:30 - 10:00: Session 4 OptimizationsMain Conference
Chair(s): Michel SteuwerUniversity of Glasgow
08:30 - 08:52
Research paper
Main Conference
Manas ThakurIIT Mandi, V Krishna NandivadaIIT Madras
08:52 - 09:15
Research paper
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
Main Conference
Pratik FegadeCarnegie Mellon University, Oracle Labs, Christian WimmerOracle Labs
09:37 - 10:00
Research paper
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