This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.
Our paper "Optimizing Alloy for Multi-Objective Software Product Line Configuration" has been accepted for publication at ABZ'14
by on April 10, 2014
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.
