Imagen de Portada

Source-to-Source Transformations for GPU Code Generation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	de Castelnau, Julien, Koehler, Thomas, Charguéraud, Arthur, Pit-Claudel, Clément
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Automatic layout of railroad diagrams
por: Chiplunkar, Shardul, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

Neural Models for Source Code Synthesis and Completion
por: Niyogi, Mitodru
Publicado: (2024)

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

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

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

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

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

Optimizing Datalog for the GPU
por: Sun, Yihao, et al.
Publicado: (2023)

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

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

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

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

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

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

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

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

GPU Performance Portability needs Autotuning
por: Ringlein, Burkhard, et al.
Publicado: (2025)

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

Self-Infilling Code Generation
por: Zheng, Lin, et al.
Publicado: (2023)

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

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

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

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

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

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

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

Paradigm-Based Automatic HDL Code Generation Using LLMs
por: Sun, Wenhao, et al.
Publicado: (2025)

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

Automatic Code and Test Generation of Smart Contracts from Coordination Models
por: Selabi, Elvis Konjoh, et al.
Publicado: (2026)

Pareto Optimal Code Generation
por: Orlanski, Gabriel, et al.
Publicado: (2025)

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

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