Michael Pradel
Email: michael@binaervarianz.de
Phone: +49-711-685-88320
University of Stuttgart
Software Lab
Universitätsstr. 38, Room 1.211
70569 Stuttgart, Germany
In September 2025, I'll be joining CISPA as a faculty member, while remaining a professor at the University of Stuttgart. The physical location of my lab remains in Stuttgart. We have openings for PhD students and post-docs.
Bio
I'm a full professor in the Computer Science Department of the University of Stuttgart, a faculty member in the International Max Planck Research School (IMPRS) for Intelligent Systems (IS), and a member in the Stuttgart ELLIS Unit. Previously, I was an assistant professor at TU Darmstadt, a postdoctoral researcher at the University of California, Berkeley, and a lecturer and postdoctoral researcher at ETH Zurich, where I completed my Ph.D. on program analyses for automatic and precise error detection. In 2019, I spent a sabbatical at Facebook, Menlo Park. I studied computer science at TU Dresden and engineering at Ecole Centrale Paris, and I visited EPFL for my master thesis. My work has been recognized through the Ernst-Denert Software Engineering Award, an Emmy Noether grant (1.3 million Euro) by the DFG, an ERC Starting Grant (1.5 million Euro), best/distinguished paper awards at FSE (3x), ISSTA, ASE, ASPLOS, and MSR, and by being named an ACM Distinguished Member.
Please follow these links for my research, publications, and teaching activities.
CV, Google Scholar, DBLP, GitHub
Recent, current, and upcoming service
- FSE 2027: PC co-chair
- ICSE 2026: Area chair
- OOPSLA 2026: Associate chair
- SE 2026: PC co-chair
- ASE 2025: Co-chair of New Faculty Symposium
- ASE 2025: Area chair
- ICSE 2025: Program committee
- FSE 2025: Program committee
- ASE 2024: Area chair
- ISSTA 2024: PC chair
- ESEC/FSE 2023: Program committee
- ICSE 2023: Program committee
- OOPSLA 2023: Review committee
- ISSTA 2023: Program committee
- ASE 2023: Program committee
- ESEC/FSE 2022: Chair of doctoral symposium
- ESEC/FSE 2022: Program committee
- ASE 2022: Program committee
- ISSTA 2022: Program committee
- ICSE 2022: Program committee
- ACM SIGSOFT Research highlights committee (2020-2022)
- OOPSLA 2021: Extended review committee
- PLDI 2021: Program committee
- ICSE 2021: Program committee
- ESEC/FSE 2021: Program committee
- ASE 2021: Program committee
- ISSTA 2021: Program committee
- ISSTA 2021: Co-chair of tool demonstrations
- ECOOP 2021: Program committee
- IEEE TSE (2020-2024): Associate editor
Talks
Slides of a few selected presentations. See here for talks on specific papers.
- LLM Agents for Program Repair and Project Setup (talk given at Shonan meeting 217, TU Delft, Imperial College London)
- Reliable Quantum Computing (talk given at IQST Day 2025)
- ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution (talk given at Dagstuhl seminar 24431)
- Neuro-Symbolic Developer Tools for Analyzing, Executing, and Repairing Code (talk given at NLBSE@ICSE'24, UC Davis, Google, TU Darmstadt, TU Munich, AWS, UCLA, USC, UC Riverside, Huawei, U Chicago, York University, TU Wien, CISPA, 04/2024-12/2024)
- SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript (talk given at SDD@FSE'23, 12/2023)
- Does AI Replace Software Developers? (talk given at infos meeting, 11/2023)
- Neural Software Analysis: Recent Advances on Types, Bugs, and Executions (talk given at Microsoft Research, IBM Research, and LLMs-for-Code Seminar, 07/2023)
- Metamorphic Testing of Developer Tools (talk given at MET@ICSE'23, 05/2023)
- Bugs in Quantum Computing Platforms and How to Detect Them Automatically (talk given at National University of Singapore, 09/2022)
- Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code (talk given ASA@PLDI'22, 06/2022)
- DynaPyt: A Dynamic Analysis Framework for Python (talk given at IFIP WG2.4 Meeting, 06/2022)
- Neural Software Analysis: Learning Developer Tools from Code (talk given at Northeastern University, MIT, Columbia University, Stevens Institute of Technology, ETH Zurich, USI Lugano, ML4Code@Montreal, 12/2021-05/2022)
- From PhD Student to Full Professor: Lessons Learned in the Trenches (talk given at New Faculty Symposium of ISSRE'21, 10/2021)
- Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic Bugs (talk given at IFIP WG2.4 Meeting, 05/2021)
