Copertina

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kim, Seongmin, Cheon, Hyunjoon, Kim, Su-Hyeon, Han, Yo-Sub, Ko, Sang-Ki
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

ECO: Enhanced Code Optimization via Performance-Aware Prompting for Code-LLMs
di: Kim, Su-Hyeon, et al.
Pubblicazione: (2025)

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
di: Sung, Sicheol, et al.
Pubblicazione: (2025)

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

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

CodeComplex: Dataset for Worst-Case Time Complexity Prediction
di: Baik, Seung-Yeop, et al.
Pubblicazione: (2024)

ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation
di: Lim, Soohan, et al.
Pubblicazione: (2025)

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

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
di: Shree, Iti, et al.
Pubblicazione: (2025)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
di: Ates, Berke, et al.
Pubblicazione: (2026)

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

Taming the Beast: Fully Automated Unit Testing with Coyote C++
di: Rho, Sanghoon, et al.
Pubblicazione: (2024)

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

LLM-Guided Compositional Program Synthesis
di: Khan, Ruhma, et al.
Pubblicazione: (2025)

Towards AI-Assisted Synthesis of Verified Dafny Methods
di: Misu, Md Rakib Hossain, et al.
Pubblicazione: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
di: Szabo, Violet, et al.
Pubblicazione: (2024)

Advancing BDD Software Testing: Dynamic Scenario Re-Usability And Step Auto-Complete For Cucumber Framework
di: Mughal, A. H.
Pubblicazione: (2024)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
di: Xu, Ning, et al.
Pubblicazione: (2026)

A Design Recipe and Recipe-Based Errors for Regular Expressions
di: Morazán, Marco T., et al.
Pubblicazione: (2025)

Structural Code Search using Natural Language Queries
di: Limpanukorn, Ben, et al.
Pubblicazione: (2025)

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
di: Montesi, Fabrizio, et al.
Pubblicazione: (2024)

A Unified Framework for Automated Code Transformation and Pragma Insertion
di: Pouget, Stéphane, et al.
Pubblicazione: (2024)

Developing Accessible Mobile Applications with Cross-Platform Development Frameworks
di: Mascetti, Sergio, et al.
Pubblicazione: (2020)

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
di: Laguna, Ignacio, et al.
Pubblicazione: (2024)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
di: Geng, Chuqin, et al.
Pubblicazione: (2024)

Pareto Optimal Code Generation
di: Orlanski, Gabriel, et al.
Pubblicazione: (2025)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
di: Zakharov, Vladimir, et al.
Pubblicazione: (2024)

Concept-Based Generic Programming in C++
di: Stroustrup, Bjarne
Pubblicazione: (2025)

Program Structure Aware Precondition Generation
di: Dinella, Elizabeth, et al.
Pubblicazione: (2023)

Generalized Software Product Line Extraction
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

Automated Code Editing with Search-Generate-Modify
di: Liu, Changshu, et al.
Pubblicazione: (2023)

A New Generation of Intelligent Development Environments
di: Marron, Mark
Pubblicazione: (2024)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
di: Stinnett, J. Ryan, et al.
Pubblicazione: (2024)

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

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization
di: Sadr, Amirhosein, et al.
Pubblicazione: (2026)

Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment
di: Kaushik, Kartik, et al.
Pubblicazione: (2024)

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
di: Chatterjee, Bodhisatwa, et al.
Pubblicazione: (2024)

Strengthening Programming Comprehension in Large Language Models through Code Generation
di: Ren, Xiaoning, et al.
Pubblicazione: (2025)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
di: Cui, Baoquan, et al.
Pubblicazione: (2025)

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

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
di: Dau, Anh T. V., et al.
Pubblicazione: (2026)