About Us
The Software Lab is a research group in the Department of Computer Science of TU Darmstadt 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 are looking for PhD students to join the Software Lab at University of Stuttgart from September 2019 on.
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
Context2Name
NL2Type
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
