CV

Publications

The Essence of Program Semantics Visualizers: A Three-Axis Model
PLATEAU ‘20: Josh Pollock, Grace Oh, Eunice Jun, Philip J. Guo, Zachary Tatlock

Theia: Automatically Generating Correct Program State Visualizations
SPLASH-E ‘19: Josh Pollock, Jared Roesch, Doug Woos, Zachary Tatlock

Relay: A High-Level Compiler for Deep Learning
arXiv ‘19 Jared Roesch, Steven Lyubomirsky, Marisa Kirisame, Logan Weber, Josh Pollock, Luis Vega, Ziheng Jiang, Tianqi Chen, Thierry Moreau, Zachary Tatlock

Relay: A New IR for Machine Learning Frameworks
MAPL ‘18 Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, Zachary Tatlock

Talks

todo

Internships

todo

Education

MIT, PhD Computer Science - 2020-present

University of Washington, BS Computer Science with College Honors - 2016-2020