Michael Pradel

Registered user since Fri 18 Jul 2014

Name: Michael Pradel

Bio: Michael Pradel is a full professor at 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 dynamic program analysis, test generation, concurrency, performance profiling, JavaScript-based web applications, and machine learning-based program analysis.

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

ASE 2021 Committee Member in Program Committee within the Research Papers-track
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
PLDI 2021 Committee Member in Program Committee within the PLDI Research Papers-track
ESEC/FSE 2021 Committee Member in Program Committee within the Research Papers-track
ECOOP 2021 PC Member in Program Committee within the ECOOP Research Papers-track
ECOOP and ISSTA 2021 ISSTA Tools demonstrations Co-Chair in Organizing Committee
ISSTA 2021 PC Member in Program Committee
Tool demonstrations co-chair in Organizing Comittee
Co-chair in Program Committee within the Tool Demonstrations-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
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
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
MSR 2020 Panelist of ML4SE AMA within the Ask Me Anything-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
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 2020 Author of Extracting Taint Specifications for JavaScript Libraries within the Technical Papers-track
SOAP 2018 Invited Speaker of DeepBugs: A Learning Approach to Name-based Bug Detection within the SOAP-track
ProWeb 2018 Committee Member in Program Committee within the ProWeb 2018-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
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
ProWeb 2017 Committee Member in Program Committee within the ProWeb 2017-track
ESEC/FSE 2018 Author of Feedback-Directed Differential Testing of Interactive Debuggers within the Research Papers-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
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)
JSTools 2016 Co-chair in Program Committee within the JSTools-track
ECOOP 2018 Committee Member in Program Committee within the ECOOP Research Papers-track
SPLASH 2017 Author of Detecting Argument Selection Defects within the OOPSLA-track
Committee Member in Program Committee within the Workshops-track
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)
ECOOP 2017 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Artifact Evaluation Chair in Organizing Committee
* ICSE 2018 * Author of ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries within the Technical Papers -track
PLDI 2016 Committee Member in External Review Committee
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
SEPS 2015 Committee Member in Program Committee within the SEPS-track
PLE 2015 Speaker of The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript within the PLE-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)
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 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
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
SPLASH 2014 Author of EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation within the OOPSLA-track