Registered user since Thu 30 Jun 2016
Name:Muralidaran Vijayaraghavan
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