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.
Machine Learning for Program Analysis
Instead of developing program analyses by hand, learn them from large corpora of code.
Synode, ReDoS in Node.js
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
Our work is generously supported 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. We are a member of CYSEC.