Partition consistency - A case study in modeling systems with weak memory consistency and proving correctness of their implementations. - Steven Cheng; Lisa Higham; Jalal Kawash (Distributed Comput., 2014)

Linearly Many Edge-Faults in 2-Bijective Connection Networks. - Dhruv Medarametla; Eddie Cheng 001; Steven Cheng; Lawrance Wu (Parallel Process. Lett., 2015)

Case Studies in Experiment Design on a minimega Based Network Emulation Testbed. - Brian Kocoloski; Alefiya Hussain; Matthew Troglia; Calvin Ardi; Steven Cheng; Dave DeAngelis; Christopher Symonds; Michael Collins; Ryan Goodfellow; Stephen Schwab (CSET @ USENIX Security Symposium, 2021)