Imagen de Portada

Incremental Context-free Grammar Inference in Black Box Settings

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Feifei, Chen, Xiao, Xiao, Xi, Sun, Xiaoyu, Chen, Chuan, Wang, Shaohua, Han, Jitao
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Fast Deterministic Black-box Context-free Grammar Inference
por: Arefin, Mohammad Rifat, et al.
Publicado: (2023)

Black-box Context-free Grammar Inference for Readable & Natural Grammars
por: Arefin, Mohammad Rifat, et al.
Publicado: (2025)

An Incremental Algorithm for Algebraic Program Analysis
por: Zhou, Chenyu, et al.
Publicado: (2024)

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
por: Zhang, Weixing, et al.
Publicado: (2024)

Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes
por: Li, Mingyi, et al.
Publicado: (2025)

AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation
por: Sun, Zhensu, et al.
Publicado: (2024)

Constrained Decoding of Diffusion LLMs with Context-Free Grammars
por: Mündler, Niels, et al.
Publicado: (2025)

UBfuzz: Finding Bugs in Sanitizer Implementations
por: Li, Shaohua, et al.
Publicado: (2024)

Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
por: Melcer, Daniel, et al.
Publicado: (2024)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
por: Liu, Peipei, et al.
Publicado: (2025)

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
por: Li, Hebi, et al.
Publicado: (2023)

Kernel-FFI: Transparent Foreign Function Interfaces for Interactive Notebooks
por: Li, Hebi, et al.
Publicado: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
por: He, Yifeng, et al.
Publicado: (2025)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
por: Zhang, Jiahao, et al.
Publicado: (2025)

On Repairing Quantum Programs Using ChatGPT
por: Guo, Xiaoyu, et al.
Publicado: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
por: Xie, Xiaoheng, et al.
Publicado: (2024)

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

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
por: Xia, Shihao, et al.
Publicado: (2026)

Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
por: Sulzmann, Martin
Publicado: (2025)

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
por: Lin, Teyu, et al.
Publicado: (2026)

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

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
por: Jiang, Weipeng, et al.
Publicado: (2024)

Steerable Instruction Following Coding Data Synthesis with Actor-Parametric Schema Co-Evolution
por: Huang, Tinglin, et al.
Publicado: (2026)

TokDrift: When LLM Speaks in Subwords but Code Speaks in Grammar
por: Li, Yinxi, et al.
Publicado: (2025)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
por: Chen, Rui, et al.
Publicado: (2025)

SynCode: LLM Generation with Grammar Augmentation
por: Ugare, Shubham, et al.
Publicado: (2024)

Is Your Benchmark (Still) Useful? Dynamic Benchmarking for Code Language Models
por: Guan, Batu, et al.
Publicado: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
por: Yu, Hao, et al.
Publicado: (2025)

Translating Large-Scale C Repositories to Idiomatic Rust
por: Dehghan, Saman, et al.
Publicado: (2025)

BODHI: Precise OS Kernel Specification Inference
por: Chang, Zhiming, et al.
Publicado: (2026)

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
por: Chen, Zhiyang, et al.
Publicado: (2022)

InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
por: Wright, Tanner, et al.
Publicado: (2026)

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

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

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

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
por: Li, Zhuohao, et al.
Publicado: (2025)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
por: Zhang, Bowen, et al.
Publicado: (2024)

C*: Unifying Programming and Verification in C
por: Cao, Yiyuan, et al.
Publicado: (2025)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
por: Zhang, Dylan, et al.
Publicado: (2025)