Intelligent Robotics in High School: An Educational Paradigm for the Industry 4.0 Era. - Igor M. Verner; Dan Cuperman; Tal Romm; Michael Reitman; Shi Kai Chong; Zoe Gong (ICL (1), 2018)

Verifying Programs Under Custom Application-Specific Execution Models. - Brett Boston; Zoe Gong; Michael Carbin (CoRR, 2018)

Leto: verifying application-specific hardware fault tolerance with programmable execution models. - Brett Boston; Zoe Gong; Michael Carbin (Proc. ACM Program. Lang., 2018)

Mayfly: Private Aggregate Insights from Ephemeral Streams of On-Device User Data. - Christopher Bian; Albert Cheu; Stanislav Chiknavaryan; Zoe Gong; Marco Gruteser; Oliver Guinan; Yannis Guzman; Peter Kairouz; Artem Lagzdin; Ryan McKenna; Grace Ni; Edo Roth; et al. (CoRR, 2024)