Registered user since Fri 18 Jul 2014
Michael Pradel is 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, 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 neural 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), an ERC Starting Grant, four best/distinguished paper awards, and by being named an ACM Distinguished Member.
Contributions
2023
ICSE
- MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform
- When to Say What: Learning to Find Condition-Message Inconsistencies
- MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform
- SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript
- Program Committee Member in Technical Track within the Technical Track-track
- SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript
- VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning
- Session Chair of Testing of database and low-level software (part of Technical Track)
- When to Say What? Learning to Find Inconsistencies in Condition-Message Statements
- VulGen: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning
View general profile