Our paper "Optimizing Alloy for Multi-Objective Software Product Line Configuration" has been accepted for publication at ABZ'14

 Our paper, which explores techniques to reduce the Kodkod universe size and speed up solving times for SPL optimization in Alloy,  has been accepted as a short research paper at ABZ'14, and will be presented this June in Toulouse, France.