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.
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!
- January 2020: I also started off this quarter by presenting on the MLPerf Inference paper at a SAMPL meeting.
- 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.
- 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.
- 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