Michael Pradel

Registered user since Fri 18 Jul 2014

Name:Michael Pradel
Bio:

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.

Country:Germany
Affiliation:University of Stuttgart
Research interests:Software Engineering, Programming Languages, Program Analysis, Machine Learning

Contributions

ESEC/FSE 2023 Committee Member in Program Committee within the Research Papers-track
SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
ASE 2023 Committee Member in Program Committee within the Research Papers-track
ISSTA 2023 PC Member in Technical Papers within the Technical Papers-track
ASA 2023 Committee Member in Organizing Committee within the ASA-track
ICSE 2023 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
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
SPLASH 2022 Author of Bugs in Quantum computing platforms: an empirical study within the OOPSLA-track
ESEC/FSE 2022 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 2022 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 2022 Author of Neural Software Analysis: the Good, the Bad, and the Ugly within the Keynotes-track
Programme Committee in Program Committee within the Technical Papers-track
PLDI 2022 Author of Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries within the PLDI-track
ASA 2022 Author of Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code within the ASA 2022-track
PAW 2022 Author of Dynamic Analysis for WebAssembly with Wasabi within the PAW 2022-track
Author of Wimpl: A Simple IR for Static Analysis of WebAssembly Binaries within the PAW 2022-track
Committee Member in Program Committee within the PAW 2022-track
ICSE 2022 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
Q-SE 2022 Author of Bugs in Quantum Computing Platforms: An Empirical Study within the Q-SE 2022-track
ASE 2021 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)
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
ESEC/FSE 2021 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 2021 PC Member in Program Committee within the ECOOP Technical Papers-track
ECOOP and ISSTA 2021 Author of Practical Static Analysis and Bug Finding within the Discussions with Experts-track
Session Chair of Practical Static Analysis and Bug Finding (part of Discussions with Experts)
ISSTA Tools demonstrations Co-Chair in Organizing Committee
ISSTA 2021 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)
PLDI 2021 Committee Member in Program Committee within the PLDI-track
MAPS 2021 Author of Learning to Make Compiler Optimizations More Effective within the MAPS 2021-track
ICSE 2021 Author of IdBench: Evaluating Semantic Representations of Identifier Names in Source Code within the Technical Track-track
Committee Member in Program Committee within the Technical Track-track
SPLASH 2020 Session Chair of T-6A (part of OOPSLA)
Session Chair of T-4 (part of OOPSLA)
Committee Member in External Review Committee within the OOPSLA-track
ESEC/FSE 2020 Panelist of Conversations on Analysis 3 within the Paper Presentations-track
Author of TypeWriter: Neural Type Prediction with Search-Based Validation within the Research Papers-track
ASE 2020 Session Chair of Software Analysis (1) (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Author of No Strings Attached: An Empirical Study of String-related Software Bugs within the Research Papers-track
ISSTA 2020 Author of Scaffle: Bug Localization on Millions of Files within the Technical Papers-track
ICSE 2020 Author of Extracting Taint Specifications for JavaScript Libraries within the Technical Papers-track
MSR 2020 Panelist of ML4SE AMA within the Ask Me Anything-track
ASE 2019 Committee Member in Program Committee within the Journal First Presentations-track
SPLASH 2019 Committee Member in Program Committee within the Doctoral Symposium-track
Author of Getafix: Learning to Fix Bugs Automatically within the Posters-track
Author of Getafix: Learning to Fix Bugs Automatically within the OOPSLA-track
ISSTA 2019 Artifact Evaluation Co-Chair in Organizing Committee
Author of Interactive Metamorphic Testing of Debuggers within the Technical Papers-track
Artifact Evaluation Chair in Evaluation Committee within the Artifact Evaluation-track
Author of Distinguished Artifact Awards within the Keynote-track
PLDI 2019 Organizer of Dynamically Analyzing WebAssembly with Wasabi within the PLDI Tutorials-track
Committee Member in Program Committee within the PLDI Research Papers-track
Session Chair of Learning Specifications (part of PLDI Research Papers)
ICSE 2019 Committee Member in Program Board within the Technical Track-track
Session Chair of Performance (part of Papers)
Author of NL2Type: Inferring JavaScript Function Types from Natural Language Information within the Technical Track-track
ESEC/FSE 2018 Author of Feedback-Directed Differential Testing of Interactive Debuggers within the Research Papers-track
SPLASH 2018 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 2018 Invited Speaker of DeepBugs: A Learning Approach to Name-based Bug Detection within the SOAP-track
ECOOP 2018 Committee Member in Program Committee within the ECOOP Research Papers-track
* ICSE 2018 * Author of ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries within the Technical Papers -track
ProWeb 2018 Committee Member in Program Committee within the ProWeb 2018-track
SPLASH 2017 Author of Detecting Argument Selection Defects within the OOPSLA-track
Committee Member in Program Committee within the Workshops-track
ISSTA 2017 Committee Member in Program Committee
Session Chair of Program Repair and Patching (part of Technical Papers)
Author of An Actionable Performance Profiler for Optimizing the Order of Evaluations within the Technical Papers-track
ECOOP 2017 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Artifact Evaluation Chair in Organizing Committee
PLDI 2017 Author of Systematic Black-Box Analysis of Collaborative Web Applications within the PLDI Research Papers-track
Committee Member in Program Committee
Session Chair of Dynamic Analysis and Testing (part of PLDI Research Papers)
ProWeb 2017 Committee Member in Program Committee within the ProWeb 2017-track
WODA 2016 Session Chair of Session 3 (part of WODA)
Session Chair of Session 2 (part of WODA)
Committee Member in Organizing Committee within the WODA-track
Session Chair of Session 1 (part of WODA)
Session Chair of Session 4 (part of WODA)
ECOOP 2016 Author of Language-Independent Fuzz Testing with Probabilistic, Generative Models within the Posters-track
Committee Member in Program Committee within the Research Track-track
JSTools 2016 Co-chair in Program Committee within the JSTools-track
PLDI 2016 Committee Member in External Review Committee
SPLASH 2015 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
SEPS 2015 Committee Member in Program Committee within the SEPS-track
ECOOP 2015 Author of The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript within the Research Track-track
JSTools 2015 Co-chair in Program Committee within the JSTools-track
Session Chair of Day Closing (part of JSTools)
Session Chair of Day Opening (part of JSTools)
Session Chair of Practical Analysis II (part of JSTools)
PLE 2015 Speaker of The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript within the PLE-track
SEPS Committee Member in Program Committee within the SEPS-track
Author of Invited Talk: Automatic and Precise Program Analyses for Reliable and Efficient Concurrency within the SEPS-track
SPLASH 2014 Author of EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation within the OOPSLA-track