About Us

The Software Lab is a research group led by Michael Pradel in the Department of Computer Science at the University of Stuttgart . 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 openings to join the group as a PhD student or as a post-doc.

Research Highlights

AI Agents for Software Engineering

Autonomous, LLM-based agents that support developers.
RepairAgent, ExecutionAgent

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

Testing and analyzing quantum software.
Bug study, MorphQ, LintQ

Node.js Security

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

Analyzing WebAssembly

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