Faculty
2024: ERC Proof of Concept Grant
2022: ACM Distinguished Member
2019: ERC Starting Grant
2013: Ernst-Denert Software Engineering Award
Emmy Noether grant by the German Research Foundation (DFG)
Best/distinguished paper awards at FSE (3x), ISSTA, ASE, ASPLOS, and MSR
Prof. Dr. Michael Pradel is a tenured faculty member at the CISPA Helmholtz Center for Information Security and a full professor at the University of Stuttgart, which he joined after a PhD at ETH Zurich, a post-doc at UC Berkeley, an assistant professorship at TU Darmstadt. He has visited Facebook, UC Berkeley, and UCLA for sabbaticals. His research interests span software engineering, programming languages, security, and machine learning, with a focus on tools and techniques for building reliable, efficient, and secure software. In particular, he is interested in neural-symbolic software analysis, analyzing web applications, dynamic analysis, and test generation. Michael has been recognized through the Ernst-Denert Software Engineering Award, an Emmy Noether grant by the German Research Foundation (DFG), two ERC grants, best/distinguished paper awards at FSE (3x), ISSTA, ASE, ASPLOS, and MSR, and by being named an ACM Distinguished Member.
Automated Software Engineering Conference (ASE) Doc2Feat-Bench: Evaluating Documentation-Driven Feature Addition
Automated Software Engineering Conference (ASE) Automated Table Reproduction via Code Generation
International Symposium on Software Testing and Analysis (ISSTA) IterTestQ: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms
International Symposium on Software Testing and Analysis (ISSTA) STARS: Static Analysis-Guided Assertion Synthesis using Large Language Models
International Symposium on Software Testing and Analysis (ISSTA) Names Are All You Need: Effective and Safe Regression Test Selection for Python
International Symposium on Software Testing and Analysis (ISSTA) RippleGUItester: Change-Aware Exploratory Testing
International Symposium on Software Testing and Analysis (ISSTA) LLM-Based Repair of Static Nullability Errors
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages
Proceedings of the ACM on Software Engineering CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings
International Conference on Software Engineering (ICSE) CodeMapper: A Language-Agnostic Approach to Mapping Code Regions Across Commits