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, four best/distinguished paper awards, and by being named an ACM Distinguished Member.
Contributions
2022
ESEC/FSE
- Chair in Feedback Panel within the Doctoral Symposium-track
- Generating Realistic Vulnerabilities via Neural Code Editing: An Empirical Study
- DynaPyt: A Dynamic Analysis Framework for Python
- Session Chair of Session 2 (part of Doctoral Symposium)
- Session Chair of Session 4 (part of Doctoral Symposium)
- Doctoral Symposium Chair in Organizing Committee
- Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic Bugs
- TypeWriter: Neural Type Prediction with Search-Based Validation
- 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
- The Evolution of Type Annotations in Python: An Empirical Study
View general profile