Buchumschlag

Deegen: A JIT-Capable VM Generator for Dynamic Languages

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Xu, Haoran, Kjolstad, Fredrik
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Compiler for Operations on Relations with Bag Semantics
von: Dong, James, et al.
Veröffentlicht: (2025)

Compilation of Modular and General Sparse Workspaces
von: Zhang, Genghan, et al.
Veröffentlicht: (2024)

Decoupling Data Layouts from Bounding Volume Hierarchies
von: Gyurgyik, Christophe, et al.
Veröffentlicht: (2025)

Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
von: Sundram, Shiv, et al.
Veröffentlicht: (2025)

Fast Collection Operations from Indexed Stream Fusion
von: Kovach, Scott, et al.
Veröffentlicht: (2025)

Meta-compilation of Baseline JIT Compilers with Druid
von: Palumbo, Nahuel, et al.
Veröffentlicht: (2025)

Partitioning Unstructured Sparse Tensor Algebra for Load-Balanced Parallel Execution
von: Chougule, Atharva, et al.
Veröffentlicht: (2026)

Scorch: A Library for Sparse Deep Learning
von: Yan, Bobby, et al.
Veröffentlicht: (2024)

Pattern-Based Peephole Optimizations with Java JIT Tests
von: Zang, Zhiqiang, et al.
Veröffentlicht: (2024)

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)

An Attempt to Catch Up with JIT Compilers: The False Lead of Optimizing Inline Caches
von: Poirier, Aurore, et al.
Veröffentlicht: (2025)

FuseFlow: A Fusion-Centric Compilation Framework for Sparse Deep Learning on Streaming Dataflow
von: Lacouture, Rubens, et al.
Veröffentlicht: (2025)

On the Duality of Task and Actor Programming Models
von: Yadav, Rohan, et al.
Veröffentlicht: (2025)

Bonsai: Compiling Queries to Pruned Tree Traversals
von: Root, Alexander J, et al.
Veröffentlicht: (2025)

Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs
von: Soi, Rupanshu, et al.
Veröffentlicht: (2025)

Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby
von: Liu, Hanhaotian, et al.
Veröffentlicht: (2026)

Evaluating Compiler Optimization Impacts on zkVM Performance
von: Gassmann, Thomas, et al.
Veröffentlicht: (2025)

A Formal Semantics of the GraalVM Intermediate Representation
von: Webb, Brae J., et al.
Veröffentlicht: (2021)

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

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
von: Grannan, Zachary, et al.
Veröffentlicht: (2025)

$μλεδ$-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
von: Salgado, Ronie
Veröffentlicht: (2024)

Leveraging Large Language Models for Generalizing Peephole Optimizations
von: Liao, Chunhao, et al.
Veröffentlicht: (2026)

Rows and Capabilities as Modal Effects
von: Tang, Wenhao, et al.
Veröffentlicht: (2025)

Typestate via Revocable Capabilities
von: Jia, Songlin, et al.
Veröffentlicht: (2025)

Tracking Capabilities for Safer Agents
von: Odersky, Martin, et al.
Veröffentlicht: (2026)

Cerisier: A Program Logic for Attestation in a Capability Machine
von: Rousseau, June, et al.
Veröffentlicht: (2026)

CodeIF-Bench: Evaluating Instruction-Following Capabilities of Large Language Models in Interactive Code Generation
von: Wang, Peiding, et al.
Veröffentlicht: (2025)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
von: Mutlu, Doruk Alp
Veröffentlicht: (2025)

The Squirrel Parser: A Linear-Time PEG Packrat Parser Capable of Left Recursion and Optimal Error Recovery
von: Hutchison, Luke A. D.
Veröffentlicht: (2026)

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models
von: Dong, Yixin, et al.
Veröffentlicht: (2024)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
von: Xu, Ziyun, et al.
Veröffentlicht: (2025)

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
von: Pointner, Andreas, et al.
Veröffentlicht: (2025)

Assessing GPT-4-Vision's Capabilities in UML-Based Code Generation
von: Antal, Gábor, et al.
Veröffentlicht: (2024)

HumanEval-XL: A Multilingual Code Generation Benchmark for Cross-lingual Natural Language Generalization
von: Peng, Qiwei, et al.
Veröffentlicht: (2024)

A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
von: Xu, Qiyuan, et al.
Veröffentlicht: (2025)

Towards General-Purpose Data Discovery: A Programming Languages Approach
von: Kang, Andrew, et al.
Veröffentlicht: (2025)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
von: Wang, Yi, et al.
Veröffentlicht: (2025)

Ember: A Compiler for Efficient Embedding Operations on Decoupled Access-Execute Architectures
von: Siracusa, Marco, et al.
Veröffentlicht: (2025)

Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs
von: Zhang, Yimin, et al.
Veröffentlicht: (2024)

Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
von: Vieira, Tim
Veröffentlicht: (2026)