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), three ACM/SIGSOFT Distinguished Paper Awards, and by being named an ACM Distinguished Member.
Please follow these links for my research, publications, and teaching activities.
Recent, current, and upcoming service
- 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.
- Bugs in Quantum Computing Platforms and How to Detect Them Automatically (talk given 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)
