The Software Practices Lab brings together researchers who want to build better software systems more effectively. Our projects span software engineering, programming languages, and software systems. We are interested in questions such as:
- When is a system tested enough?
- How can software developers navigate large information spaces?
- How can we express properties of a system in code effectively?
We are located in ICICS/CS 308.