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 three leading projects are Panini, a language designed to enable safe and efficient concurrent programming by construction, Boa, a domain-specific language and infrastructure for mining software repositories, and Ptolemy, a language that strives to balance expressiveness and modular reasoning for crosscutting concerns.

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