World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
43
Citations
5607
World Ranking
8114
National Ranking
395

Overview

Michael Pradel is affiliated with the University of Stuttgart in Germany. Their research primarily focuses on computer science, with a notable concentration on software engineering and related subfields.

The main fields of study for Michael Pradel encompass computer science, with specialized attention to information systems, artificial intelligence, software, computer networks and communications, and signal processing.

  • Information Systems
  • Artificial Intelligence
  • Software
  • Computer Networks and Communications
  • Signal Processing

Within their body of work, Michael Pradel covers several key topics including software engineering research, software testing and debugging techniques, advanced malware detection techniques, software reliability and analysis research, topic modeling, software system performance and reliability, and parallel computing and optimization techniques.

  • Software Engineering Research
  • Software Testing and Debugging Techniques
  • Advanced Malware Detection Techniques
  • Software Reliability and Analysis Research
  • Topic Modeling
  • Software System Performance and Reliability
  • Parallel Computing and Optimization Techniques

The scientist has contributed to publications in various venues, with numerous papers appearing in arXiv (Cornell University), Zenodo (CERN European Organization for Nuclear Research), and Proceedings of the ACM on Software Engineering. Other venues include the Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering and ACM Computing Surveys.

  • arXiv (Cornell University)
  • Zenodo (CERN European Organization for Nuclear Research)
  • Proceedings of the ACM on software engineering.
  • Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
  • ACM Computing Surveys

Some of Michael Pradel's recent papers include:

  • A Survey of Compiler Testing (2020), published in ACM Computing Surveys
  • Bugs in Quantum computing platforms: an empirical study (2022), published in Proceedings of the ACM on Programming Languages
  • Code Search: A Survey of Techniques for Finding Code (2022), published in ACM Computing Surveys
  • Automatic Program Repair (2021), published in IEEE Software
  • Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code (2022), published in arXiv (Cornell University)

Frequent collaborators in Michael Pradel's work include Matteo Paltenghi, Islem Bouzenia, Jibesh Patra, Beatriz Souza, and Daniel Lehmann.

  • Matteo Paltenghi
  • Islem Bouzenia
  • Jibesh Patra
  • Beatriz Souza
  • Daniel Lehmann

Best Publications

  • Automated program repair

    Claire Le Goues;Michael Pradel;Abhik Roychoudhury

  • DeepBugs: a learning approach to name-based bug detection

    Michael Pradel;Koushik Sen

  • Getafix: learning to fix bugs automatically

    Johannes Bader;Andrew Scott;Michael Pradel;Satish Chandra

  • Automatic Generation of Object Usage Specifications from Large Method Traces

    Michael Pradel;Thomas R. Gross

  • Fuzz4ALL: Universal Fuzzing with Large Language Models

    Unknown

  • A Survey of Compiler Testing

    Junjie Chen;Jibesh Patra;Michael Pradel;Yingfei Xiong

  • Performance issues and optimizations in JavaScript: an empirical study

    Marija Selakovic;Michael Pradel

  • NL2Type: inferring JavaScript function types from natural language information

    Rabee Sohail Malik;Jibesh Patra;Michael Pradel

  • Small World with High Risks: A Study of Security Threats in the npm Ecosystem

    Markus Zimmermann;Cristian-Alexandru Staicu;Cam Tenny;Michael Pradel

  • Performance Regression Testing of Concurrent Classes.

    Michael Pradel;Markus Huggler;Thomas R. Gross

  • How many of all bugs do we find? a study of static bug detectors

    Andrew Habib;Michael Pradel

  • SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE.JS.

    Cristian-Alexandru Staicu;Michael Pradel;Benjamin Livshits

  • Statically checking API protocol conformance with mined multi-object specifications

    Michael Pradel;Ciera Jaspan;Jonathan Aldrich;Thomas R. Gross

  • A Survey of Dynamic Analysis and Test Generation for JavaScript

    Esben Andreasen;Liang Gong;Anders Møller;Michael Pradel

  • Fully automatic and precise detection of thread safety violations

    Michael Pradel;Thomas R. Gross

  • JITProf: pinpointing JIT-unfriendly JavaScript code

    Liang Gong;Michael Pradel;Koushik Sen

  • TypeWriter: neural type prediction with search-based validation

    Michael Pradel;Georgios Gousios;Jason Liu;Satish Chandra

  • DLint: dynamically checking bad coding practices in JavaScript

    Liang Gong;Michael Pradel;Manu Sridharan;Koushik Sen

  • A framework for the evaluation of specification miners based on finite state machines

    Michael Pradel;Philipp Bichsel;Thomas R. Gross

  • Leveraging test generation and specification mining for automated bug detection without false positives

    Michael Pradel;Thomas R. Gross

  • Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers

    Cristian-Alexandru Staicu;Michael Pradel

  • Everything Old is New Again: Binary Security of WebAssembly

    Daniel Lehmann;Johannes Kinder;Michael Pradel

  • Statically checking API protocol conformance with mined multi-object specifications: companion report

    Michael Pradel;Cierra Jaspan;Jonathan Aldrich;Thomas K.R. Gross

Frequent Co-Authors

Koushik Sen
Koushik Sen University of California, Berkeley
Daniel Lehmann
Daniel Lehmann Hebrew University of Jerusalem
Satish Chandra
Satish Chandra Association for Computing Machinery
Claire Le Goues
Claire Le Goues Carnegie Mellon University
Anders Møller
Anders Møller Aarhus University
Abhik Roychoudhury
Abhik Roychoudhury National University of Singapore
Andrei Sabelfeld
Andrei Sabelfeld Chalmers University of Technology
George C. Necula
George C. Necula University of California, Berkeley
André DeHon
André DeHon University of Pennsylvania

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Pursuing Computer Science in the USA opens doors to many flexible online education and career options. For students interested in expanding their knowledge beyond core programming, exploring fields like electrical engineering can be a valuable choice. Consider enrolling in programs offered by the top online electrical engineering schools to complement your technical skills.

If you’re looking to quickly boost your job prospects or earning potential, there are certifications that pay well in areas like cybersecurity, cloud computing, and project management. These can often be completed online and can help you stand out to employers.

Many students also look for the fastest online master's degree options to advance their education in less time. These accelerated programs can deliver high-quality learning experiences that fit busy schedules.

Finally, when planning your academic journey, consider which might be the best masters degree to get for future career growth. Choosing the right pathway can help align your studies with current industry demands and long-term goals.

Best Scientists Citing Michael Pradel

Trending Scientists