Michael Pradel - Software Lab - Department of Computer Science - University of Stuttgart

Michael Pradel

Email: michael@binaervarianz.de
Phone: +49-711-685-88320

University of Stuttgart
Software Lab
Universitätsstr. 38, Room 1.211
70569 Stuttgart, Germany

Bio

I'm a full professor in the Computer Science Department of University of Stuttgart. Previously, I was an assistant professor at TU Darmstadt, a postdoctoral researcher at University of California, Berkeley and a lecturer and postdoctoral researcher at ETH Zurich, where I did my Ph.D. on program analyses for automatic and precise error detection. In 2019, I spent a sabbatical at Facebook, Menlo Park. I have studied computer science at TU Dresden and engineering at Ecole Centrale Paris, and I visited EPFL for my master thesis. I have received the Software Engineering Award of the Ernst-Denert-Foundation for the best dissertation, an Emmy Noether grant (1.3 million Euro) by the DFG, and an ERC Starting Grant (1.5 million Euro).

Please follow these links for my research, publications, and teaching activities.

CV for download

Recent, current, and upcoming service

ESEC/FSE 2022: Chair of doctoral symposium
ESEC/FSE 2022: Program committee
ASE 2022: Program committee
ISSTA 2022: Program committee
ICSE 2022: Program committee
ACM SIGSOFT Research highlights committee (2020-2022)
OOPSLA 2021: Extended review committee
PLDI 2021: Program committee
ICSE 2021: Program committee
ESEC/FSE 2021: Program committee
ASE 2021: Program committee
ISSTA 2021: Program committee
ISSTA 2021: Co-chair of tool demonstrations
ECOOP 2021: Program committee
IEEE TSE 2020-2021: Associate editor
IEEE Software: Guest editor
OOPSLA 2020: External review committee
ASE 2020: Program committee
IEEE TSE 2019-2020: Review board
TheWebConf (WWW) 2020: Program committee
OOPSLA 2019: Doctoral symposium committee
PLDI 2019: Program committee
ICSE 2019: Program board
ISSTA 2019: Co-chair of artifact evaluation
ASE 2019: Journal-first program committee

News and Events

07/2021: Distinguished Artifact Award for our ISSTA'21 paper on finding JSON schema-related bugs.

07/2021: Our paper on comparing neural models of code and developers has been accepted at ASE'21.

07/2021: Our SemSeed paper is receiving an ACM SIGSOFT Distinguished Paper Award at FSE'21.

06/2021: Our work on learning to make compiler optimizations more effective will be presented at MAPS'21.

05/2021: Our paper on semantic bug seeding will appear at FSE'21.

05/2021: Jibesh has successfully defended his PhD thesis on "Analyzing Code Corpora to Improve the Correctness and Reliability of Programs".

05/2021: Our work on Mir, an RWX permission model for Node.js packages, has been accepted to CCS'21.

04/2021: Our papers on finding JSON schema-related bugs and on continuous test suite failure prediction have been accepted at ISSTA'21.

04/2021: Our article on neural software analysis is going to appear in the Communications of the ACM.

01/2021: Our work on WasmBench, a study and benchmark involving thousands of WebAssembly binaries, will be presented at The Web Conference (WWW) 2021.

12/2020: Organizing a Dagstuhl seminar on learning-based program analysis (together with Baishakhi, Eran, and Charles), to be held in January 2022.

12/2020: Our paper on IdBench, a benchmark for semantic representations of identifiers, will be presented at ICSE'21.

12/2020: Andrew successfully defends his PhD thesis on "Learning to Find Bugs in Programs and their Documentation"

12/2020: Matteo Paltenghi is joining the group as as PhD student. Welcome!

11/2020: New review article that gives an overview of neural software analysis.

11/2020: Check out our work on an RWX permission model for Node.js packages.

10/2020: New paper on application-level caching to appear in IEEE Software.

10/2020: Aryaz Eghbali is joining the group as a PhD student. Welcome!

9/2020: Martin Torp is joining as a visiting PhD student from Aarhus University. Welcome!

7/2020: Our study of string-related software bugs will appear at ASE 2020.

6/2020: Our work on WebAssembly (in)security will be presented at USENIX Security 2020.

5/2020: Our paper on TypeWriter will appear at FSE'20.

4/2020: Our paper on bug localization on millions of files will appear at ISSTA'20.

4/2020: From PhD to faculty: Cristian has accepted a tenure-track faculty position at CISPA. Congrats!

3/2020: Cristian has successfully defended his PhD thesis on JavaScript security and privacy. Congrats!

3/2020: JetBrains ships IDE plugins that implement DeepBugs for JavaScript and Python. Great to see our ideas used in the wild!

12/2019: Our paper on extracting taint specifications for JavaScript has been accepted at ICSE 2020.

12/2019: Paper on TypeWriter, our neural type prediction approach in collaboration with Facebook.

11/2019: New paper on JSON subschema checking.

10/2019: Checkout our new benchmark for evaluating semantic representations of source code.

09/2019: Happy to receive an ERC Starting Grant on "Learning to find bugs" (1.5 million Euro).

09/2019: Our survey of compiler testing will appear in ACM CSUR.

09/2019: Two new PhD students: Welcome to Luca Di Grazia and Moiz Rauf.

07/2019: Our paper on Getafix has been accepted at OOPSLA'19.

06/2019: New study on neural bug finding.

05/2019: Our paper on security risks in the npm ecosystem will appear at USENIX Security'19.

05/2019: Check out Getafix, the first industrially-deployed automated bug-fixing. tool that learns fix patterns automatically.

05/2019: New ISSTA'19 paper on metamorphic testing of debuggers.

04/2019: Best Paper Award at ASPLOS'19 for Wasabi, our dynamic analysis framework for WebAssembly.

03/2019: Our article on automated program repair will appear in the Communications of the ACM (CACM).

03/2019: Interested in JavaScript security? Checkout our study of security threats in npm.

03/2019: Daniel and Andrew are heading out for internships at MSR and IBM Research. Congrats!