JIALIN LI
where else to find them
no profile links on file
what they talk about
all 8 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 53 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| MirrorNet: High-fidelity and Scalable Network Emulation for Software-defined WAN | NSDI '26 | 2026-05-04 |
MirrorNet recreates a production SD‑WAN by mirroring controller, data plane, and traffic and claims second‑by‑second fidelity while cutting storage… | ||
| Lemonshark: Asynchronous DAG-BFT With Early Finality | NSDI '26 | 2026-05-04 |
Lemonshark is an asynchronous DAG‑BFT that reinterprets the DAG at the transactional level to deliver early finality for blocks before leader commitment by… | ||
| PD3: Prefetching Data with DPUs for Disaggregated Memory | NSDI '26 | 2026-05-04 |
PD3 implements a DPU-side prefetch path that parses client requests, looks up a bucketized host view, issues RDMA pulls to remote memory, and DMA-loads items… | ||
| Libra: Flexible Request Partitioning and Scheduling for Serving Unbalanced and Dynamic... | NSDI '26 | 2026-05-04 |
Libra implements a micro-request flexible partitioning that splits requests at any token boundary, a global scheduler that binary-searches a split point (≤6… | ||
| Bridging Storage and Execution: A Semantic Virtual Bus for On-Demand Application Streaming | NSDI '26 | 2026-05-04 |
STREAMBUS implements a semantic virtual storage bus that turns remote storage into an execution-aware layer by combining a dual-mode transmission (fast… | ||
| Cortex: Achieving Low-Latency, Cost-Efficient Remote Data Access For LLM via | NSDI '26 | 2026-05-04 |
Cortex caches semantically similar LLM queries by storing a Semantic Element (query, response, and metadata: cost, latency, frequency, size, staleness) and… | ||
| HyperEdge: An Edge CDN Infrastructure for Cost Efficient Video Streaming | NSDI '26 | 2026-05-04 |
HyperEdge is a hybrid CDN that combines an external CDN for initial segments with a pool of underutilized devices, using multi-path transmission and a… | ||
| Formal Methods to Save the Earth | PROPL 2024 | 2024-01-20 |
Computes a deductive program logic called Power Logic with small-step operational semantics that separate instantaneous vs lasting energy and model a footprint… | ||
| Hydra: Serialization-Free Network Ordering for Strongly Consistent Distributed Applications | NSDI 2023 | 2023-04-17 |
Hydra implements a distributed network sequencer primitive that combines per-sequencer sequence counters with loosely synchronized physical timestamps to avoid… | ||
| Linear types for large-scale systems verification | OOPSLA 2022 | 2022-12-05 |
Integrates linear Dafny with Dafny's SMT backend to push memory reasoning into the type system while keeping SMT for heap invariants; implements… | ||
| nothing matches | ||