Concepedia

Michael Pradel

MP

Statistics

Publications

96

Citations

4.5K

H-Index

40

Active since

2008

Affiliations

University of Stuttgart(Current)

Technische Universität Darmstadt

University of California, Berkeley

Michael Pradel is an author at University of Stuttgart specializing in computer science, computing, and programming languages.

Publications per year

2008–2025

96

Publications

96

Automated program repair

Claire Le Goues, Michael Pradel, Abhik Roychoudhury · Communications of the ACM · 2019 · 389 citations

Computing, Computer Engineering, Computer Science +12

DeepBugs: a learning approach to name-based bug detection

Michael Pradel, Koushik Sen · Proceedings of the ACM on Programming Languages · 2018 · 328 citations · Full text

Computing, Computer Engineering, Computer Science +12

Fuzz4All: Universal Fuzzing with Large Language Models

Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian et al. · 2024 · 161 citations

Computing, Computer Engineering, Computer Science +13

Automatic Generation of Object Usage Specifications from Large Method Traces

Michael Pradel, Thomas R. Gross · 2009 · 138 citations

Computing, Computer Science, Formal Methods +14

NL2Type: Inferring JavaScript Function Types from Natural Language Information

Rabee Sohail Malik, Jibesh Patra, Michael Pradel · 2019 · 127 citations

Computing, Computer Science, Computational Linguistics +16

1–5 of 96