Alexis Engelke
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Jana Gicevaonce
- Lukas Döllereronce
- Michael Jungmaironce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Performant Bounds Checking for 64-Bit WebAssembly | VMIL 2024 | 2024-10-20 |
Implements and compares four approaches inside a C++ Wasm runtime (LLVM-based codegen, Linux mprotect + signal-to-exception trampoline): plain software checks… | ||
| HiPy: Extracting High-Level Semantics From Python Code For Data Processing | OOPSLA 2024 | 2024-10-20 |
HiPy converts annotated Python functions into program generators that, when executed, produce a statically-typed IR (SSA-like, n‑dimensional arrays and table… | ||
| nothing matches | ||