已发表成果:
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