Output details
11 - Computer Science and Informatics
Lancaster University
Return to search
Output 0 of 0 in the submission
Output title
SPLLIFT: statically analyzing software product lines in minutes instead of years
Type
E - Conference contribution
Name of conference/published proceedings
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation (PLDI 2013)
Volume number
-
Issue number
-
First page of article
355
ISSN of proceedings
-
Year of publication
2013
Number of additional authors
5
Additional information
<07> Represents a breakthrough in statically analysing properties of software product-lines. It enables for the first time to run dataflow analyses for an entire product-line in one pass instead of once for each of its products (an exponent of the number of features). It does so by making the IFDS framework variability-aware and is as such applicable to an important class of inter-procedural dataflow analyses. Published in a world-class conference (PLDI, acceptance rate in 2013: 17%) and received extremely positive reviews (AAAB). Expected to have significant impact and has already several citations only 3 months after publication.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
