Seminar
Fall 2026
The architecture seminar convenes researchers from academia and industry to discuss computer architecture, systems, machine learning infrastructure, and adjacent hardware research.
| Date | Speaker | Talk | Host |
|---|---|---|---|
| Rachit & Courtney | Seminar Kickoff! | ||
| Joonhyup | Formal Verification with AI | ||
| Michael & Tanner | The Turbo-Charged Mapper: Fast and Optimal Mapping for Energy-efficient and Low-latency Accelerator Design | ||
| Research Speed-Meetings | |||
| Christos | MICRO Practice Talk | ||
| Liam & Armaan | Developing a RISC-V Softcore in Chisel | ||
| Yuheng | RTL Verification with Model Checkers | ||
| PLDI Feedback Session | |||
| ISCA Feedback Session | |||
| Nikil ShyamsunderCornell University | Specifying Hardware Communication as Programs | Rachit Nigam | |
| Sridevi LalithaTBD | TBD | Mengjia Yan | |
| Monica | TBD |