◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Michael Pradel

10 papers hereh-index 477 citations11 works total

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

author position
  • sole author1
  • middle author4
  • last author5

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

fields
  • cs.SE10
same name
  • Michael Pradel — 27 papers, h 45
  • Michael Pradel — 11 papers, h 7
  • Michael Pradel — 10 papers, h 6
  • 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
20242026
most citedTreefix: Enabling Execution with a Tree of Prefixes

1 citations · 1 across the 9 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.SE2024

ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution

Lars Gröninger, Beatriz Souza, Michael Pradel

Code changes are an integral part of the software development process. Many code changes are meant to improve the code without changing its functional behavior, e.g., refactorings…

◍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.