Search filters

List of works by Michael Pradel

A Survey of Compiler Testing

scientific article published in 2020

A Survey of Dynamic Analysis and Test Generation for JavaScript

scientific article published on 27 September 2017

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit

scientific article published on 12 July 2024

Bugs in Quantum computing platforms: an empirical study

scientific article published in 2022

Code Search: A Survey of Techniques for Finding Code

scientific article published on 12 October 2022

CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code

scientific article published on 06 January 2023

DyPyBench: A Benchmark of Executable Python Software

scientific article published on 12 July 2024

Finding data compatibility bugs with JSON subschema checking

scientific article published on 08 July 2021

Fuzz4All: Universal Fuzzing with Large Language Models

scientific article published on 12 April 2024

LExecutor: Learning-Guided Execution

scientific article published on 30 November 2023

Learning to make compiler optimizations more effective

scientific article published on 18 June 2021

PyTy: Repairing Static Type Errors in Python

scientific article published on 12 April 2024

Semantic bug seeding: a learning-based approach for creating realistic bugs

scientific article published on 19 August 2021

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

scientific article published on 08 October 2024

Paulina is supported by:

About Paulina

Help