Mengqi Liu
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Sirius: Composing Network Function Chains into P4-Capable Edge Gateways | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
System composes dozens of distinct NF chains into a single P4 program, synthesizing traffic identification tables, pipelining loops via recirculations, and… | ||
| Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Tem | OOPSLA 2022 | 2022-12-05 |
Claims a formally verified real-time OS kernel that enforces budget-enforcing EDF partitions and proves temporal isolation between partitions under the… | ||
| Cetus: Releasing P4 Programmers from the Chore of Trial and Error Compiling | 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI '22) | 2022-04-04 |
NSDI '22 - Cetus: Releasing P4 Programmers from the Chore of Trial and Error Compiling
Yifan Li, Tsinghua University and Alibaba Group; Jiaqi Gao, Ennan Zhai… | ||
| nothing matches | ||