已发表成果:
WOK 论文 7 篇;
P4-DPLL: Accelerating SAT Solving Using Switching ASICs
EasyQuantile: Efficient Quantile Tracking in the Data Plane
MVPipe: Enabling Lightweight Updates and Fast Convergence in Hierarchical Heavy Hitter Detection
FarReach: Write-back Caching in Programmable Switches
Accelerating SAT Solving Using Switching ASICs
Enabling Low-Redundancy Proactive Fault Tolerance for Stream Machine Learning Via Erasure Coding: Design and Evaluation
A High-Performance Invertible Sketch for Network-Wide Superspreader Detection