Not registered as user yet

Name: Arvind

Affiliation: Massachusetts Institute of Technology, USA

ICFP 2017 Activities

• Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track in ICFP 2017
• Show activities from other conferences