About

The Laboratory for Software Design at Iowa State University conducts research in programming languages, compilers and software engineering.

Our overarching goal is to develop tools and techniques that enable better design of software intensive systems: a better design that is easier and cheaper to implement, verify and sustain and that is more portable across computing platform differences.

Our two leading projects are Panini, a language designed to enable safe and efficient concurrent programming by construction, and Boa, a domain-specific language and infrastructure for mining software repositories.

Our research meetings are in 216 Atanasoff Hall on Wednesdays from 9am-1pm.