Copertina

Cage: Hardware-Accelerated Safe WebAssembly

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fink, Martin, Stavrakakis, Dimitrios, Sprokholt, Dennis, Chakraborty, Soham, Ekberg, Jan-Erik, Bhatotia, Pramod
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Potential of WebAssembly for Embedded Systems
di: Wallentowitz, Stefan, et al.
Pubblicazione: (2024)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
di: Paraskevopoulou, Zoe, et al.
Pubblicazione: (2024)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
di: Kang, Byeongjee, et al.
Pubblicazione: (2025)

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
di: Titzer, Ben L., et al.
Pubblicazione: (2024)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
di: Andrès, Léo, et al.
Pubblicazione: (2024)

Multi-modal Learning for WebAssembly Reverse Engineering
di: Huang, Hanxian, et al.
Pubblicazione: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
di: Baek, Doehyun, et al.
Pubblicazione: (2025)

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
di: Baek, Doehyun, et al.
Pubblicazione: (2024)

Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
di: Kırmemiş, Oğuzcan, et al.
Pubblicazione: (2024)

The WASM Cloak: Evaluating Browser Fingerprinting Defenses Under WebAssembly based Obfuscation
di: Sakib, A H M Nazmus, et al.
Pubblicazione: (2025)

MultiQ: Multi-Programming Neutral Atom Quantum Architectures
di: Romão, Francisco, et al.
Pubblicazione: (2026)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
di: Shirzad, Mohammad Robati, et al.
Pubblicazione: (2024)

Confidential Serverless Computing
di: Sabanic, Patrick, et al.
Pubblicazione: (2025)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
di: Chakraborty, Soham, et al.
Pubblicazione: (2025)

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
di: Tanaka, Izumi, et al.
Pubblicazione: (2026)

Pacing Types: Safe Monitoring of Asynchronous Streams
di: Kohn, Florian, et al.
Pubblicazione: (2025)

Recipe: Hardware-Accelerated Replication Protocols
di: Giantsidi, Dimitra, et al.
Pubblicazione: (2025)

EAGLE-Pangu: Accelerator-Safe Tree Speculative Decoding on Ascend NPUs
di: Han, Chang, et al.
Pubblicazione: (2026)

Cyber-physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
di: Van Kenhove, Michiel, et al.
Pubblicazione: (2024)

Unsafe Impedance: Safe Languages and Safe by Design Software
di: Barney, Lee, et al.
Pubblicazione: (2024)

WebTigerPython -- A Low-Floor High-Ceiling Python IDE for the Browser
di: Bachmann, Clemens, et al.
Pubblicazione: (2024)

Approximate Computing Survey, Part I: Terminology and Software & Hardware Approximation Techniques
di: Leon, Vasileios, et al.
Pubblicazione: (2023)

Anvil: A General-Purpose Timing-Safe Hardware Description Language
di: Yu, Jason Zhijingcheng, et al.
Pubblicazione: (2025)

Range Algebra for Safe Array Splits
di: Perisic, Aleksandar
Pubblicazione: (2014)

Just add WATER: WebAssembly-based Circumvention Transports
di: Chi, Erik, et al.
Pubblicazione: (2023)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
di: DeLorenzo, Matthew, et al.
Pubblicazione: (2025)

LACUNA: Safe Agents as Recursive Program Holes
di: Zhao, Yaoyu, et al.
Pubblicazione: (2026)

SafeTree: Expressive Tree Policies for Microservices
di: Grewal, Karuna, et al.
Pubblicazione: (2025)

Roadrunner: Accelerating Data Delivery to WebAssembly-Based Serverless Functions
di: Marcelino, Cynthia, et al.
Pubblicazione: (2025)

Register Aggregation for Hardware Decompilation
di: Rao, Varun, et al.
Pubblicazione: (2024)

WebAssembly and Security: a review
di: Perrone, Gaetano, et al.
Pubblicazione: (2024)

Browser Fingerprinting Using WebAssembly
di: Guri, Mordechai, et al.
Pubblicazione: (2025)

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
di: Kan, Shuanglong, et al.
Pubblicazione: (2026)

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
di: Xiao, Youwei, et al.
Pubblicazione: (2025)

Arch: An AI-Native Hardware Description Language for Register-Transfer Clocked Hardware Design
di: Zhao, Shuqing
Pubblicazione: (2026)

Scylla: Translating an Applicative Subset of C to Safe Rust
di: Fromherz, Aymeric, et al.
Pubblicazione: (2024)

Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
di: Xiao, Youwei, et al.
Pubblicazione: (2025)

Rose: Composable Autodiff for the Interactive Web
di: Estep, Sam, et al.
Pubblicazione: (2024)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
di: Kudasov, Nikolai, et al.
Pubblicazione: (2024)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
di: Leißa, Roland, et al.
Pubblicazione: (2024)