Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
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
Research interests:Software Engineering, Programming Languages, Program Analysis, Machine Learning

Contributions

ECOOP 2021 PC Member in Program Committee within the ECOOP Technical Papers-track
ECOOP and ISSTA 2021 Practical Static Analysis and Bug Finding
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)
Finding Data Compatibility Bugs with JSON Subschema Checking
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
Finding Data Compatibility Bugs with JSON Subschema Checking
Co-chair in Program Committee within the Tool Demonstrations-track
Continuous Test Suite Failure Prediction
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)
Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile