Cover Image

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lin, Shaokai, Jellum, Erling, Theile, Mirco, Tanneberger, Tassilo, Sun, Binqi, Jerad, Chadlia, Xu, Ruomu, Feng, Guangyu, Menard, Christian, Lohstroh, Marten, Castrillon, Jeronimo, Seshia, Sanjit, Lee, Edward
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Strongly-Consistent Distributed Discrete-event Systems
by: Donovan, Peter, et al.
Published: (2024)

Efficient Parallel Reinforcement Learning Framework using the Reactor Model
by: Kwok, Jacky, et al.
Published: (2023)

Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
by: A., Gustavo Quiros, et al.
Published: (2025)

HPRM: High-Performance Robotic Middleware for Intelligent Autonomous Systems
by: Kwok, Jacky, et al.
Published: (2024)

Efficient Coordination for Distributed Discrete-Event Systems
by: Jun, Byeonggil, et al.
Published: (2024)

Edge Generation Scheduling for DAG Tasks Using Deep Reinforcement Learning
by: Sun, Binqi, et al.
Published: (2023)

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
by: Chen, Pei-Wei, et al.
Published: (2025)

The Syncline Model -- Analyzing the Impact of Time Synchronization in Sensor Fusion
by: Jellum, Erling Rennemo, et al.
Published: (2022)

Multi-Objective Memory Bandwidth Regulation and Cache Partitioning for Multicore Real-Time Systems
by: Sun, Binqi, et al.
Published: (2025)

Prêt-…-partir / Valérie Coroller
by: Coroller, Valérie

SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns
by: Godbole, Adwait, et al.
Published: (2024)

Impoola: The Power of Average Pooling for Image-Based Deep Reinforcement Learning
by: Trumpp, Raphael, et al.
Published: (2025)

Efficient Real-World Autonomous Racing via Attenuated Residual Policy Optimization
by: Trumpp, Raphael, et al.
Published: (2026)

OntoPret: An Ontology for the Interpretation of Human Behavior
by: Ellis, Alexis, et al.
Published: (2025)

Navigating Ethical AI Challenges in the Industrial Sector: Balancing Innovation and Responsibility
by: Tan, Ruomu, et al.
Published: (2026)

Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis
by: Godbole, Adwait, et al.
Published: (2025)

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
by: Yalcinkaya, Beyazit, et al.
Published: (2024)

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
by: Yalcinkaya, Beyazit, et al.
Published: (2025)

Learning Formal Specifications from Membership and Preference Queries
by: Shah, Ameesh, et al.
Published: (2023)

Status of the Queen conch Strombus gigas stocks, management and trade in the Caribbean: a CITES review
by: Theile, Stephanie
Published: (2005)

Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning
by: Theile, Mirco, et al.
Published: (2024)

Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning
by: Theile, Mirco, et al.
Published: (2023)

Verified Code Transpilation with LLMs
by: Bhatia, Sahil, et al.
Published: (2024)

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
by: Shetty, Manish, et al.
Published: (2024)

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
by: Joshi, Aniruddha, et al.
Published: (2025)

Learning Symbolic Task Decompositions for Multi-Agent Teams
by: Shah, Ameesh, et al.
Published: (2025)

On Global Rates for Regularization Methods based on Secant Derivative Approximations
by: Cartis, Coralia, et al.
Published: (2025)

Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning
by: Yalcinkaya, Beyazit, et al.
Published: (2025)

SimpleStrat: Diversifying Language Model Generation with Stratification
by: Wong, Justin, et al.
Published: (2024)

NeuroVM: Dynamic Neuromorphic Hardware Virtualization
by: Isik, Murat, et al.
Published: (2024)

Action Mapping for Reinforcement Learning in Continuous Environments with Constraints
by: Theile, Mirco, et al.
Published: (2024)

Continuous World Coverage Path Planning for Fixed-Wing UAVs using Deep Reinforcement Learning
by: Theile, Mirco, et al.
Published: (2025)

Context-Aided Variable Elimination for Requirement Engineering
by: Incer, Inigo, et al.
Published: (2023)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
by: Vin, Eric, et al.
Published: (2025)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
by: Qiu, Jie, et al.
Published: (2024)

GRAID: Enhancing Spatial Reasoning of VLMs Through High-Fidelity Data Generation
by: Elmaaroufi, Karim, et al.
Published: (2025)

$L^*LM$: Learning Automata from Examples using Natural Language Oracles
by: Vazquez-Chanlatte, Marcell, et al.
Published: (2024)

Robust and Diverse Multi-Agent Learning via Rational Policy Gradient
by: Lauffer, Niklas, et al.
Published: (2025)

LTL-Constrained Policy Optimization with Cycle Experience Replay
by: Shah, Ameesh, et al.
Published: (2024)

Learning Affordances at Inference-Time for Vision-Language-Action Models
by: Shah, Ameesh, et al.
Published: (2025)