Petr4: formal foundations for p4 data planes. - Ryan Doenges; Mina Tahmasbi Arashloo; Santiago Bautista; Alexander Chang; Newton Ni; Samwise Parkinson; Rudy Peterson; Alaia Solko-Breslin; Amanda Xu; Nate Foster (Proc. ACM Program. Lang., 2021)

Lupin: Tolerating Partial Failures in a CXL Pod. - Zhiting Zhu; Newton Ni; Yibo Huang 006; Yan Sun; Zhipeng Jia; Nam Sung Kim; Emmett Witchel (DIMES@SOSP, 2024)

Impeller: Stream Processing on Shared Logs. - Zhiting Zhu; Zhipeng Jia; Newton Ni; Dixin Tang; Emmett Witchel (EuroSys, 2025)

Tigon: A Distributed Database for a CXL Pod. - Yibo Huang 006; Haowei Chen; Newton Ni; Yan Sun; Vijay Chidambaram; Dixin Tang; Emmett Witchel (OSDI, 2025)