Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Fri 31 May 2019 17:00 - 17:10 at Van-Horne - Program Transformations Chair(s): Cindy Rubio-González

Highly-configurable systems written in C form our most critical computing infrastructure. The preprocessor is integral to C, because conditional compilation enables such systems to produce efficient object code. However, the preprocessor makes code harder to reason about for both humans and tools. Previous approaches to this challenge developed new program analyses for unpreprocessed source code or developed new languages and constructs to replace the preprocessor. But having special-purpose analyses means maintaining a new toolchain, while new languages face adoption challenges and do not help with existing software. We propose the best of worlds: eliminate the preprocessor but preserve its benefits. Our design replaces preprocessor usage with C itself, augmented with syntax-preserving, backwards-compatible dependent types. We discuss automated conditional compilation to replicate preprocessor performance. Our approach opens new directions for research into new compiler optimizations, dependent types for configurable software, and automated translation away from preprocessor use.

Fri 31 May

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

16:00 - 17:20
Program TransformationsNew Ideas and Emerging Results / Technical Track / Papers at Van-Horne
Chair(s): Cindy Rubio-González University of California, Davis
16:00
20m
Talk
Global Optimization of Numerical Programs via Prioritized Stochastic Algebraic TransformationsArtifacts AvailableTechnical Track
Technical Track
Xie Wang Nanjing University, Huaijin Wang Nanjing University, Zhendong Su ETH Zurich, Enyi Tang Nanjing University, Xin Chen Nanjing University, Weijun Shen Nanjing University, Zhenyu Chen Nanjing University, Linzhang Wang , Xianpei Zhang Nanjing University, Xuandong Li Nanjing University
16:20
20m
Talk
Type Migration in Ultra-Large-Scale CodebasesArtifacts Evaluated ReusableTechnical Track
Technical Track
Ameya Ketkar Oregon State University, USA, Ali Mesbah University of British Columbia, Davood Mazinanian University of British Columbia, Danny Dig School of EECS at Oregon State University, Edward Aftandilian Google
Pre-print
16:40
20m
Talk
Dynamic Slicing for AndroidTechnical Track
Technical Track
Tanzirul Azim Microsoft, USA, Arash Alavi University of California, Riverside, Iulian Neamtiu New Jersey Institute of Technology, Rajiv Gupta UC Riverside
17:00
10m
Talk
Conditional Compilation is Dead, Long Live Conditional Compilation!NIER
New Ideas and Emerging Results
Paul Gazzillo University of Central Florida, Shiyi Wei The University of Texas at Dallas
Pre-print
17:10
10m
Talk
Discussion Period
Papers