Michael Pradel

Registered user since Fri 18 Jul 2014

Name:Michael Pradel

Michael Pradel is an assistant professor at TU Darmstadt (currently on sabbatical at Facebook), 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.

Affiliation:TU Darmstadt and Facebook
Research interests:Program testing, program analysis


PLDI 2019 Dynamically Analyzing WebAssembly with Wasabi
Committee Member in Program Committee within the PLDI Research Papers-track
Session Chair of Learning Specifications (part of PLDI Research Papers)
Show activities from other conferences

PLDI 2019-profile
View general profile