:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	de Castelnau, Julien, Koehler, Thomas, Charguéraud, Arthur, Pit-Claudel, Clément
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2605.13864
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automatic layout of railroad diagrams
by: Chiplunkar, Shardul, et al.
Published: (2025)

Incremental Proof Development in Dafny with Module-Based Induction
by: Ho, Son, et al.
Published: (2024)

Linear Matching of JavaScript Regular Expressions
by: Barrière, Aurèle, et al.
Published: (2023)

Tracers for debugging and program exploration
by: Chiplunkar, Shardul, et al.
Published: (2026)

Precise Reasoning About Container-Internal Pointers with Logical Pinning
by: Guan, Yawen, et al.
Published: (2025)

On the computational complexity of JavaScript regex matching
by: Deng, Victor, et al.
Published: (2026)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
by: Barrière, Aurèle, et al.
Published: (2025)

A Coq Mechanization of JavaScript Regular Expression Semantics
by: De Santo, Noé, et al.
Published: (2024)

Verified and Optimized Implementation of Orthologic Proof Search
by: Guilloud, Simon, et al.
Published: (2025)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
by: Liu, Yuchen, et al.
Published: (2025)

Neural Models for Source Code Synthesis and Completion
by: Niyogi, Mitodru
Published: (2024)

Semantic Source Code Segmentation using Small and Large Language Models
by: Dahou, Abdelhalim, et al.
Published: (2025)

Compilation of Commit Changes within Java Source Code Repositories
by: Schott, Stefan, et al.
Published: (2024)

Inside VOLT: Designing an Open-Source GPU Compiler
by: Jeong, Shinnung, et al.
Published: (2025)

Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
by: Zhang, Naifeng, et al.
Published: (2025)

I still know it's you! On Challenges in Anonymizing Source Code
by: Horlboge, Micha, et al.
Published: (2022)

Optimizing Datalog for the GPU
by: Sun, Yihao, et al.
Published: (2023)

LINC: An In-Network Coding Approach to Tame Packet Loss in Hybrid Wireless-Fiber Backbones
by: Pit-Claudel, Benoit, et al.
Published: (2025)

NPUEval: Optimizing NPU Kernels with LLMs and Open Source Compilers
by: Kalade, Sarunas, et al.
Published: (2025)

ComPile: A Large IR Dataset from Production Sources
by: Grossman, Aiden, et al.
Published: (2023)

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
by: Korostinskiy, Roman, et al.
Published: (2024)

GPU Performance Portability needs Autotuning
by: Ringlein, Burkhard, et al.
Published: (2025)

RTLCoder: Outperforming GPT-3.5 in Design RTL Generation with Our Open-Source Dataset and Lightweight Solution
by: Liu, Shang, et al.
Published: (2023)

Constrained Code Generation with Discrete Diffusion
by: Shao, Lize, et al.
Published: (2026)

Theoretical Foundations of GPU-Native Compilation for Rapid Code Iteration
by: Metinov, Adilet, et al.
Published: (2025)

Open Source Prover in the Attic
by: Kovács, Zoltán, et al.
Published: (2024)

Equivalence Checking of ML GPU Kernels
by: Dubey, Kshitij, et al.
Published: (2025)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
by: Nezhad, Sina Bagheri, et al.
Published: (2025)

Self-Infilling Code Generation
by: Zheng, Lin, et al.
Published: (2023)

Linguacodus: A Synergistic Framework for Transformative Code Generation in Machine Learning Pipelines
by: Trofimova, Ekaterina, et al.
Published: (2024)

Erlang Binary and Source Code Obfuscation
by: Morse, Gregory, et al.
Published: (2026)

Tail Modulo Cons, OCaml, and Relational Separation Logic
by: Allain, Clément, et al.
Published: (2024)

The Invisible Hand of AI Libraries Shaping Open Source Projects and Communities
by: Esposito, Matteo, et al.
Published: (2026)

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

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

Pareto Optimal Code Generation
by: Orlanski, Gabriel, et al.
Published: (2025)

Open-Source AI-Powered Optimization in Scalene: Advancing Python Performance Profiling with DeepSeek-R1 and LLaMA 3.2
by: Hasan, Saem, et al.
Published: (2025)

CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules
by: Le, Hung, et al.
Published: (2023)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
by: Wang, Yongpan, et al.
Published: (2025)

SecCoder: Towards Generalizable and Robust Secure Code Generation
by: Zhang, Boyu, et al.
Published: (2024)