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
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,
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