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

ASA 2022 Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code
PLDI 2022 Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries
Show activities from other conferences

PLDI 2022-profile
View general profile