Harvey Mudd College
Bachelor of Science with High Distinction, Computer Science
Advisor: Geoff Kuenning
“Neural Acceleration for General-Purpose Approximate Programs.” In MICRO 2012. Versions appear in MICRO Top Picks and CACM Research Highlights.
“Online Verification of Commutativity.” To appear in TAPAS 2020 (co-located with SPLASH).
“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).
“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.
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):
Co-advised with Emin Gün Sirer.
Zhijing Li, 2019–
Rachit Nigam, 2018–
Neil Adit, 2018–
Alexa VanHattum, 2018–
Sachille Atapattu, 2018–
Dietrich Geisler, 2018–
Edwin Peguero, 2018–
Drew Zagieboylo, 2017
Philip Bedoukian, 2017–
Dissertation: Holistic Optimization of Embedded Computer Vision Systems.
Now at Amazon.
Paul Joo, 2020–
Akshat Singh, 2020–
Evan Adler, 2020–
Yuyi He, 2020–
Kofi Efah, 2020–
Michelle Chao, 2020–
Andrew Pareles, 2020–
Eric Mei, 2019
James Chen, 2019
Henry Liu, 2019–2020
Alex Wong, 2019
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
Chris Gyurgyik, 2020–
YooNa Chang, 2020–
Akshat Singh, 2020
Evan Adler, 2020–
University of Puerto Rico
Patrick LaFontaine, 2020–
Yasmin Sarita, 2020
Samuel Thomas, 2019–
Palini Ramnarayan, 2019–
Kimberly Baum, 2019–
Edan Mobed, 2019
Yuwei (Vivi) Ye, 2019–
Ben Gillott, 2019–
Katy Voor, 2019–2020
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)
Judge, JOBS workshop at MICRO 2020
NSF panel member, CCF division (2020)
ISCA 2021: 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:
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
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.
Maofan (Ted) Yin. Advisor: Emin Gün Sirer.
Wil Thomason. Advisor: Ross Knepper.
Yi-Hsiang (Sean) Lai. Advisor: Zhiru Zhang.
Gai Liu. Advisor: Zhiru Zhang. Defended 2018.
Melanie Kambadur, Columbia University. Advisor: Martha Kim. Defended 2016.