Image de couverture de livre

Iris-WasmFX: Modular Reasoning for Wasm Stack Switching: Appendices and Artefact

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Legoupil, Maxime, Pedersen, Mathias, Pichon-Pharabod, Jean, Lindley, Sam, Birkedal, Lars
Format:	Recurso digital
Publié:	Zenodo 2026
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A semi-numerical algorithm for the homology lattice and periods of complex elliptic surfaces over the projective line
par: Pichon-Pharabod, Eric
Publié: (2024)

Periods of fibre products of elliptic surfaces and the Gamma conjecture
par: Pichon-Pharabod, Eric
Publié: (2025)

Wasm: A Pipeline for Constructing Structured Arabic Interleaved Multimodal Corpora
par: Hennara, Khalil, et autres
Publié: (2025)

AndroWasm: an Empirical Study on Android Malware Obfuscation through WebAssembly
par: Soi, Diego, et autres
Publié: (2026)

Wasm-bpf: Streamlining eBPF Deployment in Cloud Environments with WebAssembly
par: Zheng, Yusheng, et autres
Publié: (2024)

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
par: Baek, Doehyun, et autres
Publié: (2024)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
par: He, Ningyu, et autres
Publié: (2024)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
par: Shirzad, Mohammad Robati, et autres
Publié: (2024)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
par: Paraskevopoulou, Zoe, et autres
Publié: (2024)

Galois Groups of Symmetric Cubic Surfaces
par: Pichon-Pharabod, Eric, et autres
Publié: (2025)

Estimating major merger rates and spin parameters ab initio via the clustering of critical events
par: Cadiou, Corentin, et autres
Publié: (2023)

Enabling Real-Time Programmability for RAN Functions: A Wasm-Based Approach for Robust and High-Performance dApps
par: Esper, João Paulo, et autres
Publié: (2026)

Wasm-iCARE: a portable and privacy-preserving web module to build, validate, and apply absolute risk models
par: Balasubramanian, Jeya Balaji, et autres
Publié: (2023)

Effective homology and periods of complex projective hypersurfaces
par: Lairez, Pierre, et autres
Publié: (2023)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

NÓMADAS MARINOS EN EL ARCHIPIÉLAGO DE LOS CHONOS (PATAGONIA SEPTENTRIONAL)
par: Dominique Legoupil
Publié: (2022)

Los indios canoeros del canal Beagle en la segunda mitad del Holoceno: ¿ma¿s cazadores o ma¿s pescadores?. Reseña de "Historia evolutiva y subsistencia de cazadores-recolectores marítimos de Tierra del Fuego" de Atilio Francisco Zangrando
par: Dominique Legoupil
Publié: (2011)

Recolectores de moluscos tempranos en el sureste de la isla de Chiloé: una primera mirada
par: Dominique Legoupil
Publié: (2005)

Relaxed exception semantics for Arm-A (extended version)
par: Simner, Ben, et autres
Publié: (2024)

Reasoning about Weak Isolation Levels in Separation Logic
par: Mathiasen, Anders Alnor, et autres
Publié: (2025)

Rows and Capabilities as Modal Effects
par: Tang, Wenhao, et autres
Publié: (2025)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
par: Haselwarter, Philipp G., et autres
Publié: (2026)

A denotationally-based program logic for higher-order store
par: Aagaard, Frederik Lerbjerg, et autres
Publié: (2023)

BVI-Artefact: An Artefact Detection Benchmark Dataset for Streamed Videos
par: Feng, Chen, et autres
Publié: (2023)

WildFX: A DAW-Powered Pipeline for In-the-Wild Audio FX Graph Modeling
par: Yang, Qihui, et autres
Publié: (2025)

FX Network Predictive Model
par: KAANICHE, Mohamed Hamdi
Publié: (2026)

Beauty: The Body as Artefact
Publié: (2026)

People, Texts and Artefacts
Publié: (2020)

Exploring Written Artefacts
Publié: (2022)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
par: Haselwarter, Philipp G., et autres
Publié: (2024)

Appendices
par: Miguel Sanchez Martinez
Publié: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

FX Market Making with Internal Liquidity
par: Barzykin, Alexander, et autres
Publié: (2025)

FAIR Semantic Artefacts Catalogues
par: Tykhonov, Vyacheslav, et autres
Publié: (2025)

Gabii through its Artefacts
Publié: (2025)

Bell Correlations as Selection Artefacts
par: Price, Huw, et autres
Publié: (2023)

Iris
Publié: (2021)

Controlling unfolding in type theory
par: Gratzer, Daniel, et autres
Publié: (2022)

Unifying cubical and multimodal type theory
par: Aagaard, Frederik Lerbjerg, et autres
Publié: (2022)

Visualization of Appendiceal Diverticula During Endoscopic Retrograde Appendicitis Therapy
par: Zhiqian Chen, et autres
Publié: (2025)