Copertina

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Titzer, Ben L., Gilbert, Elizabeth, Teo, Bradley Wei Jie, Anand, Yash, Takayama, Kazuyuki, Miller, Heather
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages D.3.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Debugging WebAssembly? Put some Whamm on it!
di: Gilbert, Elizabeth, et al.
Pubblicazione: (2025)

Walma: Learning to See Memory Corruption in WebAssembly
di: Draissi, Oussama, et al.
Pubblicazione: (2026)

Wasure: A Modular Toolkit for Comprehensive WebAssembly Benchmarking
di: Carissimi, Riccardo, et al.
Pubblicazione: (2026)

Feedback control of twisted states in the Kuramoto model on nearest neighbor and complete simple graphs
di: Yagasaki, Kazuyuki
Pubblicazione: (2026)

Bifurcations and stability of synchronized solutions in the Kuramoto model with uniformly spaced natural frequencies
di: Yagasaki, Kazuyuki
Pubblicazione: (2025)

Bifurcations of synchronized solutions in a continuum limit of the Kuramoto model with two-mode interaction depending on two graphs
di: Yagasaki, Kazuyuki
Pubblicazione: (2025)

Bifurcations of twisted solutions in a continuum limit for the Kuramoto model on nearest neighbor graphs
di: Yagasaki, Kazuyuki
Pubblicazione: (2025)

Continuum limit of the Kuramoto model with random natural frequencies on uniform graphs
di: Yagasaki, Kazuyuki
Pubblicazione: (2025)

Feedback control of the Kuramoto model defined on uniform graphs I: Deterministic natural frequencies
di: Yagasaki, Kazuyuki
Pubblicazione: (2025)

Empowering WebAssembly with Thin Kernel Interfaces
di: Ramesh, Arjun, et al.
Pubblicazione: (2023)

Accelerating Large Language Models through Partially Linear Feed-Forward Network
di: Hu, Gansen, et al.
Pubblicazione: (2025)

LLMs as Idiomatic Decompilers: Recovering High-Level Code from x86-64 Assembly for Dart
di: Abualazm, Raafat, et al.
Pubblicazione: (2026)

Float Self-Tagging
di: Melançon, Olivier, et al.
Pubblicazione: (2024)

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
di: Lopoukhine, Alexandre, et al.
Pubblicazione: (2025)

Rebound: Efficient, Expressive, and Well-Scoped Binding
di: De Santo, Noé, et al.
Pubblicazione: (2025)

A Few Fit Most: Improving Performance Portability of SGEMM on GPUs using Multi-Versioning
di: Hochgraf, Robert, et al.
Pubblicazione: (2025)

Dr Wenowdis: Specializing dynamic language C extensions using type information
di: Bernstein, Maxwell, et al.
Pubblicazione: (2024)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

Mathematical Modeling of the Role of Imitation in Crime Dynamics
di: Gebrezabher, Zeray H., et al.
Pubblicazione: (2024)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
di: Geeson, Luke, et al.
Pubblicazione: (2024)

Semantic Analysis of Macro Usage for Portability
di: Pappas, Brent, et al.
Pubblicazione: (2024)

Sharing Analysis in the Pawns Compiler
di: Naish, Lee
Pubblicazione: (2024)

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
di: Kiselyov, Oleg, et al.
Pubblicazione: (2024)

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
di: de Medeiros, Sérgio Queiroz, et al.
Pubblicazione: (2024)

LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries
di: Wodiany, Igor, et al.
Pubblicazione: (2024)

A Unified Framework for Quantitative Cache Analysis
di: Kahlen, Sophie, et al.
Pubblicazione: (2025)

SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes
di: Singhal, Vidush, et al.
Pubblicazione: (2026)

Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives
di: Ouyang, Ciyan, et al.
Pubblicazione: (2026)

Meta-Monomorphizing Specializations
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

From Separate Compilation to Sound Language Composition
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

Verifying Device Drivers with Pancake
di: Zhao, Junming, et al.
Pubblicazione: (2025)

File System Aging
di: Conway, Alex, et al.
Pubblicazione: (2024)

Baking for Dafny: A CakeML Backend for Dafny
di: Nezamabadi, Daniel, et al.
Pubblicazione: (2025)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
di: Gross, Jason, et al.
Pubblicazione: (2022)

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets
di: Mitsunari, Shigeo, et al.
Pubblicazione: (2026)

CIM-MLC: A Multi-level Compilation Stack for Computing-In-Memory Accelerators
di: Qu, Songyun, et al.
Pubblicazione: (2024)

Fat API bindings of C++ objects into scripting languages
di: Standish, Russell K.
Pubblicazione: (2024)

Dynamics of polynomial generalized Liénard system near the origin and infinity
di: Zhang, Jun
Pubblicazione: (2025)

Unlocking Python's Cores: Hardware Usage and Energy Implications of Removing the GIL
di: Salazar, José Daniel Montoya
Pubblicazione: (2026)

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