Nico Lehmann
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 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 |
|---|---|---|
| An Incremental Approach to JIT Construction | Scheme 2026 | 2026-08-29 |
This work builds a classroom-scale JIT that runs in-process using Rust and DynAsm and contrasts it with a NASM/AOT pipeline, implements a growing language up… | ||
| Flux: Liquid Types for Rust | PLDI 2023 | 2023-06-17 |
Flux implements a novel refined type system for Rust as a plug-in to the Rust compiler that indexes mutable locations, introduces strong references for precise… | ||
| STORM: Refinement Types for Secure Web Applications | 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21) | 2021-07-14 |
Storm is a web framework that enforces data-dependent security policies at compile time via a Security Typed ORM that refines MVC types with logical… | ||
| nothing matches | ||