Cover Image

Multi-Language Benchmark Generation via L-Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	da Silva, Vinícius Francisco, Leite, Heitor, Pereira, Fernando Magno Quintão
Format:	Preprint
Published:	2025
Subjects:	Programming Languages 68N15 D.3.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools
by: Sumitani, Rafael, et al.
Published: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
by: Zhong, Zhiyao, et al.
Published: (2025)

Idempotent Slices with Applications to Code-Size Reduction
by: de Azevedo, Rafael Alvarenga, et al.
Published: (2026)

Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent
by: Canesche, Michael, et al.
Published: (2024)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
by: Wang, Chengpeng, et al.
Published: (2024)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
by: Guo, Jinyao, et al.
Published: (2025)

Quest Complete: the Holy Grail of Gradual Security
by: Chen, Tianyu, et al.
Published: (2023)

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
by: Guo, Xiangyu, et al.
Published: (2024)

Improving stableKanren's Backward Compatibility
by: Guo, Xiangyu, et al.
Published: (2024)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
by: Erhard, Julian, et al.
Published: (2024)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
by: Niketan, Nripesh, et al.
Published: (2025)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
by: Bouzinier, Michael, et al.
Published: (2026)

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
by: Zeng, Zhengran, et al.
Published: (2024)

Vectorization of Verilog Designs and its Effects on Verification and Synthesis
by: Guimarães, Maria Fernanda Oliveira, et al.
Published: (2026)

Optimal matching for sharing and linearity analysis
by: Amato, Gianluca, et al.
Published: (2024)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
by: Bagnara, Roberto, et al.
Published: (2016)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
by: Vieira, João Victor Amorim, et al.
Published: (2025)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
by: Saberi, Iman, et al.
Published: (2023)

Computing $\sqrt{2}$ with FRACTRAN
by: Kaushik, Khushi, et al.
Published: (2024)

Let's Take Esoteric Programming Languages Seriously
by: Singer, Jeremy, et al.
Published: (2025)

The Semantics of Metapropramming in Prolog
by: Warren, David S.
Published: (2024)

From Batch to Stream: Automatic Generation of Online Algorithms
by: Wang, Ziteng, et al.
Published: (2024)

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
by: Nagy, Shaan, et al.
Published: (2025)

High-Performance Generation of Constrained Inputs
by: Crump, Addison, et al.
Published: (2025)

Utilization of Pre-trained Language Model for Adapter-based Knowledge Transfer in Software Engineering
by: Saberi, Iman, et al.
Published: (2023)

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM
by: Esmaeilsabzali, Shahram, et al.
Published: (2025)

Three non-cubical applications of extension types
by: Zhang, Tesla
Published: (2023)

Emulation-Completeness of Programming Languages
by: Morse, Gregory, et al.
Published: (2026)

Complexity of Consistency Testing for the Release-Acquire Semantics
by: Govind, R., et al.
Published: (2026)

Grid Programs: A Two-Dimensional, Variable-Free Model of Computation
by: López-Rubio, Ezequiel
Published: (2026)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

Deep Learning Based on Randomized Quasi-Monte Carlo Method for Solving Linear Kolmogorov Partial Differential Equation
by: Xiao, Jichang, et al.
Published: (2023)

SocialX: A Modular Platform for Multi-Source Big Data Research in Indonesia
by: Saputra, Muhammad Apriandito Arya, et al.
Published: (2026)

Free extensivity via distributivity
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

KnowTeX: Visualizing Mathematical Dependencies
by: Uskuplu, Elif, et al.
Published: (2025)

Array-Carrying Symbolic Execution for Function Contract Generation
by: Lu, Weijie, et al.
Published: (2026)

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

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
by: Mishra, Ashish, et al.
Published: (2025)

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
by: de Medeiros, Sérgio Queiroz, et al.
Published: (2024)