Newton Ni
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 19 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Arctic: A Practical Lock-Free Adaptive Radix Tree | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Arctic is a lock‑free adaptive radix tree that uses a freezing‑based coordination protocol and edge‑in‑parent layout to perform compress/replace operations… | ||
| Tigon: A Distributed Database for a CXL Pod | OSDI '25 | 2025-07-07 |
Tigon implements a distributed transactional in-memory database for a CXL pod, running on an emulated 8-host setup (40-core machine + CXL 1.1 module). It… | ||
| Petr4: Formal Foundations for P4 Data Planes | POPL 2021 | 2021-01-17 |
Petr4 provides a clean‑slate definitional interpreter and a compact core calculus that models a P4 fragment, validated by running over 750 tests from the P4… | ||
| nothing matches | ||