Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Arvind
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2022 profile
PLDI 2020 profile
SPLASH 2021 profile
Registered user since Thu 21 Jul 2022
Name:
Arvind
Affiliation:
Massachusetts Institute of Technology, USA
Contributions
2022
ICFP
Author of Fireside Chat with Arvind and Guy Steele within the ICFP Papers and Events-track
2021
SPLASH
Author of The Essence of Bluespec: A Core Language for Rule-Based Hardware Design within the SIGPLAN Papers-track
2020
PLDI
Author of The Essence of Bluespec: A Core Language for Rule-Based Hardware Design within the PLDI Research Papers-track
2017
ICFP
Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track
Share
x
Wed 4 Dec 23:07