Faculty
2024: ERC Proof of Concept Grant
2022: ACM Distinguished Member
2019: ERC Starting Grant
2013: Ernst-Denert Software Engineering Award
Emmy Noether grant by the German Research Foundation (DFG)
Best/distinguished paper awards at FSE (3x), ISSTA, ASE, ASPLOS, and MSR
Prof. Dr. Michael Pradel is a tenured faculty member at the CISPA Helmholtz Center for Information Security and a full professor at the University of Stuttgart, which he joined after a PhD at ETH Zurich, a post-doc at UC Berkeley, an assistant professorship at TU Darmstadt. He has visited Facebook, UC Berkeley, and UCLA for sabbaticals. 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 neural-symbolic software analysis, analyzing web applications, dynamic analysis, and test generation. Michael has been recognized through the Ernst-Denert Software Engineering Award, an Emmy Noether grant by the German Research Foundation (DFG), two ERC grants, best/distinguished paper awards at FSE (3x), ISSTA, ASE, ASPLOS, and MSR, and by being named an ACM Distinguished Member.
IEEE/ACM International Conference on Automated Software Engineering (ASE) Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code
ACM Conference on Computer and Communications Security (CCS) Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction
ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering Semantic bug seeding: a learning-based approach for creating realistic bugs
ACM SIGSOFT International Symposium on Software Testing and Analysis Continuous test suite failure prediction
ACM SIGSOFT International Symposium on Software Testing and Analysis Finding data compatibility bugs with JSON subschema checking
ACM SIGPLAN International Symposium on Machine Programming Learning to make compiler optimizations more effective
IEEE/ACM 43rd International Conference on Software Engineering (ICSE) IdBench: Evaluating Semantic Representations of Identifier Names in Source Code
the Web Conference An Empirical Study of Real-World WebAssembly Binaries
the ACM/SPEC International Conference on Performance Engineering ConfProf: White-Box Performance Profiling of Configuration Options
IEEE/ACM International Conference on Automated Software Engineering No strings attached