Harvey Mudd College
Bachelor of Science with High Distinction, Computer Science
Advisor: Geoff Kuenning
“Verifying Dynamic Trait Objects in Rust.” To appear in ICSE SEIP 2022.
“Neural Acceleration for General-Purpose Approximate Programs.” In MICRO 2012. Versions appear in MICRO Top Picks and CACM Research Highlights.
“A Toolkit for Designing Hardware DSLs.” To appear in WOSET 2021 (co-located with ICCAD).
“Optimizing JPEG Quantization for Classification Networks.” In ReCoML 2020 (co-located with MLSys).
“Debugging Probabilistic Programs.” In MAPL 2017 (co-located with PLDI).
“Rethinking the Camera Pipeline for Computer Vision.” In WAX 2017 (co-located with ASPLOS).
“REACT: A Framework for Rapid Exploration of Approximate Computing Techniques.” In WAX 2015 (co-located with PLDI).
“Two Approximate-Programmability Birds, One Statistical-Inference Stone.” In APPROX 2014 (co-located with PLDI).
“Tuning Approximate Computations with Constraint-Based Type Inference.” In WACAS 2014 (co-located with APLOS).
“Approximate Semantics for Wirelessly Networked Applications.” In WACAS 2014 (co-located with ASPLOS).
“Profiling and Autotuning for Energy-Aware Approximate Programming.” In WACAS 2014 (co-located with ASPLOS).
“Design Tradeoffs of Approximate Analog Neural Accelerators.” In NIAC 2013.
“Addressing Dark Silicon Challenges with Disciplined Approximate Computing.” In DaSi 2012 (co-located with ISCA).
“Towards Neural Acceleration for General-Purpose Approximate Computing.” In WEED 2012 (co-located with ISCA).
“Exploiting Errors for Efficiency: A Survey from Circuits to Applications.” In ACM Computing Surveys 53(3), 2020.
“A Taxonomy of General Purpose Approximate Computing Techniques.” In IEEE Embedded Systems Letters.
“ACCEPT: A Programmer-Guided Compiler Framework for Practical Approximate Computing.” In Technical report UW-CSE-15-01 1..
“Neural Acceleration for General-Purpose Approximate Programs.” In CACM Research Highlights, January 2015. Highlights from the MICRO 2012 paper.
“Approximate Storage in Solid-State Memories.” In ACM Transactions on Computer Systems, September 2014. Expanded version of the MICRO 2013 paper.
“EnerJ, the Language of Good-Enough Computing.” In IEEE Spectrum, October 2013.
“Dense Approximate Storage in Phase-Change Memory.” In the Ideas & Perspectives session at ASPLOS 2011.
December 9, 2021: “The Next 700 Accelerator Design Languages.” Berkeley Programming Systems Seminar.
October 21, 2021: “Languages & Compilers for Hardware Acceleration.” Sydney System Research Talk Series.
September 27, 2021: “The Next 700 Accelerator Design Languages.” Cornell Computer Science Colloquium.
September 2, 2021: “Toward a Predictable System Stack for Accelerator Design.” Stanford Agile Hardware Center.
July 27, 2021: “Calyx: Your DSL-to-Hardware Compiler Construction Kit.” Schloss Dagstuhl, Seminar 21302: Approximate Systems.
December 1, 2020: “Toward a Predictable System Stack for Reconfigurable Computing.” University of California, Santa Cruz Hardware Systems Collective Seminar. Video.
October 26, 2020: “Toward a Predictable System Stack for Reconfigurable Computing.” HLD Reading Group, Intel.
February 28, 2020: “Predictable Accelerator Design.” UCLA Center for Domain-Specific Computing.
February 3, 2020: “Reconfigurability Through a Language Lens.” Facebook Boston.
August 9, 2019: Panel: How to Apply to Graduate School. Cornell, Maryland, Max Planck Pre-Doctoral Research School 2019.
August 6, 2019: “Designing Programming Languages for Heterogeneous Hardware.” Cornell, Maryland, Max Planck Pre-Doctoral Research School 2019.
June 23, 2019: Panel: Charting Your Path. Programming Languages Mentoring Workshop at PLDI 2019.
April 5, 2019: “Designing Custom Hardware Accelerators with Types.” Colloquium, Department of Computer Science, Williams College.
October 14, 2017: “Approximate Computing Is Dead; Long Live Approximate Computing.” Workshop on Negative Outcomes, Post-Mortems, and Experiences (NOPE), at MICRO 2017. Notes.
December 1, 2015: “Probabilistic Programming.” Schloss Dagstuhl, Seminar 15491: Approximate and Probabilistic Computing: Design, Coding, Verification. Notes.
Cornell University — Department of Computer Science
Microsoft Research — Research in Software Engineering (RiSE)
Microsoft Research — Research in Software Engineering (RiSE)
Microsoft Research — Extreme Computing Group (XCG)
Qualcomm, Inc. — Bay Area R&D
University of Washington
Harvey Mudd College — NSF REU Program
NSF CAREER award, 2019
Cornell College of Engineering Ralph S. Watts ’72 Excellence in Teaching Award, 2018
Distinguished Artifact Award, OOPSLA 2017
UW CSE William Chan Memorial Dissertation Award, 2015
Best presentation, first UW Computer Science & Engineering Symposium (CSES 2015)
Paper from MICRO 2013 invited for fast-track inclusion in ACM TOCS
Paper from MICRO 2012 selected for CACM research highlights
Google Ph.D. Fellowship in Computer Architecture (2013–2015)
Qualcomm Innovation Fellowship (2013–2014)
Paper from MICRO 2012 selected for IEEE Micro’s Top Picks from the Computer Architecture Conferences, 2013
Best lightning session presentation, MICRO 2012
Facebook Ph.D. Fellowship (2012–2013)
University of Washington Hacherl Graduate Fellowship in Computer Science and Engineering (2009–2010)
Hertz Foundation Fellowship Finalist (2009)
Harvey Mudd College (2009):
Griffin Berlstein, 2021–
Zhijing Li, 2019–
Rachit Nigam, 2018–
Neil Adit, 2018–
Alexa VanHattum, 2018–
Sachille Atapattu, 2018–2021
Dietrich Geisler, 2018–
Edwin Peguero, 2018–2021
Drew Zagieboylo, 2017
Philip Bedoukian, 2017–
Dissertation: Holistic Optimization of Embedded Computer Vision Systems.
Now at Amazon.
David Chen, 2022–
Michael Xiong, 2021–
Yunhe Shao, 2021–
Alaia Solko-Breslin, 2021–
Kenneth Li, 2021
Evan Adler, 2020
Alex Wong, 2019
James Chen, 2019
Eric Mei, 2019
Henry Liu, 2019–2020
Evan Su, 2018
Shiyu Wang, 2018
Arthur Wang, 2018
Daniel Sainati, 2018
Eric Lin, 2017
Mingyang Li, 2017
Taehoon Lee, 2017
Moshe Klebanov, 2017
Richie Henwood, 2017
Jonathan Tran, 2020–
Ted Bauer, 2020
Evan Williams, 2022–
Pai Li, 2022–
Crystal Hu, 2022–
Jan-Paul Vincent, 2022–
Liam Daniels, 2022–
Richard Wang, 2021
Boao (Mark) Dong, 2021
Haoxuan Chen, 2021
David Siher, 2021–
Jasper Liang, 2021–
YoungSeok (Alex) Na, 2021–
Andrii Iermolaiev, 2021
Alma Thaler, 2021
Andrei Shpilenok, 2021
Iain Pile, 2021
University of Puerto Rico
Chris Gyurgyik, 2020–2021
YooNa Chang, 2020–2021
Akshat Singh, 2020
Paul Joo, 2020–2021
Yuyi He, 2020
Kofi Efah, 2020
Michelle Chao, 2020
Andrew Pareles, 2020
Evan Adler, 2020
Karen Zhang, 2020–2021
Patrick LaFontaine, 2020–2021
Yasmin Sarita, 2020
Yuwei (Vivi) Ye, 2019–
Palini Ramnarayan, 2019–2020
Kimberly Baum, 2019–2020
Edan Mobed, 2019
Katy Voor, 2019–2020
Ben Gillott, 2019–2020
Samuel Thomas, 2019–2021
Apurva Koti, 2019–2020
Kenneth Fang, 2019–2020
Aditi Kabra, 2018–2019
Yinnon Sanders, 2018–2019
Honorable mention, 2020 CRA Outstanding Undergraduate Researcher Awards
Jenna Choi, 2018–2019
Ted Bauer, 2018–2019
Euisun (Irene) Yoon,
Honorable mention, 2019 CRA Outstanding Undergraduate Researcher Awards
Joshua Diaz, 2017–2018
Tyler Etzel, 2017–2018
Harry Goldstein, 2017–2018
Alex Renda, 2017–2018
Yiteng Guo, 2017–2018
Chirag Bharadwaj, 2016–2017
Omar Abdelaziz, 2016–2017
I worked with these B.S. students while I was a graduate student at the University of Washington.
Luyi Liu, 2014
Chengfeng Shi, 2014
Joshua Yip, 2014
B.S. Honors Thesis Runner-up, 2015 CRA Outstanding Undergraduate Researcher Awards
Winner, 2015 UW CSE Undergraduate Honors Thesis Award
Wenjie (Marissa) He, 2013–2015
B.S. Honors Thesis
Danushen Gnanapragasam, 2010–2011
Teaching Assistant, University of Washington:
Tutor, University of Washington, 2009–2014: CSE 303 (Software Development), 311/312 (Foundations of Computing), 322 (Formal Models), 331 (Software Engineering), 332 (Data Structures), 351 (The Hardware/Software Interface)
NSF panel member (2022)
ISCA 2022: Social Media Chair
ASPLOS 2022: WACI chair
SIGPLAN Long-Term Mentoring Committee (SIGPLAN-M) Operations Team, 2020–2021
Judge, JOBS workshop at MICRO 2020
NSF panel member, CCF division (2020)
ISCA 2021: Publicity & Social Media Chair
PLMW @ PLDI 2020: Co-organizer
ASPLOS 2020: WACI co-chair
August 2019: Facilitator, JUMP e-workshop on domain-specific languages
ISCA 2019: Social Media Chair
PLDI 2018: Publicity Chair
ACM SIGARCH Social Media Editor (2017–)
PLDI 2017: Publicity Co-Chair
ISCA 2017: Registration Chair
CGO 2017: Workshops/Tutorials Chair
NSF panel member, CCF division (2016)
Cornell University, Computing and Information Science:
Cornell University, Computer Science:
University of Washington, Computer Science and Engineering:
ASPLOS 2023: Program committee member
YArch 2022: Program committee member
ICCD 2021: Special session reviewer
ASPLOS 2022: Program committee member
HPCA 2022: External review committee member
OOPSLA 2021: External review committee member
LATTE 2021: Organizer
YArch 2021: Program committee member
ISCA 2021: Program committee member
IEEE Micro Top Picks 2021: Selection committee member
ASPLOS 2021: Program committee member
MICRO 2020: External review committee member
YArch 2020: Program committee member
OOPSLA 2020: Review committee member
ISCA 2020: External review committee member
PLDI 2020: Program committee member
ASPLOS 2020: Program committee member
ISCA 2019: Program committee member
YArch 2019: Program committee member
ASPLOS 2019: Program committee member
MICRO 2018: Program committee member
WAX 2018: Organizer
SELSE 2018: Program committee member
ISCA 2018: Program committee member
OOPSLA 2018: Program committee member
HPCA 2018: External review committee member
ASPLOS 2018: External review committee member
WAX 2017: Organizer, program committee member
MICRO 2017: External review committee member
Onward! 2017: Program committee member
ISCA 2017: Program committee member
ASPLOS 2017: Program committee member
CGO 2017: Program committee member
MASS 2016: Program committee member
TinyToCS Vol. 4: Program committee member
WAX 2016: Organizer, program committee member
SELSE 2016: Review committee member
ISCA 2016: External review committee member
PLDI 2016: Program committee member
WAX 2015: Organizer, program committee member
WACAS 2014: Organizer, program committee member
PLDI 2014: Artifact evaluation committee member
OOPSLA 2014: Artifact evaluation committee member
Abhishek Vijaya Kumar. Advisor: Rachit Agarwal.
Ayaka Yorihiro. Advisor: Owolabi Legunsen.
Qizhe Cai. Advisor: Rachit Agarwal.
Nicholas Cebry. Advisor: Chris Batten.
Preslav Ivanov. Advisor: Chris Batten.
Wen-Ding Li. Advisor: Dexter Kozen.
Mark Moeller. Advisor: Nate Foster and Alexandra Silva.
Michael Roberts. Advisor: Dexter Kozen.
Luis Vega, University of Washington. Advisor: Luis Ceze and Dan Grossman.
Socrates Wong. Advisor: José Martínez.
Ariel Kellison. Advisor: David Bindel.
Griffin Berlstein. Advisor: Nate Foster.
Shaojie Xiang. Advisor: Zhiru Zhang.
Yanghui Ou. Advisor: Chris Batten.
A.F. Cooper. Advisor: Chris De Sa.
Kevin Negy. Advisor: Emin Gün Sirer.
Peitian Pan. Advisor: Chris Batten.
Yi Jiang. Advisor: José Martínez.
Yuwei Hu. Advisor: Zhiru Zhang.
Lin Cheng. Advisor: Chris Batten.
Tuan Ta. Advisor: Chris Batten.
Yuan Zhou. Advisor: Zhiru Zhang. Defended 2021.
Maofan (Ted) Yin. Advisor: Emin Gün Sirer. Defended 2021.
Wil Thomason. Advisor: Hadas Kress-Gazit. Defended 2021.
Yi-Hsiang (Sean) Lai. Advisor: Zhiru Zhang. Defended 2021.
Gai Liu. Advisor: Zhiru Zhang. Defended 2018.
Melanie Kambadur, Columbia University. Advisor: Martha Kim. Defended 2016.