Toward a Semantic Concordancer. - Adam Pease; Andrew Cheung (GWC, 2018)

Generate Compilers from Hardware Models! - Gus Henry Smith; Benjamin Kushigian; Vishal Canumalla; Andrew Cheung; René Just; Zachary Tatlock (CoRR, 2023)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis. - Gus Henry Smith; Benjamin Kushigian; Vishal Canumalla; Andrew Cheung; Steven Lyubomirsky; Sorawee Porncharoenwase; René Just; Gilbert Louis Bernstein; Zachary Tatlock (ASPLOS (2), 2024)

There and Back Again: A Netlist's Tale with Much Egraphin'. - Gus Henry Smith; Zachary D. Sisco; Thanawat Techaumnuaiwit; Jingtao Xia; Vishal Canumalla; Andrew Cheung; Zachary Tatlock; Chandrakana Nandi; Jonathan Balkind (CoRR, 2024)

KoroT-3E: A Personalized Musical Mnemonics Tool for Enhancing Memory Retention of Complex Computer Science Concepts. - Xiangzhe Yuan; Jiajun Wang; Siying Hu; Andrew Cheung; Zhicong Lu (CoRR, 2024)

Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface. - Bo-Yuan Huang 001; Steven Lyubomirsky; Yi Li; Mike He; Gus Henry Smith; Thierry Tambe; Akash Gaonkar; Vishal Canumalla; Andrew Cheung; Gu-Yeon Wei; Aarti Gupta; Zachary Tatlock; et al. (ACM Trans. Design Autom. Electr. Syst., 2024)

MetaCourt: Leveraging the Metaverse for Immersive Court Interpreting Education with Self-Determination Theory. - Chan-In Devin Sio; Yao Yao; Rui Xie; Xian Wang; Chi Sun; Yu-Hin Tang; Choi Chun Ifan Cheung; Andrew Cheung; Lik-Hang Lee (VR Workshops, 2025)