Registered user since Thu 21 Jul 2022
Name: Arvind
Affiliation:Massachusetts Institute of Technology, USA
Contributions
ICFP 2017 | Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2017-profile
View general profile
View general profile