Cover Image

Execution-Aware Program Reduction for WebAssembly via Record and Replay

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Baek, Doehyun, Lehmann, Daniel, Titzer, Ben L., Ryu, Sukyoung, Pradel, Michael
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
by: Baek, Doehyun, et al.
Published: (2024)

Artisan: Agentic Artifact Evaluation
by: Baek, Doehyun, et al.
Published: (2026)

Empowering WebAssembly with Thin Kernel Interfaces
by: Ramesh, Arjun, et al.
Published: (2023)

Debugging WebAssembly? Put some Whamm on it!
by: Gilbert, Elizabeth, et al.
Published: (2025)

Multi-modal Learning for WebAssembly Reverse Engineering
by: Huang, Hanxian, et al.
Published: (2024)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
by: Shirzad, Mohammad Robati, et al.
Published: (2024)

LLM-Based Repair of Static Nullability Errors
by: Karimipour, Nima, et al.
Published: (2025)

Teaching LLMs Program Semantics via Symbolic Execution Traces
by: Bayer, Jonas, et al.
Published: (2026)

Distinguishability-guided Test Program Generation for WebAssembly Runtime Performance Testing
by: Jiang, Shuyao, et al.
Published: (2024)

Building Call Graph of WebAssembly Programs via Abstract Semantics
by: Paccamiccio, Mattia, et al.
Published: (2024)

LPR: Large Language Models-Aided Program Reduction
by: Zhang, Mengxiao, et al.
Published: (2023)

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
by: Titzer, Ben L., et al.
Published: (2024)

Research on WebAssembly Runtimes: A Survey
by: Zhang, Yixuan, et al.
Published: (2024)

Program Structure Aware Precondition Generation
by: Dinella, Elizabeth, et al.
Published: (2023)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
by: Feng, Qiong, et al.
Published: (2026)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
by: Guerin, Cormac, et al.
Published: (2026)

Conceptual Mutation Testing for Student Programming Misconceptions
by: Prasad, Siddhartha, et al.
Published: (2023)

Issues and Their Causes in WebAssembly Applications: An Empirical Study
by: Waseem, Muhammad, et al.
Published: (2023)

The Promise and Pitfalls of WebAssembly: Perspectives from the Industry
by: He, Ningyu, et al.
Published: (2025)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
by: He, Ningyu, et al.
Published: (2024)

CUTECat: Concolic Execution for Computational Law
by: Goutagny, Pierre, et al.
Published: (2024)

MapReplay: Trace-Driven Benchmark Generation for Java HashMap
by: Schiavio, Filippo, et al.
Published: (2026)

Multi-Pass Targeted Dynamic Symbolic Execution
by: Yavuz, Tuba
Published: (2024)

Debugging Performance Issues in WebAssembly Runtimes via Mutation-based Inference
by: Zeng, Ruiying, et al.
Published: (2026)

Inferring Non-Failure Conditions for Declarative Programs
by: Hanus, Michael
Published: (2024)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
by: Oliveira, Francisco, et al.
Published: (2025)

WASM-MUTATE: Fast and Effective Binary Diversification for WebAssembly
by: Cabrera-Arteaga, Javier, et al.
Published: (2023)

Efficient Symbolic Execution of Software under Fault Attacks
by: Fang, Yuzhou, et al.
Published: (2025)

Python Symbolic Execution with LLM-powered Code Generation
by: Wang, Wenhan, et al.
Published: (2024)

Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
by: Hong, Jaemin, et al.
Published: (2025)

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
by: Yrievich, Petro Baran
Published: (2026)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
by: Gorna, Karolina, et al.
Published: (2025)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
by: Saumya, Charitha, et al.
Published: (2023)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
by: Bouras, Dimitrios Stamatios, et al.
Published: (2026)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
by: Ye, He, et al.
Published: (2023)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
by: Bhatia, Rishipal Singh
Published: (2026)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
by: Feng, Rong, et al.
Published: (2025)

WaDec: Decompiling WebAssembly Using Large Language Model
by: She, Xinyu, et al.
Published: (2024)

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
by: Zhao, Jianhong, et al.
Published: (2024)

Choosing the Right Communication Protocol for your Web Application
by: Hassan, Mohamed
Published: (2024)