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