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.

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

ASE 2019Committee Member in Program Committee within the Journal First Presentations-track
SPLASH 2019Committee 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 2019Artifact 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 2019Organizer 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)
SOAP 2018Invited speaker of DeepBugs: A Learning Approach to Name-based Bug Detection within the SOAP-track
ProWeb 2018Committee Member in Program Committee within the ProWeb 2018-track
SPLASH 2018Author 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 2019Committee 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 2017Committee Member in Program Committee within the ProWeb 2017-track
ESEC/FSE 2018Author of Feedback-Directed Differential Testing of Interactive Debuggers within the Research Papers-track
ISSTA 2017Committee 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 2016Session 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 2016Co-chair in Program Committee within the JSTools-track
ECOOP 2018Committee Member in Program Committee within the ECOOP Research Papers-track
SPLASH 2017Author of Detecting Argument Selection Defects within the OOPSLA-track
Committee Member in Program Committee within the Workshops-track
PLDI 2017Author 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 2017Artifact 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 2016Committee Member in External Review Committee
ECOOP 2016Author of Language-Independent Fuzz Testing with Probabilistic, Generative Models within the Posters-track
Committee Member in Program Committee within the Research Track-track
SEPS 2015Committee Member in Program Committee within the SEPS-track
PLE 2015Speaker of The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript within the PLE-track
JSTools 2015Co-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)
SEPSCommittee 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 2015Committee 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 2015Author of The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript within the Research Track-track
SPLASH 2014Author of EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation within the OOPSLA-track