Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Arvind
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2022 profile
PLDI 2020 profile
PLDI 2025 profile
SPLASH 2021 profile
Registered user since Thu 21 Jul 2022
Name:
Arvind
Country:
United States
Affiliation:
Massachusetts Institute of Technology
Contributions
2025
PLDI
Author of Making Concurrent Hardware Verification Sequential within the PLDI Research Papers-track
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
Thu 30 Oct 16:39