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-Gonzalez

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

icse-2019-Paper-Presentations
16:00 - 17:20: Papers - Program Transformations at Van-Horne
Chair(s): Cindy Rubio-GonzalezUniversity of California, Davis
icse-2019-Technical-Papers16:00 - 16:20
Talk
Xie WangNanjing University, Huaijin WangNanjing University, Zhendong SuETH Zurich, Enyi TangNanjing University, Xin ChenNanjing University, Weijun ShenNanjing University, Zhenyu ChenNanjing University, Linzhang Wang, Xianpei ZhangNanjing University, Xuandong LiNanjing University
icse-2019-Technical-Papers16:20 - 16:40
Talk
Ameya KetkarOregon State University, USA, Ali MesbahUniversity of British Columbia, Davood MazinanianUniversity of British Columbia, Danny DigSchool of EECS at Oregon State University, Edward AftandilianGoogle
Pre-print
icse-2019-Technical-Papers16:40 - 17:00
Talk
Tanzirul AzimUniversity of California, Riverside, Arash AlaviUniversity of California, Riverside, Iulian NeamtiuNew Jersey Institute of Technology, Rajiv GuptaUC Riverside
icse-2019-New-Ideas-and-Emerging-Reults17:00 - 17:10
Talk
Paul GazzilloUniversity of Central Florida, Shiyi WeiThe University of Texas at Dallas
Pre-print
icse-2019-Paper-Presentations17:10 - 17:20
Talk