About Us
The Software Lab is a research group led by Michael Pradel at the CISPA Helmholtz Center for Information Security and 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.
Research Highlights
AI Agents for Software Engineering
Autonomous, LLM-based agents that support developers.
RepairAgent,
ExecutionAgent,
Trajectory study
Learning to Find and Fix Bugs
Learning-based techniques to detect bugs and fix them automatically.
DeepBugs,
Getafix,
SemSeed
Validating Code Changes
Check whether code changes modify a program's behavior as intended.
Testora,
ChangeGuard
Neural Type Prediction
Use deep learning to add otherwise missing type annotations.
NL2Type,
TypeWriter,
SnowWhite
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
