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
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 University of California, Berkeley, and a lecturer and postdoctoral researcher at ETH Zurich, where I did my Ph.D. on program analyses for automatic and precise error detection. In 2019, I spent a sabbatical at Facebook, Menlo Park. I have 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 (2x), ISSTA, ASE, and ASPLOS, 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
- ICSE 2026: Area chair
- ICSE 2025: Program committee
- FSE 2025: Program committee
- ASE 2024: Area chair
- ISSTA 2024: Chair of program committee
- 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 (since 2020): Associate editor
Talks
Slides of a few selected presentations. See here for talks on specific papers.
- Neuro-Symbolic Developer Tools for Analyzing, Executing, and Repairing Code (talk given at NLBSE@ICSE'24, 04/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)
