About Us

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 the offer.

Research Highlights

JavaScript and Web Applications

Dynamic analyses and test generation techniques to detect performance and correctness problems in JavaScript-based web applications.
LambdaTester, ConflictJS, Performance bugs, Wasabi

Machine Learning for Program Analysis

Instead of developing program analyses by hand, learn them from large corpora of code.
DeepBugs NL2Type TypeWriter

Node.js Security

The increasingly popular server-side JavaScript platform brings novel security challenges.
Synode, ReDoS in Node.js, NPM study

Static Bug Detection

Simple yet effective static analyses that reveal programming errors without requiring formal specifications.
Name-based analysis at Google

Performance Profiling and Analysis

Analyses that pinpoint specific optimization opportunities to help developers speed up their programs.
PerfSyn, DecisionProf, MemoizeIt

Test Generation

Generate inputs for automated and effective testing, both for unit-level and system-level testing.
TestMiner, CovCon, Macro-based UI testing

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.