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.
Communications of the ACM Agentic AI Software Engineers: Programming with Trust
ACM Computing Surveys From Bugs to Benchmarks: A Comprehensive Survey of Software Defect Datasets
International Conference on Software Engineering (ICSE)
SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript
Automated Software Engineering Conference (ASE)
Execution-Aware Program Reduction for WebAssembly via Record and Replay
Automated Software Engineering Conference (ASE)
Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories
Automated Software Engineering Conference (ASE)
Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories
Usenix Security Symposium (USENIX-Security)
Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers.
Usenix Security Symposium (USENIX-Security)
Small World with High Risks: A Study of Security Threats in the npm Ecosystem.
International Conference on Software Engineering (ICSE)
Nomen est omen: exploring and exploiting similarities between argument and parameter names.
International Conference on Software Engineering (ICSE)
RepairAgent: An Autonomous, LLM-Based Agent for Program Repair