Copertina

Source-to-Source Transformations for GPU Code Generation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	de Castelnau, Julien, Koehler, Thomas, Charguéraud, Arthur, Pit-Claudel, Clément
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Automatic layout of railroad diagrams
di: Chiplunkar, Shardul, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

Neural Models for Source Code Synthesis and Completion
di: Niyogi, Mitodru
Pubblicazione: (2024)

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

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

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

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

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

Optimizing Datalog for the GPU
di: Sun, Yihao, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

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

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

GPU Performance Portability needs Autotuning
di: Ringlein, Burkhard, et al.
Pubblicazione: (2025)

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

Self-Infilling Code Generation
di: Zheng, Lin, et al.
Pubblicazione: (2023)

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

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

LINC: An In-Network Coding Approach to Tame Packet Loss in Hybrid Wireless-Fiber Backbones
di: Pit-Claudel, Benoit, 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)

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

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

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

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

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

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

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

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

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