Please do not share a link to this page publicly.
Title. Modular Abstractions for Hardware Design
Abstract. The exponential performance improvements of general-purpose processors have long driven the modern computing revolution. But with the end of Dennard scaling and the rise of dark silicon, processor-based systems can no longer sustain these trends. Instead, hardware accelerators, which sacrifice computational generality for efficiency, have become ubiquitous and enabled dramatic improvements in domains from machine learning (Google TPU) to networking (Intel Tofino). In the acceleration era, we must rethink the strict separation between software and hardware design and enable domain experts to design and deploy accelerators.
In this talk, I will present two new systems for designing hardware accelerators. First, Filament, a hardware description language that uses a novel type system to enable modular reasoning of hardware designs and eliminates a large class of bugs at compile time. Second, Calyx, a modular compiler infrastructure that transforms high-level languages, like C++, Halide, and PyTorch, and optimizes them to produce efficient hardware designs. Together, these systems represent a first step towards an ecosystem for hardware design, where users seamlessly intermix high- and low-level abstractions, package up reusable components, and implement efficient accelerators. I will conclude by discussing next steps as well as the challenges with the complementary goal of designing programming abstractions for using accelerators.
Biography. Rachit Nigam (he/him) is a PhD student at Cornell University and a visiting scholar at MIT working on new programming systems for designing and using hardware accelerators. His research is supported by a Jane Street Fellowship and has been adopted by broad open-source communities such as the LLVM CIRCT project and by industrial teams at Google and Jane Street. Rachit is the founder of PLTea, a virtual, worldwide organization for people interested in programming languages.
Headshot. Click here for link.
Talk Logistics
Length. The expected length of my talk is 45-minutes excluding questions. Please let me know in advance if you would like a shorter or longer talk.
Presentation. I am planning to present my talk on my personal laptop which has HDMI and USB-C ports. If I am expected to present on a different laptop or need to connect to different display interfaces, please let me know ASAP.
Recording. In general, I am happy to have the talk recorded for internal use of your department. If your department is planning to publicly publish a version of my talk, please let me know in advance.
Accommodation Requests
I am currently recovering from a recent illness. I would appreciate the following accommodations.
Dietary Restrictions. I am not eating dairy, raw foods (sushi etc.), and extremely spicy foods. I am generally also avoiding extremely caffeinated drinks but am still happy to accompany folks to coffee or tea shops.
Schedule. I would like a 15-minute break every two hours to eat a light snack.