Arvind -

Registered user since Thu 21 Jul 2022

Name: Arvind

Affiliation:Massachusetts Institute of Technology, USA

Contributions

ICFP 2022	Author of Fireside Chat with Arvind and Guy Steele within the ICFP Papers and Events-track
SPLASH 2021	Author of The Essence of Bluespec: A Core Language for Rule-Based Hardware Design within the SIGPLAN Papers-track
PLDI 2020	Author of The Essence of Bluespec: A Core Language for Rule-Based Hardware Design within the PLDI Research Papers-track
ICFP 2017	Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track