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

Personal website:http://software-lab.org/people/Michael_Pradel.html

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