Arvind (computer scientist)

Indian computer scientist (1947–2024)

Arvind

Born|

Arvind Mithal

(1947-05-18)18 May 1947

India

Died| 17 June 2024(2024-06-17) (aged 77)
Nationality| Indian
Education| IIT Kanpur (B.Sc., 1969)
University of Minnesota (M.S., 1972, Ph.D., 1973)
Known for| Formal verification of large digital systems
Development of dynamic dataflow architectures
Parallel computing programming languages Id, pH
Compiling languages on parallel machines
Spouse| Gita Singh
Children| 2
Scientific career
Fields| Computer science
Institutions| University of California, Irvine
Indian Institutes of Technology
Massachusetts Institute of Technology (MIT)
University of Tokyo
Sandburst
Bluespec
Thesis|  Models for the Comparison of Memory Management Algorithms  (1973)
Doctoral advisor| Richard Yerkes Kain
Doctoral students|

* David Culler
* James Hoe
* Keshav K Pingali

Arvind Mithal (18 May 1947 – 17 June 2024), known mononymously as Arvind, was an Indian computer scientist, the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at the Massachusetts Institute of Technology (MIT). 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.

## Career

[edit]

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.[2]

Past work was instrumental in the development of dynamic dataflow architectures, two parallel languages, Id and pH, and the compiling of such languages on parallel machines.[2]

At IIT Kanpur, he earned a Bachelor of Science (B.Sc.) degree in technology (with an emphasis in electrical engineering) in 1969. In that process, he discovered that he was keenly interested in computers. Then, at the University of Minnesota, he earned a Master of Science (M.Sc.) in computer science in 1972, and a Doctor of Philosophy (Ph.D.) in computer science in 1973.[3]

Arvind conducted his thesis research in operating systems on mathematical models of program behavior. At the University of California, Irvine, where he taught from 1974 to 1978,[2] he became interested in computer architecture and programming languages.[3]

Arvind taught at IIT's Kanpur campus in 1977 and 1978.[2] In 1978, he joined the MIT faculty.[4] He served as the Chief Technical Advisor to the United-Nations-sponsored Knowledge Based Computer Systems project in India from 1986 to 1992. During 1992–93, he was the Fujitsu Visiting Professor at the University of Tokyo.[citation needed]

In 1992, Arvind and his CSAIL team collaborated with Motorola in completing the Monsoon dataflow machine and associated software. A dozen Monsoons were installed at Los Alamos National Laboratory and other universities before Monsoon was retired to the Computer History Museum in California. In 2000, Arvind took two years off from teaching at MIT to build Sandburst, Inc, a fabless manufacturing semiconductor company. He served as its president until his return to MIT in 2002.[citation needed] In 2006, Sandburst was acquired by Broadcom Corporation.[5]

