He was a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and the Association for Computing Machinery (ACM).
He was also elected as a member into the National Academy of Engineering in 2008[1] for contributions to dataflow and multithread computing and the development of tools for the high-level synthesis of digital electronics hardware.
Arvind's research interests included formal verification of large-scale digital systems using guarded atomic actions, memory models, and cache coherence protocols for parallel computing architectures and programming languages.
[4] He served as the Chief Technical Advisor to the United-Nations-sponsored Knowledge Based Computer Systems project in India from 1986 to 1992.
[citation needed] In 1992, Arvind and his CSAIL team collaborated with Motorola in completing the Monsoon dataflow machine and associated software.
[6] With Lennart Augustsson, Arvind codeveloped the programming language Bluespec SystemVerilog (BSV), a high-level functional programming hardware description language, which is a Haskell variant extended to handle chip design and electronic design automation in general.
[citation needed] He has also served as the Engineering and Computer Science Jury Chair for the Infosys Prize from 2019 onwards.
[15] He was elected to the National Academy of Engineering in 2008 and was a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT.