Virtual Separation of Concerns (2011 Update)
Virtual Separation of Concerns
Variability-Aware Analysis (FOSD Dagstuhl 2011)
Parsing and Type checking all 2^10000 configurations of the Linux kernel
Variability-Aware Parsing -- OOPSLA Talk