:: Library Catalog

Saved in:

Bibliographic Details
Main Authors:	Hu, Gansen, Wang, Zhaoguo, Wei, Jinglin, Huang, Wei, Chen, Haibo
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence D.4; I.2; D.3.4
Online Access:	https://arxiv.org/abs/2501.10054
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LLM Translation of Compiler Intermediate Representation
by: Ramirez, Andrea Valenzuela, et al.
Published: (2026)

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation
by: Holt, Samuel, et al.
Published: (2023)

Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution
by: Khatchadourian, Raffi, et al.
Published: (2025)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
by: Leonhart, Emma
Published: (2026)

TSCG: Deterministic Tool-Schema Compilation for Agentic LLM Deployments
by: Sakizli, Furkan
Published: (2026)

AutoBench: Automating LLM Evaluation through Reciprocal Peer Assessment
by: Loi, Dario, et al.
Published: (2025)

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
by: Vogel, Martin, et al.
Published: (2026)

JITScope: Interactive Visualization of JIT Compiler IR Transformations
by: Dalbo, Kyra, et al.
Published: (2025)

Ada-MK: Adaptive MegaKernel Optimization via Automated DAG-based Search for LLM Inference
by: Dong, Wenxin, et al.
Published: (2026)

AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolve
by: Ananda, Chaitanya Mamatha, et al.
Published: (2026)

AI Coding Agents Need Better Compiler Remarks
by: Deo, Akash, et al.
Published: (2026)

LLMs as Idiomatic Decompilers: Recovering High-Level Code from x86-64 Assembly for Dart
by: Abualazm, Raafat, et al.
Published: (2026)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
by: Vatsa, Adarsh, et al.
Published: (2025)

Kajal: Extracting Grammar of a Source Code Using Large Language Models
by: Torkamani, Mohammad Jalili
Published: (2024)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
by: Gross, Jason, et al.
Published: (2022)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
by: Susan, Ştefan-Claudiu, et al.
Published: (2025)

Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis
by: Xu, Zhihao, et al.
Published: (2025)

The Two Boundaries: Why Behavioral AI Governance Fails Structurally
by: McCann, Alan L.
Published: (2026)

Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives
by: Ouyang, Ciyan, et al.
Published: (2026)

Meta-Monomorphizing Specializations
by: Bruzzone, Federico, et al.
Published: (2026)

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
by: Lopoukhine, Alexandre, et al.
Published: (2025)

From Separate Compilation to Sound Language Composition
by: Bruzzone, Federico, et al.
Published: (2026)

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
by: Titzer, Ben L., et al.
Published: (2024)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
by: Bruzzone, Federico, et al.
Published: (2026)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
by: Ravi, Ravin, et al.
Published: (2026)

Kernel Looping: Eliminating Synchronization Boundaries for Peak Inference Performance
by: Koeplinger, David, et al.
Published: (2024)

Deliberative Curation: A Protocol for Multi-Agent Knowledge Bases
by: Johnson, Steven
Published: (2026)

The Configuration Wall: Characterization and Elimination of Accelerator Configuration Overhead
by: Van Delm, Josse, et al.
Published: (2025)

LAMMPS-KOKKOS: Performance Portable Molecular Dynamics Across Exascale Architectures
by: Johansson, Anders, et al.
Published: (2025)

Evaluating Temporal Semantic Caching and Workflow Optimization in Agentic Plan-Execute Pipelines
by: Merchant, Alimurtaza Mustafa, et al.
Published: (2026)

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
by: McCann, Alan L.
Published: (2026)

No Saved Kaleidosope: an 100% Jitted Neural Network Coding Language with Pythonic Syntax
by: da Rosa, Augusto Seben, et al.
Published: (2024)

Sharing Analysis in the Pawns Compiler
by: Naish, Lee
Published: (2024)

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
by: Kiselyov, Oleg, et al.
Published: (2024)

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)

Baking for Dafny: A CakeML Backend for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
by: McCann, Alan L.
Published: (2026)

LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
by: Ranasinghe, Nishath Rajiv, et al.
Published: (2025)

Verifying Device Drivers with Pancake
by: Zhao, Junming, et al.
Published: (2025)

A Co-Evolutionary Theory of Human-AI Coexistence: Mutualism, Governance, and Dynamics in Complex Societies
by: Chakraborty, Somyajit
Published: (2026)