◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Michael Pradel

2 papers here

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

author position
  • last author2

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

fields
  • cs.PL1
  • cs.SE1
same name
  • Michael Pradel — 16 papers, h 45
  • Michael Pradel — 7 papers

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

most citedA Survey on Testing and Analysis of Quantum Software

2 citations · 2 across the 2 of their papers we have counts for

collaborators

2 papers

cs.SE2024★ 2 cited

A Survey on Testing and Analysis of Quantum Software

Matteo Paltenghi, Michael Pradel

Quantum computing is getting increasing interest from both academia and industry, and the quantum software landscape has been growing rapidly. The quantum software stack comprises…

cs.PL2024

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks

Doehyun Baek, Jakob Getz, Yusung Sim +4

WebAssembly (Wasm for short) brings a new, powerful capability to the web as well as Edge, IoT, and embedded systems. Wasm is a portable, compact binary code format with high perfo…

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