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 ist Tenured Faculty am CISPA Helmholtz-Zentrum für Informationssicherheit und Professor an der Universität Stuttgart, die er nach seiner Promotion an der ETH Zürich, einer Postdoktorandenstelle an der University of California, Berkeley, und einer Assistenzprofessur an der TU Darmstadt aufgenommen hat. Er war für Sabbaticals bei Facebook, der UC Berkeley und der UCLA tätig. Seine Forschungsinteressen umfassen Softwaretechnik, Programmiersprachen, Sicherheit und maschinelles Lernen, mit einem Fokus auf Methoden zum Entwickeln zuverlässiger, effizienter und sicherer Software. Besonders interessiert er sich für neural-symbolische Softwareanalyse, die Analyse von Webanwendungen, dynamische Analysen und Testgenerierung. Michael wurde unter anderem mit dem Ernst-Denert-Preis für Softwaretechnik, einem Emmy-Noether-Stipendium der Deutschen Forschungsgemeinschaft (DFG), zwei ERC-Förderungen, Best-/Distinguished-Paper-Awards bei FSE (3x), ISSTA, ASE, ASPLOS und MSR ausgezeichnet sowie als ACM Distinguished Member geehrt.
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
ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
TypeWriter: neural type prediction with search-based validation
International Conference on Software Engineering (ICSE)
Extracting taint specifications for JavaScript libraries