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.

Research Highlights

Learning to Find and Fix Bugs

Machine learning-based techniques to detect bugs and fix them automatically.
DeepBugs, Getafix, SemSeed

Neural Type Prediction

Use deep learning to add otherwise missing type annotations.
NL2Type, TypeWriter, SnowWhite,

Reliable quantum computing

Automated testing of quantum computing platforms.
Bug study, MorphQ, LintQ

Analyzing WebAssembly

Static and dynamic analysis of WebAssembly code.
Wasabi, Binary security, WasmBench

Node.js Security

Addressing the security challenges of server-side JavaScript.
Synode, ReDoS in Node.js, NPM study, SecBench.js

Dynamic Analysis

General-purpose dynamic analysis frameworks.
Wasabi, DynaPyt

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.