Buchumschlag

DVM: A Bytecode Virtual Machine Approach for Dynamic Tensor Computation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fang, Jingzhi, Gao, Xiong, Zhang, Renwei, Ye, Zichun, Chen, Lei, Zhao, Jie, Huang, Chengnuo, Xu, Hui, Jin, Xuefeng
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Artificial Intelligence Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
von: Zhu, Qian, et al.
Veröffentlicht: (2025)

Verifying Functional Correctness Properties At the Level of Java Bytecode
von: Paganoni, Marco, et al.
Veröffentlicht: (2024)

Reasoning About Exceptional Behavior At the Level of Java Bytecode
von: Paganoni, Marco, et al.
Veröffentlicht: (2024)

Yaksha-Prashna: Understanding eBPF Bytecode Network Function Behavior
von: Singh, Animesh, et al.
Veröffentlicht: (2026)

Task-Based Tensor Computations on Modern GPUs
von: Yadav, Rohan, et al.
Veröffentlicht: (2025)

DVM: Towards Controllable LLM Agents in Social Deduction Games
von: Zhang, Zheng, et al.
Veröffentlicht: (2025)

VTC: DNN Compilation with Virtual Tensors for Data Movement Elimination
von: Hu, Muyan, et al.
Veröffentlicht: (2026)

Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel
von: Jin, Hongyi, et al.
Veröffentlicht: (2026)

Tensor Evolution: A Framework for Fast Evaluation of Tensor Computations using Recurrences
von: Absar, Javed, et al.
Veröffentlicht: (2025)

ALFRED: Virtual Memory for Intermittent Computing
von: Maioli, Andrea, et al.
Veröffentlicht: (2021)

Embedding research and enquiry in Australian DVM curriculum
von: J Šlapeta, et al.
Veröffentlicht: (2024)

A Trace-based Approach for Code Safety Analysis
von: Xu, Hui
Veröffentlicht: (2025)

Misleading Microbenchmarks on the Java Virtual Machines
von: Schiavio, Filippo, et al.
Veröffentlicht: (2026)

BlueScript: A Disaggregated Virtual Machine for Microcontrollers
von: Mochizuki, Fumika, et al.
Veröffentlicht: (2025)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
von: Lin, Shaokai, et al.
Veröffentlicht: (2024)

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
von: Dong, Shouyang, et al.
Veröffentlicht: (2025)

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
von: Jung, Christoph, et al.
Veröffentlicht: (2025)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
von: Zheng, Size, et al.
Veröffentlicht: (2026)

Relax: Composable Abstractions for End-to-End Dynamic Machine Learning
von: Lai, Ruihang, et al.
Veröffentlicht: (2023)

SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
von: Dias, Adhitha, et al.
Veröffentlicht: (2023)

QPanda3: A High-Performance Software-Hardware Collaborative Framework for Large-Scale Quantum-Classical Computing Integration
von: Zou, Tianrui, et al.
Veröffentlicht: (2025)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
von: Qiu, Jie, et al.
Veröffentlicht: (2024)

Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems
von: Zhan, Bohua, et al.
Veröffentlicht: (2024)

Mirage Persistent Kernel: A Compiler and Runtime for Mega-Kernelizing Tensor Programs
von: Cheng, Xinhao, et al.
Veröffentlicht: (2025)

Automating Comment Generation for Smart Contract from Bytecode
von: Xiang, Jianhang, et al.
Veröffentlicht: (2025)

Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
von: Sohn, Gina, et al.
Veröffentlicht: (2025)

Domain-Specific Tensor Languages
von: Bernardy, Jean-Philippe, et al.
Veröffentlicht: (2023)

VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
von: Zeng, Lingfei, et al.
Veröffentlicht: (2025)

DALEQ -- Explainable Equivalence for Java Bytecode
von: Dietrich, Jens, et al.
Veröffentlicht: (2025)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
von: Izawa, Yusuke, et al.
Veröffentlicht: (2025)

Nautilus: An Auto-Scheduling Tensor Compiler for Efficient Tiled GPU Kernels
von: Zhao, Yifan, et al.
Veröffentlicht: (2026)

Esim: EVM Bytecode Similarity Detection Based on Stable-Semantic Graph
von: Chen, Zhuo, et al.
Veröffentlicht: (2025)

Group Resonance Network: Learnable Prototypes and Multi-Subject Resonance for EEG Emotion Recognition
von: Meng, Renwei
Veröffentlicht: (2026)

Explainable Innovation Engine: Dual-Tree Agent-RAG with Methods-as-Nodes and Verifiable Write-Back
von: Meng, Renwei
Veröffentlicht: (2026)

The Continuous Tensor Abstraction: Where Indices are Real
von: Won, Jaeyeon, et al.
Veröffentlicht: (2024)

RePro: Training Language Models to Faithfully Recycle the Web for Pretraining
von: Yu, Zichun, et al.
Veröffentlicht: (2025)

Generating Pretraining Tokens from Organic Data for Data-Bound Scaling
von: Yu, Zichun, et al.
Veröffentlicht: (2026)

Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode
von: Wang, Dingding, et al.
Veröffentlicht: (2025)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
von: Huang, Qifan, et al.
Veröffentlicht: (2026)

Formally Verified C Code Generation from Hybrid Communicating Sequential Processes
von: Wang, Shuling, et al.
Veröffentlicht: (2024)