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.
International Conference on Software Engineering (ICSE)
Resource Usage and Optimization Opportunities in Workflows of GitHub Actions
International Symposium on Software Testing and Analysis (ISSTA)
Beware of the Unexpected: Bimodal Taint Analysis
International Conference on Software Engineering (ICSE)
When to Say What: Learning to Find Condition-Message Inconsistencies
ACM SIGPLAN International Conference on Programming Language Design and Implementation
Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries
Symposium on Security and Privacy (SP)
Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly
International Conference on Software Engineering - Companion (ICSE-Companion)
CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code
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