Image de couverture de livre

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhu, Qian, Liu, Yuxuan, Zhu, Ziyuan, Liu, Shangqing, Bu, Lei
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Yaksha-Prashna: Understanding eBPF Bytecode Network Function Behavior
par: Singh, Animesh, et autres
Publié: (2026)

SuperCoder: Assembly Program Superoptimization with Large Language Models
par: Wei, Anjiang, et autres
Publié: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
par: Feng, Qiong, et autres
Publié: (2025)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
par: Wang, Yongpan, et autres
Publié: (2025)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
par: Zhang, Jiahao, et autres
Publié: (2025)

FLAT: Formal Languages as Types
par: Zhu, Fengmin, et autres
Publié: (2025)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
par: Liu, Yuchen, et autres
Publié: (2025)

Etna: An Evaluation Platform for Property-Based Testing
par: Keles, Alperen, et autres
Publié: (2026)

Python Symbolic Execution with LLM-powered Code Generation
par: Wang, Wenhan, et autres
Publié: (2024)

ToolCaching: Towards Efficient Caching for LLM Tool-calling
par: Zhai, Yi, et autres
Publié: (2026)

Generating Equivalent Representations of Code By A Self-Reflection Approach
par: Li, Jia, et autres
Publié: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
par: Fang, Yuzhou, et autres
Publié: (2025)

Caruca: Effective and Efficient Specification Mining for Opaque Software Components
par: Lamprou, Evangelos, et autres
Publié: (2025)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
par: Cai, Jianfeng, et autres
Publié: (2026)

MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
par: Amaral, Isabel, et autres
Publié: (2025)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
par: Erata, Ferhat, et autres
Publié: (2024)

Programmable Property-Based Testing
par: Keles, Alperen, et autres
Publié: (2026)

Superset Decompilation
par: Liu, Chang, et autres
Publié: (2026)

Concept-Based Generic Programming in C++
par: Stroustrup, Bjarne
Publié: (2025)

Type-level Property Based Testing
par: Hansen, Thomas Ekström, et autres
Publié: (2024)

LLM-Based Repair of Static Nullability Errors
par: Karimipour, Nima, et autres
Publié: (2025)

Evaluating the Language-Based Security for Plugin Development
par: Liang, Naisheng, et autres
Publié: (2024)

Pattern-Based Peephole Optimizations with Java JIT Tests
par: Zang, Zhiqiang, et autres
Publié: (2024)

Automated Code Editing with Search-Generate-Modify
par: Liu, Changshu, et autres
Publié: (2023)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
par: Serebryany, Kostya, et autres
Publié: (2023)

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

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
par: Jiang, Weipeng, et autres
Publié: (2024)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
par: Amilon, Jesper, et autres
Publié: (2026)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
par: Ma, Lezhi, et autres
Publié: (2024)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
par: Xu, Ning, et autres
Publié: (2026)

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
par: Lin, Teyu, et autres
Publié: (2026)

Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
par: Melcer, Daniel, et autres
Publié: (2024)

QCP: A Practical Separation Logic-based C Program Verification Tool
par: Wu, Xiwei, et autres
Publié: (2025)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
par: Sim, HoHyun, et autres
Publié: (2025)

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
par: Yao, Bingkun, et autres
Publié: (2025)

NESA: Relational Neuro-Symbolic Static Program Analysis
par: Wang, Chengpeng, et autres
Publié: (2024)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
par: Liu, Peipei, et autres
Publié: (2025)

$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
par: Liu, Qin
Publié: (2026)

OBsmith: LLM-Powered JavaScript Obfuscator Testing
par: Jiang, Shan, et autres
Publié: (2025)

SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
par: Ma, Lezhi, et autres
Publié: (2024)