Current Set of Nominations for the Software Product Line MIP Award

Paper Nomination Date Submitted Status
Feature Models, Grammars, and Propositional Formulas. SPLC 2005 Letter July 21, 2016 Withdrawn as
SPLC Test-of-Time Award 2017
Staged Configuration using Feature Models
SPLC 2004

 February 8, 2017 MIP Award Winner 2017
Automated Reasoning on Feature Models
CAISE 2005
 December 12, 2016 MIP Award Winner 2017
Feature-Oriented Programming:
A Fresh Look at Objects: CCPE 2001      (ECOOP 1997)
Letter February 28, 2018 MIP Award Winner 2018
Granularity in Software Product Lines
ICSE 2008
March 22, 2019
MIP Award Winner 2019
Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines
October 3, 2019
MIP Award Winner 2020
Delta-Oriented Programming of Software Product Lines,
SPLC 2010
Letter December 10, 2020 MIP Award Winner 2022
Current set of Nominations for SPL MIP; new nominations will be added when submitted
Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains,
SPLC 2008
Letter February 13, 2018 Active Year #3
Formal Description of Variability in Product Families,
SPLC 2011
Letter January 12, 2022 Active Year #2
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines,
SPLC 2010
Letter January 27, 2022 Active Year #2