Registered user since Fri 18 Jul 2014
Michael Pradel is 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, and a sabbatical at Facebook. 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 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), an ERC Starting Grant, best/distinguished paper awards at FSE (2x), ISSTA, ASE, and ASPLOS, and by being named an ACM Distinguished Member.
Contributions
2025
2024
ISSTA
- PC Chair in Organizing Committee
- Session Chair of Keynote (part of Keynotes)
- Session Chair of Smart Contracts (part of Technical Papers)
- Session Chair of ISSTA 2025 Preview and Closing (part of Keynotes)
- PC Chair in Program Committee within the Technical Papers-track
- Session Chair of Opening and Awards (part of Keynotes)
ESEC/FSE
- Author of Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit within the Posters-track
- Author of DyPyBench: A Benchmark of Executable Python Software within the Research Papers-track
- Author of Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit within the Research Papers-track
- Author of DyPyBench: A Benchmark of Executable Python Software within the Posters-track
ICSE
- Author of Resource Usage and Optimization Opportunities in Workflows of GitHub Actions within the Research Track-track
- Author of Fuzz4All: Universal Fuzzing with Large Language Models within the Artifact Evaluation-track
- Author of PyTy: Repairing Static Type Errors in Python within the Artifact Evaluation-track
- Author of PyTy: Repairing Static Type Errors in Python within the Research Track-track
- Author of Fuzz4All: Universal Fuzzing with Large Language Models within the Research Track-track
- Author of Resource Usage and Optimization Opportunities in Workflows of GitHub Actions within the Artifact Evaluation-track
2023
MET
ESEC/FSE
- Session Chair of Program Analysis I (part of Research Papers)
- Author of LExecutor: Learning-Guided Execution within the Research Papers-track
- Session Chair of Machine Learning I (part of Research Papers)
- Author of Breakout groups on "Proposal writing", "Picking research problems and promoting your work", and "Working with students, Building your research team" within the New Faculty Symposium-track
- Committee Member in Program Committee within the Research Papers-track
- Panelist in Program Committee within the New Faculty Symposium-track
- Author of Breakout groups on "Research productivity" and "Balancing the job: Work-life balance and research-teaching-service balance" within the New Faculty Symposium-track
- Author of Research productivity within the New Faculty Symposium-track
ASE
ISSTA
- PC Member in Technical Papers within the Technical Papers-track
- Author of That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly within the Technical Papers-track
- Session Chair of ISSTA 5: Improving Deep Learning Systems (part of Technical Papers)
- Author of Beware of the Unexpected: Bimodal Taint Analysis within the Technical Papers-track
ICSE
- Author of MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform within the Artifact Evaluation-track
- Author of When to Say What: Learning to Find Condition-Message Inconsistencies within the Technical Track-track
- Author of MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform within the Technical Track-track
- Author of SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript within the Technical Track-track
- Program Committee Member in Technical Track within the Technical Track-track
- Author of SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript within the Artifact Evaluation-track
- Author of VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning within the Artifact Evaluation-track
- Session Chair of Testing of database and low-level software (part of Technical Track)
- Author of When to Say What? Learning to Find Inconsistencies in Condition-Message Statements within the Artifact Evaluation-track
- Author of VulGen: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning within the Technical Track-track
2022
ESEC/FSE
- Chair in Feedback Panel within the Doctoral Symposium-track
- Author of Generating Realistic Vulnerabilities via Neural Code Editing: An Empirical Study within the Research Papers-track
- Author of DynaPyt: A Dynamic Analysis Framework for Python within the Research Papers-track
- Session Chair of Session 2 (part of Doctoral Symposium)
- Session Chair of Session 4 (part of Doctoral Symposium)
- Doctoral Symposium Chair in Organizing Committee
- Author of Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic Bugs within the ESEC/FSE 2021-track
- Author of TypeWriter: Neural Type Prediction with Search-Based Validation within the ESEC/FSE 2020-track
- Committee Member in Test of Time Award Committee
- Session Chair of Session 3 (part of Doctoral Symposium)
- Committee Member in Program Committee within the Research Papers-track
- Session Chair of Newcomer's Lunch (part of Social)
- Session Chair of Session 1 (part of Doctoral Symposium)
- Chair in Program Committee within the Doctoral Symposium-track
- Author of The Evolution of Type Annotations in Python: An Empirical Study within the Research Papers-track
ASE
- Author of CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code within the Research Papers-track
- Author of CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code within the Artifact Evaluation-track
- Committee Member in Program Committee within the Research Papers-track
ISSTA
PAW
ICSE
- Presenter of Finding good research problems (2 short talks + discussion) within the NFS - New Faculty Symposium-track
- Author of Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies within the Technical Track-track
- Author of CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code within the Posters-track
- Committee Member in Program Committee within the Technical Track-track
- Author of Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks within the Technical Track-track
2021
ASE
- Author of Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code within the Artifact Evaluation-track
- Session Chair of Learning Applications (part of Research Papers)
- Author of Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code within the Research Papers-track
- Committee Member in Program Committee within the Research Papers-track
- Session Chair of Code (part of Research Papers)
ESEC/FSE
- Session Chair of Testing—Test Generation 2 (part of Research Papers)
- Session Chair of SE & AI—Machine Learning for Software Engineering 1 (part of Research Papers)
- Session Chair of SE & AI—Machine Learning for Software Engineering 2 (part of Research Papers)
- Committee Member in Program Committee within the Research Papers-track
- Session Chair of Analysis—Programming Languages (part of Research Papers)
- Author of Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic Bugs within the Research Papers-track
ECOOP/ISSTA
ISSTA
- Session Chair of Session 16 (time band 3) Binary Analysis (part of Technical Papers)
- Author of Finding Data Compatibility Bugs with JSON Subschema Checking within the Artifact Evaluation-track
- Session Chair of ISSTA Tool Demos (Live Discussion) 1 (part of Tool Demonstrations)
- Session Chair of ISSTA Tool Demos (One-Minute Teasers) 1 (part of Tool Demonstrations)
- PC Member in Program Committee
- Tool demonstrations co-chair in Organizing Comittee
- Author of Finding Data Compatibility Bugs with JSON Subschema Checking within the Technical Papers-track
- Co-chair in Program Committee within the Tool Demonstrations-track
- Author of Continuous Test Suite Failure Prediction within the Technical Papers-track
- Session Chair of ISSTA Tool Demos (One-Minute Teasers) 3 (part of Tool Demonstrations)
- Session Chair of ISSTA Tool Demos (Live Discussion) 3 (part of Tool Demonstrations)
- Session Chair of Session 25 (time band 3) Testing and Analysis (part of Technical Papers)
2020
SPLASH
ESEC/FSE
ASE
ICSE
Mining Software Repositories
2019
SPLASH
ISSTA
PLDI
2018
SPLASH
- Author of Test Generation for Higher-Order Functions in Dynamic Languages within the Artifacts-track
- Author of Test Generation for Higher-Order Functions in Dynamic Languages within the OOPSLA-track
- Author of DeepBugs: A Learning Approach to Name-based Bug Detection within the Posters-track
- Author of DeepBugs: A Learning Approach to Name-based Bug Detection within the OOPSLA-track
- Author of Test Generation for Higher-Order Functions in Dynamic Languages within the Posters-track
SOAP
2017
SPLASH
ISSTA
ECOOP
PLDI
2016
WODA
ECOOP
2015
SPLASH
- Committee Member in Program Committee within the Student Research Competition-track
- Session Chair of 7. Runtime (part of OOPSLA)
- Committee Member in Program Committee within the OOPSLA-track
- Author of Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities within the OOPSLA-track
- Author of Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities within the OOPSLA Artifacts-track