Active Tapes: Bus-Based Sensor Networks. - Andrew Tjang; Michael Pagliorola; Hiral Patel; Xiaoyan Li; Richard P. Martin (LCN, 2004)

Model-based validation for dealing with operator mistakes. - Kiran Nagaraja; Andrew Tjang; Fábio Oliveira; Ricardo Bianchini; Richard P. Martin; Thu D. Nguyen (SOSP, 2005)

A: an assertion language for distributed systems. - Andrew Tjang; Fábio Oliveira; Richard P. Martin; Thu D. Nguyen (PLOS, 2006)

Model-Based Validation for Internet Services. - Andrew Tjang; Fábio Oliveira; Ricardo Bianchini; Richard P. Martin; Thu D. Nguyen (SRDS, 2009)

Barricade: defending systems against operator mistakes. - Fábio Oliveira; Andrew Tjang; Ricardo Bianchini; Richard P. Martin; Thu D. Nguyen (EuroSys, 2010)

Exploring Gender Diversity in CS at a Large Public R1 Research University. - Monica Babes-Vroman; Isabel Juniewicz; Bruno Lucarelli; Nicole Fox; Thu D. Nguyen; Andrew Tjang; Georgiana Haldeman; Ashni Mehta; Risham Chokshi (SIGCSE, 2017)

Providing Meaningful Feedback for Autograding of Programming Assignments. - Georgiana Haldeman; Andrew Tjang; Monica Babes-Vroman; Stephen Bartos; Jay Shah; Danielle Yucht; Thu D. Nguyen (SIGCSE, 2018)

Dynamic Recitation: A Student-Focused, Goal-Oriented Recitation Management Platform. - Joseph A. Boyle; Georgiana Haldeman; Andrew Tjang; Monica Babes-Vroman; Ana Paula Centeno; Thu D. Nguyen (SIGCSE, 2019)

CSF: Formative Feedback in Autograding. - Georgiana Haldeman; Monica Babes-Vroman; Andrew Tjang; Thu D. Nguyen (ACM Trans. Comput. Educ., 2021)