◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Michael Pradel

10 papers hereh-index 695 citations12 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • last author10

Across the 10 of 10 papers where every author was matched, so the position is known.

fields
  • cs.SE8
  • cs.PL2
same name
  • Michael Pradel — 27 papers, h 45
  • Michael Pradel — 11 papers, h 7
  • Michael Pradel — 10 papers, h 4
  • Michael Pradel — 6 papers, h 6

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20232026
most citedAnalyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit

23 citations · 41 across the 10 of their papers we have counts for

collaborators
Showing 2026Show all

4 papers · 1 filter

cs.SE2026

READU: Inconsistency-Driven Just-in-Time Detection and Repair of README Bugs

Doehyun Baek, Kilian Krampf, Michael Pradel

Repository-level documentation, such as READMEs, is often the first point of contact between users and a repository. When this documentation is incorrect, users may encounter runti…

cs.SE2026

FlyCatcher: Neural Inference of Runtime Checkers from Tests

Beatriz Souza, Chang Lou, Suman Nath +1

Complex software systems often suffer from silent failures, i.e., violations of the intended semantics that do not cause explicit errors. A promising approach to detect such errors…

cs.SE2026

Automated Table Reproduction via Code Generation

Doehyun Baek, Michael Pradel

Reproducibility is an important goal in computer science research, e.g., for artifact evaluation and to build upon experimental results of prior work. Recently, LLM agents are bein…

cs.SE2026

Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation

Zitong Zhou, Matteo Paltenghi, Miryung Kim +1

Software is in constant evolution, with developers frequently submitting pull requests (PRs) to introduce new features or fix bugs. Testing PRs is critical to maintaining software…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.