The Software Lab is a research group in the Department of
Computer Science of University of Stuttgart led by Michael Pradel. Our research focuses on tools
and techniques for building reliable, efficient, and secure software. To this end, we work on testing and analysis
of complex software systems. As part of our research, we have contributed to techniques that detected thousands of
bugs in widely used software.
We have an opening to join the group as a PhD student. Please check out
Learning to Find and Fix Bugs
Machine learning-based techniques to detect bugs and fix them automatically.
Performance Profiling and Analysis
Analyses that pinpoint optimization opportunities to help developers speed up their programs.
PerfSyn, DecisionProf, MemoizeIt
Our work has been generously supported by an ERC Starting
Grant, by the Emmy Noether
program and other grants of the DFG, by the German Federal Ministry of
Education and Research (BMWF) and by the Hessian Ministry of Science and the Arts within CRISP, and by the Hessian LOEWE initiative within the Software-Factory 4.0 project.