-
2024-09-27: I’m leaving for Bonderman Fellowship travel! Link to my travel blog.
-
2024-05-31: I defended my dissertation! Defense talk is on YouTube: https://www.youtube.com/watch?v=ePPksgj3qBs I’m looking for a job in industrial research beginning in Spring 2025.
-
2024-01-09: The Lakeroad paper, “FPGA Technology Mapping Using Sketch-Guided Program Synthesis”, was accepted to ASPLOS 2024! Arxiv link.
-
2023-06-17: I spoke at the first PLARCH workshop at ISCA/PLDI 2023 (co-located at FCRC 2023 in Orlando). Video. Full info on PLDI site. Slides PDF. Slides PDF with notes. Slides Keynote.
-
Summer 2022–Spring 2023: We’ve been hard at work on Lakeroad, an FPGA hardware synthesis tool which uses program synthesis and automatic semantics extraction to FPGAs to map hardware designs to complex FPGA primitives.
-
Spring 2022: I presented my thesis proposal and passed my Generals Exam! (YouTube video of the talk, slides, slides without notes)
-
Winter–Spring 2022: I am returning as a Student Researcher at Google; I’m now working directly with Penporn on the sparse auto-formatting work!
-
December 2021: I gave a lightning talk at TVMCon 2021 for the 3LA work, which is using Glenside to compile deep learning workloads to custom accelerators. The video is currently private, as the work is under submission.
-
Fall 2021: I am continuing on as a Student Researcher at Google!
-
Summer 2021: I completed an internship with Aart Bik, Penporn Koanantakool, and Mangpo Phothilimthana at Google.
-
May 2021: I gave practice versions of my MAPS 2021 talk for PLSE lunch and for for UCSD’s Embedded Systems Group. (Slides (without notes), Keynote).
-
April 2021: Our paper, “Pure Tensor Program Rewriting via Access Patterns”, was accepted at MAPS@PLDI21! This is the result of this past year’s work on Glenside.
-
March 2021: Long time without updating! This summer I’ll be interning with Aart Bik at Google, working on bringing sparse tensor support to MLIR.
-
Summer 2020–Winter 2021: I’ve been working on Glenside, a new language for representing tensor-based hardware–software programs.
-
May 2020: I wrote a blog post about my work on the Bring Your Own Datatypes framework. It is a good overview of what the framework does, for those who are already (even vaguely) familiar with TVM. (Update, September 2020: Andrew updated the blog post with the work he’s done on the framework)
-
May 2020: I gave a talk for PLSE about my new project, Glenside. I also delivered a very similar talk for the Cornell Architecture and PL groups, as part of a series of talks organized by Rachit Nigam. (Slides (without notes))
-
February 2020: My first acceptance! My submission, “Enumerating Hardware-Software Splits with Program Rewriting”, was accepted to the Young Architects Workshop at ASPLOS2020. The 2-page paper describes my upcoming work. (Due to the COVID-19 situation, ASPLOS2020 was canceled.)
-
February 2020: I completed my quals exam! Post-quals smiles :) (slides, slides without notes)
-
January 2020: Happy New Year!! I started off the new year (and new quarter) by giving my first whiteboard talk. I talked about RTML, the new DARPA project which we are working on. I laid out some of my early ideas so that I could get early-stage feedback. The whiteboard talk was also meant to encourage similar, more casual talks in the lab, rather than the formal talks we may feel expected to deliver. The images of the whiteboard (in order) are here: 1 2 3 4 5 6 7
-
December 2019: My lab, SAMPL, gave series of talks at the Allen School Colloquium. I delivered a new talk which I titled “The Datatypes Zoo,” about the wild world of datatypes which I’ve been introduced to over the past year. (A video of my talk, My slides (without notes, keynote file))
- December 2019: I gave a talk on Relay program analysis at this year’s TVM conference.
- November 2019: I presented to my research group, SAMPL, about my summer internship at Microsoft, where I developed a program analysis framework in Relay. Look out for my lightning talk at this year’s TVM conference where I’ll also be talking about program analysis in Relay.
- November 2019: I’m happy to say I’m now coadvised by Zach Tatlock! I hope to work with Zach and Luis together to explore how we can use programming languages and compilers to improve the hardware design process.
- November 2019: I presented a poster at the University of Virginia on my datatypes work at the annual review for the CRISP center, from whom I get my funding.
-
October 2019: I helped out the Relay group with a hackathon for the ADA center meeting in Ann Arbor.
- Summer 2019: I completed an internship as a research intern with the Azure Hardware Systems Group under Marco Heddes. I was using TVM to statically analyze deep learning workloads.
- The static analysis framework, which Microsoft was kind enough to open-source.
- June 2019: I gave a talk at ISCA/FCRC in Phoenix as part of our TVM tutorial. Here are some materials:
- May 2019: I gave a web talk for the CRISP center (where I get my funding) on my Bring Your Own Datatypes work