Image de couverture de livre

BlueScript: A Disaggregated Virtual Machine for Microcontrollers

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Mochizuki, Fumika, Yamazaki, Tetsuro, Chiba, Shigeru
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
par: Li, Senxi, et autres
Publié: (2026)

Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby
par: Liu, Hanhaotian, et autres
Publié: (2026)

On the computational complexity of JavaScript regex matching
par: Deng, Victor, et autres
Publié: (2026)

A Coq Mechanization of JavaScript Regular Expression Semantics
par: De Santo, Noé, et autres
Publié: (2024)

A type system for data flow and alias analysis in ReScript
par: Lund, Nicky Ask, et autres
Publié: (2024)

Composable Effect Handling for Programming LLM-integrated Scripts
par: Wang, Di
Publié: (2025)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
par: Xu, Ning, et autres
Publié: (2026)

Linear Matching of JavaScript Regular Expressions
par: Barrière, Aurèle, et autres
Publié: (2023)

Misleading Microbenchmarks on the Java Virtual Machines
par: Schiavio, Filippo, et autres
Publié: (2026)

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
par: Jung, Christoph, et autres
Publié: (2025)

A Type System to Ensure Non-Interference in ReScript
par: Bennetzen, Benjamin, et autres
Publié: (2024)

RustSFQ: A Domain-Specific Language for SFQ Circuit Design
par: Oishi, Mebuki, et autres
Publié: (2025)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
par: Izawa, Yusuke, et autres
Publié: (2025)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
par: Barrière, Aurèle, et autres
Publié: (2025)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
par: Lin, Shaokai, et autres
Publié: (2024)

DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents
par: Brady, Seamus
Publié: (2026)

A Type System for Data Flow and Alias Analysis in ReScript
par: Lund, Nicky Ask, et autres
Publié: (2024)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
par: Bhatia, Rishipal Singh
Publié: (2026)

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
par: Zhang, Keyang, et autres
Publié: (2026)

DVM: A Bytecode Virtual Machine Approach for Dynamic Tensor Computation
par: Fang, Jingzhi, et autres
Publié: (2026)

OBsmith: LLM-Powered JavaScript Obfuscator Testing
par: Jiang, Shan, et autres
Publié: (2025)

ALFRED: Virtual Memory for Intermittent Computing
par: Maioli, Andrea, et autres
Publié: (2021)

Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
par: Edwards, Marcus
Publié: (2025)

Computers in Small Libraries: Learning Server-Side Scripting
par: Roberts, Gary
Publié: (2005)

OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities
par: Qiu, Yiran
Publié: (2026)

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
par: Tanaka, Izumi, et autres
Publié: (2026)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
par: Paraskevopoulou, Zoe
Publié: (2026)

Macaw: A Machine Code Toolbox for the Busy Binary Analyst
par: Scott, Ryan G., et autres
Publié: (2024)

Cerisier: A Program Logic for Attestation in a Capability Machine
par: Rousseau, June, et autres
Publié: (2026)

The Session Abstract Machine (Extended Version)
par: Caires, Luís, et autres
Publié: (2024)

CASCADE: LLM-Powered JavaScript Deobfuscator at Google
par: Jiang, Shan, et autres
Publié: (2025)

Cost Analysis for Import and Export Using an Abstract Machine
par: Bennetzen, Benjamin, et autres
Publié: (2024)

Beyond SICP -- Design and Implementation of a Notional Machine for Scheme
par: Abad, Kyriel, et autres
Publié: (2024)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
par: Drab, Tomasz
Publié: (2024)

Vernacular Scripts in the NYPL Automated Bibliographic Control System
par: Malinconico, S. Michael, et autres
Publié: (1977)

The Quantum Abstract Machine
par: Li, Liyi, et autres
Publié: (2024)

Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams
par: Bolotina, Anna, et autres
Publié: (2025)

Machine-Assisted Script Curation
par: Ciosici, Manuel R., et autres
Publié: (2021)

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour
par: Klimis, Vasileios, et autres
Publié: (2024)

A Machine Learning Approach Towards SKILL Code Autocompletion
par: Dehaerne, Enrique, et autres
Publié: (2023)