Saved in:
| Main Authors: | Mochizuki, Fumika, Yamazaki, Tetsuro, Chiba, Shigeru |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2511.15821 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
by: Li, Senxi, et al.
Published: (2026)
by: Li, Senxi, et al.
Published: (2026)
Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby
by: Liu, Hanhaotian, et al.
Published: (2026)
by: Liu, Hanhaotian, et al.
Published: (2026)
On the computational complexity of JavaScript regex matching
by: Deng, Victor, et al.
Published: (2026)
by: Deng, Victor, et al.
Published: (2026)
A Coq Mechanization of JavaScript Regular Expression Semantics
by: De Santo, Noé, et al.
Published: (2024)
by: De Santo, Noé, et al.
Published: (2024)
iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
by: Xu, Ning, et al.
Published: (2026)
by: Xu, Ning, et al.
Published: (2026)
Linear Matching of JavaScript Regular Expressions
by: Barrière, Aurèle, et al.
Published: (2023)
by: Barrière, Aurèle, et al.
Published: (2023)
Composable Effect Handling for Programming LLM-integrated Scripts
by: Wang, Di
Published: (2025)
by: Wang, Di
Published: (2025)
A type system for data flow and alias analysis in ReScript
by: Lund, Nicky Ask, et al.
Published: (2024)
by: Lund, Nicky Ask, et al.
Published: (2024)
Misleading Microbenchmarks on the Java Virtual Machines
by: Schiavio, Filippo, et al.
Published: (2026)
by: Schiavio, Filippo, et al.
Published: (2026)
Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
by: Jung, Christoph, et al.
Published: (2025)
by: Jung, Christoph, et al.
Published: (2025)
A Type System to Ensure Non-Interference in ReScript
by: Bennetzen, Benjamin, et al.
Published: (2024)
by: Bennetzen, Benjamin, et al.
Published: (2024)
RustSFQ: A Domain-Specific Language for SFQ Circuit Design
by: Oishi, Mebuki, et al.
Published: (2025)
by: Oishi, Mebuki, et al.
Published: (2025)
A Type System for Data Flow and Alias Analysis in ReScript
by: Lund, Nicky Ask, et al.
Published: (2024)
by: Lund, Nicky Ask, et al.
Published: (2024)
A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
by: Izawa, Yusuke, et al.
Published: (2025)
by: Izawa, Yusuke, et al.
Published: (2025)
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
by: Lin, Shaokai, et al.
Published: (2024)
by: Lin, Shaokai, et al.
Published: (2024)
DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents
by: Brady, Seamus
Published: (2026)
by: Brady, Seamus
Published: (2026)
Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
by: Bhatia, Rishipal Singh
Published: (2026)
by: Bhatia, Rishipal Singh
Published: (2026)
Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
by: Barrière, Aurèle, et al.
Published: (2025)
by: Barrière, Aurèle, et al.
Published: (2025)
DVM: A Bytecode Virtual Machine Approach for Dynamic Tensor Computation
by: Fang, Jingzhi, et al.
Published: (2026)
by: Fang, Jingzhi, et al.
Published: (2026)
OBsmith: LLM-Powered JavaScript Obfuscator Testing
by: Jiang, Shan, et al.
Published: (2025)
by: Jiang, Shan, et al.
Published: (2025)
Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
by: Zhang, Keyang, et al.
Published: (2026)
by: Zhang, Keyang, et al.
Published: (2026)
Computers in Small Libraries: Learning Server-Side Scripting
by: Roberts, Gary
Published: (2005)
by: Roberts, Gary
Published: (2005)
ALFRED: Virtual Memory for Intermittent Computing
by: Maioli, Andrea, et al.
Published: (2021)
by: Maioli, Andrea, et al.
Published: (2021)
Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
by: Edwards, Marcus
Published: (2025)
by: Edwards, Marcus
Published: (2025)
OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities
by: Qiu, Yiran
Published: (2026)
by: Qiu, Yiran
Published: (2026)
Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
by: Tanaka, Izumi, et al.
Published: (2026)
by: Tanaka, Izumi, et al.
Published: (2026)
CASCADE: LLM-Powered JavaScript Deobfuscator at Google
by: Jiang, Shan, et al.
Published: (2025)
by: Jiang, Shan, et al.
Published: (2025)
Vernacular Scripts in the NYPL Automated Bibliographic Control System
by: Malinconico, S. Michael, et al.
Published: (1977)
by: Malinconico, S. Michael, et al.
Published: (1977)
Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
by: Paraskevopoulou, Zoe
Published: (2026)
by: Paraskevopoulou, Zoe
Published: (2026)
Macaw: A Machine Code Toolbox for the Busy Binary Analyst
by: Scott, Ryan G., et al.
Published: (2024)
by: Scott, Ryan G., et al.
Published: (2024)
Cerisier: A Program Logic for Attestation in a Capability Machine
by: Rousseau, June, et al.
Published: (2026)
by: Rousseau, June, et al.
Published: (2026)
The Session Abstract Machine (Extended Version)
by: Caires, Luís, et al.
Published: (2024)
by: Caires, Luís, et al.
Published: (2024)
Machine-Assisted Script Curation
by: Ciosici, Manuel R., et al.
Published: (2021)
by: Ciosici, Manuel R., et al.
Published: (2021)
Linear Cross-Lingual Mapping of Sentence Embeddings
by: Vasilyev, Oleg, et al.
Published: (2023)
by: Vasilyev, Oleg, et al.
Published: (2023)
Cost Analysis for Import and Export Using an Abstract Machine
by: Bennetzen, Benjamin, et al.
Published: (2024)
by: Bennetzen, Benjamin, et al.
Published: (2024)
Beyond SICP -- Design and Implementation of a Notional Machine for Scheme
by: Abad, Kyriel, et al.
Published: (2024)
by: Abad, Kyriel, et al.
Published: (2024)
The Quantum Abstract Machine
by: Li, Liyi, et al.
Published: (2024)
by: Li, Liyi, et al.
Published: (2024)
Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
by: Drab, Tomasz
Published: (2024)
by: Drab, Tomasz
Published: (2024)
Modal Abstractions for Virtualizing Memory Addresses
by: Kuru, Ismail, et al.
Published: (2023)
by: Kuru, Ismail, et al.
Published: (2023)
A Machine Learning Approach Towards SKILL Code Autocompletion
by: Dehaerne, Enrique, et al.
Published: (2023)
by: Dehaerne, Enrique, et al.
Published: (2023)
Similar Items
-
Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
by: Li, Senxi, et al.
Published: (2026) -
Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby
by: Liu, Hanhaotian, et al.
Published: (2026) -
On the computational complexity of JavaScript regex matching
by: Deng, Victor, et al.
Published: (2026) -
A Coq Mechanization of JavaScript Regular Expression Semantics
by: De Santo, Noé, et al.
Published: (2024) -
iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
by: Xu, Ning, et al.
Published: (2026)