SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Thu 19 Nov 2020 09:00 - 09:20 at OOPSLA/ECOOP - R-2
Thu 19 Nov 2020 21:00 - 21:20 at OOPSLA/ECOOP - R-2

A software analysis is a computer program that takes some representation of a software product as input and produces some useful information about that product as output. A software product line encompasses \emph{many} software product variants, and thus existing analyses can be applied to each of the product variations individually, but not to the entire product line as a whole. Enumerating all product variants and analyzing them one by one is usually intractable due to the combinatorial explosion of the number of product variants with respect to product line features. Several software analyses (e.g., type checkers, model checkers, data flow analyses) have been redesigned/re-implemented to support variability. This usually requires a lot of time and effort, and the variability-aware version of the analysis might have new errors/bugs that do not exist in the original one.

Given an analysis program written in a functional language based on PCF, in this paper we present two approaches to transforming (lifting) it into a semantically equivalent variability-aware analysis. A light-weight approach (referred to as \emph{shallow lifting}) wraps the analysis program into a variability-aware version, exploring all combinations of its input arguments. Deep lifting, on the other hand, is a program rewriting mechanism where the syntactic constructs of the input program are rewritten into their variability-aware counterparts. Compositionally this results in an efficient program semantically equivalent to the input program, modulo variability.

We present the correctness criteria for functional program lifting, together with correctness proof sketches of our program transformations. We evaluate our approach on a set of program analyses applied to the BusyBox C-language product line.

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 10:20: R-2OOPSLA at OOPSLA/ECOOP +12h
09:00 - 09:20
Talk
OOPSLA
Ramy ShahinUniversity of Toronto, Marsha ChechikUniversity of Toronto
Pre-print
09:20 - 09:40
Talk
OOPSLA
Alejandro Gómez-LondoñoChalmers University of Technology, Johannes Åman PohjolaCSIRO's Data61/University of New South Wales, Hira Taqdees SyedaChalmers University of Technology, Magnus O. MyreenChalmers University of Technology, Sweden, Yong Kiam TanCarnegie Mellon University, USA
09:40 - 10:00
Talk
OOPSLA
Yiyun LiuUniversity of Maryland, College Park, USA, James ParkerUniversity of Maryland, Patrick RedmondUniversity of California, Santa Cruz, USA, Lindsey KuperUniversity of California, Santa Cruz, Michael HicksUniversity of Maryland, Niki VazouIMDEA Software Institute
10:00 - 10:20
Talk
OOPSLA
Milijana SurbatovichCarnegie Mellon University, Brandon LuciaCarnegie Mellon University, Limin JiaCarnegie Mellon University
21:00 - 22:20: R-2OOPSLA at OOPSLA/ECOOP
21:00 - 21:20
Talk
OOPSLA
Ramy ShahinUniversity of Toronto, Marsha ChechikUniversity of Toronto
Pre-print
21:20 - 21:40
Talk
OOPSLA
Alejandro Gómez-LondoñoChalmers University of Technology, Johannes Åman PohjolaCSIRO's Data61/University of New South Wales, Hira Taqdees SyedaChalmers University of Technology, Magnus O. MyreenChalmers University of Technology, Sweden, Yong Kiam TanCarnegie Mellon University, USA
21:40 - 22:00
Talk
OOPSLA
Yiyun LiuUniversity of Maryland, College Park, USA, James ParkerUniversity of Maryland, Patrick RedmondUniversity of California, Santa Cruz, USA, Lindsey KuperUniversity of California, Santa Cruz, Michael HicksUniversity of Maryland, Niki VazouIMDEA Software Institute
22:00 - 22:20
Talk
OOPSLA
Milijana SurbatovichCarnegie Mellon University, Brandon LuciaCarnegie Mellon University, Limin JiaCarnegie Mellon University