The Software Lab is a research group led by Michael Pradel. Our research focuses on tools and techniques for building reliable, efficient, and secure software.

true" ? copyright : '' }