Basil: Breaking up BFT with ACID (transactions). - Florian Suri-Payer; Matthew Burke 001; Zheng Wang 078; Yunhao Zhang; Lorenzo Alvisi; Natacha Crooks (SOSP, 2021)

Cascade: An Edge Computing Platform for Real-time Machine Intelligence. - Weijia Song; Yuting Yang; Thompson Liu; Andrea Merlina; Thiago Garrett; Roman Vitenberg; Lorenzo Rosa; Aahil Awatramani; Zheng Wang 078; Ken Birman (ApPLIED@PODC, 2022)

pyvene: A Library for Understanding and Improving PyTorch Models via Interventions. - Zhengxuan Wu; Atticus Geiger; Aryaman Arora; Jing Huang 014; Zheng Wang 078; Noah D. Goodman; Christopher D. Manning; Christopher Potts (NAACL (Demonstrations), 2024)

ReFT: Representation Finetuning for Language Models. - Zhengxuan Wu; Aryaman Arora; Zheng Wang 078; Atticus Geiger; Dan Jurafsky; Christopher D. Manning; Christopher Potts (NeurIPS, 2024)

AxBench: Steering LLMs? Even Simple Baselines Outperform Sparse Autoencoders. - Zhengxuan Wu; Aryaman Arora; Atticus Geiger; Zheng Wang 078; Jing Huang 014; Dan Jurafsky; Christopher D. Manning; Christopher Potts (CoRR, 2025)