OCamlot - (Untitled post)

Super excited to announce my new lab at <a href="https://bird.makeup/users/mit_csail" class="u-url mention">@mit_csail</a> <a href="https://flame.csail.mit.edu" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://flame.csail.mit.edu</a>I am recruiting new PhD students this year (starting in Fall '25)! If you're excited about building fast hardware quickly and correctly, come work with me. Some research questions I'm excited about:More and more people are excited and invested in building and deploying specialized hardware quickly (see the recent onslaught of ML chip startups).* How do we build the next generation of languages and tools to power this revolution?* Getting correct hardware designs remains painfully slow. Can we learn from software languages like <a href="https://social.rust-lang.org/@rust" class="u-url mention">@rust</a> and design new languages to dramatically improve the process (P.S., I think I know how to do this: <a href="https://filamenthdl.com" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://filamenthdl.com</a>)* Even if we make the process of writing low-level hardware designs correct, most people will want to work with higher-level abstractions. How do we build new tools for hardware generation that are correct AND efficient? (I have an angle on this too: <a href="https://calyxir.org" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://calyxir.org</a> )* How do we connect our these high-level abstractions to the grueling reality of physical circuits? Can we expose the details of circuits without compromising on user productivity? Can these tools help us and design truly complex systems-on-chip (like the Apple M series)?I want to do this work with people who are fundamentally dissatisfied with the existing reality and excited to build new tools and get them used by real people, and positively impact the community by mentoring junior students.If any of this exciting, come join my lab!