Elisa Gonzalez Boix
where else to find them
website:http://soft.vub.ac.be/disco
github:elisagb
what they talk about
all 7 in the filters
where they keep going back
no series more than once — all 6 in the filters
on a stage with
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Dynamic Analysis Extending a Shadow Runtime for Profit | WebAssembly Workshop @ ICFP/SPLASH 2025 | 2025-10-16 |
Prototype implements a spec-faithful shadow runtime as an analysis layer for Wastrumentation in Rust, mirroring WebAssembly semantics to expose the execution… | ||
| JASMaint: Portable Multi-language Taint Analysis for the Web | MPLR 2025 | 2025-10-14 |
JASMaint implements a portable taint analysis that instruments both JavaScript and WebAssembly source code and coordinates taint exchange with a lightweight… | ||
| Implementing, verifying and debugging distributed event-based systems | REBLS 2023 | 2023-10-22 |
Argues that sequential data types can be lifted to replicated, mostly coordination-free objects by attaching concurrency invariants and feeding them to a… | ||
| WOOD: Extending a WebAssembly VM with Out-of-Place Debugging for IoT applications | VMIL 2021 | 2021-10-17 |
WOOD extends the WARDuino WebAssembly VM to implement out-of-things debugging: capture a debug session (PC, stack, globals), ship it as a binary debug-session… | ||
| ECROs: Building Global Scale Systems from Sequential Code | OOPSLA 2021 | 2021-10-17 |
ECROs derive correct hybrid replicated data types from a sequential Scala implementation plus a distributed specification, with the static analyzer Ordana… | ||
| Framework-Aware Debugging with Stack Tailoring | DLS 2020 | 2020-11-17 |
Sarto is a library that instruments call stacks and exposes six concrete operations so frameworks can hide, inject, or join frames. It implements stack cutting… | ||
| nothing matches | ||