SPLASH 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
SPLASH 2018 (series) / Michael Pradel
Michael Pradel

Registered user since Fri 18 Jul 2014

Name: Michael Pradel

Bio: Michael Pradel is an assistant professor at TU Darmstadt, which he joined after a PhD at ETH Zurich and a post-doc at UC Berkeley. 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: TU Darmstadt

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

Research interests: Program testing, program analysis

Contributions

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
Show activities from other conferences

Using general profile