Cover Image

Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Khatchadourian, Raffi, Vélez, Tatiana Castro, Bagherzadeh, Mehdi, Jia, Nan, Raja, Anita
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Artificial Intelligence Programming Languages D.2.7; C.4; D.3.4; I.2.6
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Semantic Analysis of Macro Usage for Portability
by: Pappas, Brent, et al.
Published: (2024)

LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries
by: Wodiany, Igor, et al.
Published: (2024)

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

Binary-30K: A Heterogeneous Dataset for Deep Learning in Binary Analysis and Malware Detection
by: Bommarito II, Michael J.
Published: (2025)

cozy: Comparative Symbolic Execution for Binary Programs
by: Helbling, Caleb, et al.
Published: (2025)

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

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

LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability
by: Lucas, Tom, et al.
Published: (2026)

Graph-Based Specification and Automated Construction of ILP Problems
by: Ehmes, Sebastian, et al.
Published: (2022)

Addressing tokens dynamic generation, propagation, storage and renewal to secure the GlideinWMS pilot based jobs and system
by: Coimbra, Bruno Moreira, et al.
Published: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
by: Beg, Arshad, et al.
Published: (2026)

ICAN-Deploy: Identity-Stable Canary Deployment for Safety-Critical Embodied Agents
by: Qin, Xue, et al.
Published: (2026)

Using Containers to Speed Up Development, to Run Integration Tests and to Teach About Distributed Systems
by: Mambelli, Marco, et al.
Published: (2025)

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

ConfigSpec: Profiling-Based Configuration Selection for Distributed Edge--Cloud Speculative LLM Serving
by: Li, Xiangchen, et al.
Published: (2026)

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

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
by: Ariamajd, Armin, et al.
Published: (2025)

WISP: Waste- and Interference-Suppressed Distributed Speculative LLM Serving at the Edge via Dynamic Drafting and SLO-Aware Batching
by: Li, Xiangchen, et al.
Published: (2026)

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

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
by: Kiashemshaki, Kiana, et al.
Published: (2025)

TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
by: Jana, Prithwish, et al.
Published: (2026)

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

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
by: Kiashemshaki, Kiana, et al.
Published: (2025)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
by: Helbling, Caleb, et al.
Published: (2026)

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

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

A History Equivalence Algorithm for Dynamic Process Migration
by: Bakshi, Gargi, et al.
Published: (2024)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
by: Garcia, Rémi, et al.
Published: (2024)

GALA: Multimodal Graph Alignment for Bug Localization in Automated Program Repair
by: Liu, Zhuoyao, et al.
Published: (2026)

AI Bill of Materials and Beyond: Systematizing Security Assurance through the AI Risk Scanning (AIRS) Framework
by: Nathanson, Samuel, et al.
Published: (2025)

Governed Capability Evolution: Lifecycle-Time Compatibility Checking and Rollback for AI-Component-Based Systems, with Embodied Agents as Case Study
by: Qin, Xue, et al.
Published: (2026)

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

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
by: Geeson, Luke, 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)

Accelerating Large Language Models through Partially Linear Feed-Forward Network
by: Hu, Gansen, et al.
Published: (2025)

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

Deep RC: A Scalable Data Engineering and Deep Learning Pipeline
by: Sarker, Arup Kumar, et al.
Published: (2025)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
by: Knothe, David, et al.
Published: (2026)