:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Jonáš, Martin, Strejček, Jan, Trtík, Marek
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2501.18046
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)
by: Jonáš, Martin, et al.
Published: (2024)

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
by: Yang, Chenyuan, et al.
Published: (2023)

OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities
by: Qiu, Yiran
Published: (2026)

Fuzzing: Randomness? Reasoning! Efficient Directed Fuzzing via Large Language Models
by: Feng, Xiaotao, et al.
Published: (2025)

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
by: Mahathevan, Kabilan, et al.
Published: (2026)

R1-Fuzz: Specializing Language Models for Textual Fuzzing via Reinforcement Learning
by: Lin, Jiayi, et al.
Published: (2025)

Numerical Fuzz: A Type System for Rounding Error Analysis
by: Kellison, Ariel E., et al.
Published: (2024)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
by: Hochrainer, Christoph, et al.
Published: (2024)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
by: Xu, Yichen, et al.
Published: (2025)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
by: Rowicki, Radosław Jan, et al.
Published: (2025)

RVISmith: Fuzzing Compilers for RVV Intrinsics
by: He, Yibo, et al.
Published: (2025)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
by: Kong, Ziqiao, et al.
Published: (2025)

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
by: Holík, Lukáš, et al.
Published: (2025)

Vbox: Efficient Black-Box Serializability Verification
by: Sun, Weihua, et al.
Published: (2025)

Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators
by: Sun, Maolin, et al.
Published: (2025)

Deep R Programming
by: Gagolewski, Marek
Published: (2022)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
by: Li, Feifei, et al.
Published: (2026)

Probing the Design Space: Parallel Versions for Exploratory Programming
by: Beckmann, Tom, et al.
Published: (2025)

Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
by: Zhang, Yifan, et al.
Published: (2025)

Black-Box Adversarial Attacks on LLM-Based Code Completion
by: Jenko, Slobodan, et al.
Published: (2024)

Incremental Context-free Grammar Inference in Black Box Settings
by: Li, Feifei, et al.
Published: (2024)

Zippy -- Generic White-Box Proof Search with Zippers
by: Kappelmann, Kevin
Published: (2025)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
by: Beyer, Dirk, et al.
Published: (2025)

NaN-Propagation: A Novel Method for Sparsity Detection in Black-Box Computational Functions
by: Sharpe, Peter
Published: (2025)

Numerical Superoptimization for Library Learning
by: Regehr, Jonas, et al.
Published: (2026)

Minuska: Towards a Formally Verified Programming Language Framework
by: Tušil, Jan, et al.
Published: (2024)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
by: Beyer, Dirk, et al.
Published: (2025)

depyf: Open the Opaque Box of PyTorch Compiler for Machine Learning Researchers
by: You, Kaichao, et al.
Published: (2024)

Cage: Hardware-Accelerated Safe WebAssembly
by: Fink, Martin, et al.
Published: (2024)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
by: Silva, André, et al.
Published: (2025)

Local Type Inference for Context-Free Session Types
by: Almeida, Bernardo, et al.
Published: (2025)

State Space Estimation for DPOR-based Model Checkers(Extended Version)
by: Balasubramanian, A. R., et al.
Published: (2025)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
by: Hideshima, Takato, et al.
Published: (2024)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
by: Rose, Abhishek, et al.
Published: (2024)

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
by: Pedersen, Jan, et al.
Published: (2025)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
by: Derakhshan, Farzaneh, et al.
Published: (2025)

LoRe: A Programming Model for Verifiably Safe Local-First Software
by: Haas, Julian, et al.
Published: (2023)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
by: Schröer, Philipp, et al.
Published: (2025)

Fully Symbolic Analysis of Loop Locality: Using Imaginary Reuse to Infer Real Performance
by: Zhu, Yifan, et al.
Published: (2026)

Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
by: Li, Tianchi, et al.
Published: (2026)