In 2003, he cofounded Bluespec, Inc., headquartered in Waltham, Massachusetts. They produce proven electronic design automation (EDA) synthesis toolsets.[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.[7][8] He also worked with the Bluespec-related language Minispec.[9]

He served as the General Chair for the International Conference on Supercomputing held in Cambridge, Massachusetts in June 2005.[citation needed] He has also served as the Engineering and Computer Science Jury Chair for the Infosys Prize from 2019 onwards.[10]

Arvind was the first to occupy the N. Rama Rao Chair in the Department of Computer Science and Engineering at IIT. He served as chair from 1998 to 1999. Also during this time he taught a few weeks each semester at the CSE department of IIT, Kanpur.[11]

Arvind's later research used term-rewriting systems (TRSs) for high-level specification and description of architectures and protocols. The Computation Structures Group at MIT, which he headed, uses TRSs to design faster hardware and allow for more exploration of designs.[citation needed]

## Death

[edit]

Arvind died on 17 June 2024, at the age of 77.[9]

## Published works

[edit]

Along with R. S. Nikhil, Arvind published the book Implicit parallel programming in pH in 2001. "pH" is a programming language based on Haskell with special support for parallel processing.

Among the most significant and/or recent articles he authored or co-authored that have been published:

* James Hoe and Arvind, "Operation-Centric Hardware Descriptions and Synthesis", IEEE TCAD, September 2004
* Hari Balakrishnan, Srinivas Devadas, Doug Ehlert, and Arvind, "Rate Guarantees and Overload Protection in Input-Queued Switches", IEEE Infocom, March 2004.
* Dan Rosenband and Arvind, "Modular Scheduling of Guarded Atomic Actions", DAC41, June 2004
* Arvind, R.S. Nikhil, Daniel Rosenband and Nirav Dave, "High-level synthesis: An Essential Ingredient for Designing Complex ASICs", ICCAD'04, November 2004

Arvind also served on the editorial board of several journals including the Journal of Parallel and Distributed Computing, and the Journal of Functional Programming.

## Awards

[edit]

Arvind received the following awards: the IEEE Computer Society Charles Babbage Award (1994), Distinguished Alumnus Award, I.I.T. Kanpur (1999), Distinguished Alumnus Award, University of Minnesota (2001),[12] and the Outstanding Achievement Award from the University of Minnesota (2008).[13][14]

He was selected as an IEEE Fellow in 1994 and an ACM Fellow in 2006.[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.[13]

## References

[edit]

1. ^ "National Academies News". National Academies. Archived from the original on 10 February 2008. Retrieved 8 February 2008.
2. ^ a b c d "CSAIL, MIT". MIT.
3. ^ a b "UMN News". University of Minnesota. Archived from the original on 18 June 2010.
4. ^ "MIT News Office". MIT. 28 October 1992. Archived from the original on 25 February 2021. Retrieved 26 March 2021.
5. ^ "Sandburst Corporation". Bloomberg Businessweek. Archived from the original on 5 October 2012.
6. ^ "About Bluespec". Bluespec. Archived from the original on 18 June 2010.
7. ^ Hudak, Paul; Hughes, John; Peyton Jones, Simon; Wadler, Philip Wadler (9–10 June 2007). "A history of Haskell: being lazy with class". HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages. San Diego, California: Association for Computing Machinery. pp. 12-1 – 12-55. doi:10.1145/1238844.1238856. S2CID 52847907. "[it] is basically Haskell with some extra syntactic constructs for the term rewriting system (TRS) that describes what the hardware does. The type system has been extended with types of numeric kind."
8. ^ Peyton Jones, Simon (June 2007). A History of Haskell: being lazy with class. Microsoft Research (Report). Archived from the original on 19 September 2023. Retrieved 16 September 2023.
9. ^ a b Zewe, Adam (18 June 2024). "Arvind, longtime MIT professor and prolific computer scientist, dies at 77". MIT News. MIT. Archived from the original on 19 June 2024. Retrieved 19 June 2024.
10. ^ "Infosys Prize - Jury 2020". Infosys-science-foundation.com. Archived from the original on 29 November 2020. Retrieved 9 December 2020.
11. ^ "N. Ramo Rao Chair Professor". IIT, Kanpur. Archived from the original on 27 September 2006.
12. ^ "Distinguished Alumni Award recipients". Department of Computer Science and Engineering. University of Minnesota. Archived from the original on 20 June 2024. Retrieved 1 July 2022.
13. ^ a b "CSAIL Arvind Biography". MIT. Archived from the original on 1 June 2010. Retrieved 17 August 2010.
14. ^ "Recipients of the Outstanding Achievement Award". University Awards and Honors. University of Minnesota. Archived from the original on 5 October 2022. Retrieved 1 July 2022.
15. ^ "ACM Names Bluespec Founder Arvind 2006 ACM Fellow". EDACafe. Archived from the original on 17 September 2023. Retrieved 1 July 2022.

* v
* t
* e

Haskell programming

Software|

| Implementations
(features)|

* Generic Haskell°
* Glasgow Haskell Compiler°
* Template Haskell°
* Gofer° → Hugs°
* York Haskell Compiler° (Yhc)

Dialects|

* Agda°
* Cryptol°
* Curry°
* Elm°
* Hume°
* Idris°
* Ωmega°
* Orwell°
* Pugs°
* TidalCycles°
* Ur°

Electronic design|

* Atom°
* Bluespec SystemVerilog (BSV)

Libraries|

* Concurrent Haskell°
* Haskell Platform°
* Parsec°
* QuickCheck°

Package managers|

* Cabal°
* Stack°

Windowing systems|

* Fudgets
* wxHaskell°
* xmonad°

Web frameworks|

* Servant°
* Snap°
* Yesod°

* Cardano°
* Darcs°
* Ganeti°
* git-annex°
* Haddock°
* HaXml°
* House°
* Liquid Haskell°
* LOLITA
* Pandoc°
* Paradox°
* SQream DB

Book|

* Real World Haskell

Community|

| Eponym|

* Haskell Curry

|

* Arvind
* Lennart Augustsson
* Richard Bird
* Jeremy Gibbons
* Andrew D. Gordon
* Paul Hudak
* John Hughes
* John Launchbury
* John MacFarlane
* Simon Marlow
* Conor McBride
* Erik Meijer
* Simon Peyton Jones
* David Roundy
* Joe Stoy
* Audrey Tang
* Simon Thompson
* Philip Wadler

Italics = discontinued

* ° = Open-source software
Book Category:Family Category:Software

Authority control databases

International|

* VIAF

National|

* Czech Republic

Academics|

* Mathematics Genealogy Project
* Association for Computing Machinery
* Google Scholar
* DBLP

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template