Biography: Arvind

 

Computer Science and Artificial Intelligence Laboratory

32-866, The Stata Center, MIT

32 Vassar St, Cambridge, MA  02139

Phone: +1 (617) 253-6090; Fax: +1 (617) 253 6652;

Email: arvind@mit.edu

http://www.csg.csail.mit.edu/Users/arvind/

 

Arvind is the Johnson Professor of Computer Science and Engineering at the Massachusetts Institute of Technology and a member of CSAIL (Computer Science and Artificial Intelligence Laboratory). From 1974 to 1978, prior to coming to MIT, he taught at the University of California, Irvine. Arvind received his M.S. and Ph.D. in Computer Science from the University of Minnesota in 1972 and 1973, respectively. He received his B. Tech. in Electrical Engineering from the Indian Institute of Technology, Kanpur, in 1969, and also taught there from 1977-78.

 

Arvind's current research interests are synthesis and verification of large digital systems described using Guarded Atomic Actions; and Memory Models and Cache Coherence Protocols for parallel architectures and languages.

 

In the past, Arvind's research interests have included all aspects of parallel computing and declarative programming languages. He has contributed to the development of dynamic dataflow architectures, the implicitly parallel programming languages Id and pH, and the compilation of these types of languages on parallel machines. Dr. R. S. Nikhil and Arvind published the book "Implicit parallel programming in pH" in 2001.

 

In 1992, Arvind's group, in collaboration with Motorola, completed the Monsoon dataflow machine and its associated software. A dozen of these machines were built and installed at Los Alamos National Labs and other universities, before Monsoon was retired to the Computer Museum in California.

 

In 2000, Arvind took a two-year leave of absence to start Sandburst, a fabless semiconductor company to produce a chip set for 10G-bit Ethernet routers. He served as its President until his return to MIT in September 2002. Sandburst was acquired by Broadcom in 2006. In 2003, Arvind co-founded Bluespec Inc, an EDA company to produce a set of tools for high-level synthesis, and serves on its board.

 

Arvind has served on the editorial board of many journals including the Journal of Parallel and Distributed Computing, and the Journal of Functional Programming. He has chaired and served on the program committee of many meetings sponsored by ACM and IEEE. From 1986-92, he was the Chief Technical Advisor for the UN sponsored Knowledge Based Computer Systems project in India. During 1992-93 Arvind was the Fujitsu Visiting Professor at the University of Tokyo.  Arvind managed the Nokia-CSAIL research collaboration from 2006-2010. Since 2009, Arvind is also WCU (World Class University) Distinguished Professor at the Seoul National University.

 

Arvind has delivered more than hundred keynote and distinguished lectures.

 

Awards

 

IEEE Charles Babbage Outstanding Scientist Award (1994).

IEEE – Fellow (1994);

ACM – Fellow (2007)

Distinguished Alumnus Award, I.I.T. Kanpur (1999)

Distinguished Alumnus Award, University of Minnesota (2001)

National Academy of Engineering, Member (2008)

Outstanding Achievement Award, University of Minnesota (2008)

IEEE Computer Society Harry Goode Memorial Award (2012)

American Association of Arts and Sciences, Member (2012)

 

Salient Recent Publications

 

1.      Arvind and Jan-Willem Maessen, “Memory Models = Instruction Reordering + Store Atomicity”, In Proceedings of the 33rd International Symposium on Computer Architecture (ISCA 33), Boston, MA, June 2006.

2.      Nirav Dave, Arvind and Michael Pellauer, “Scheduling as Rule Composition”, In Proceedings of the MEMOCODE 5, Nice, France, May 2007.

3.      Arvind, Nirav Dave, and Michael Katelman, “Getting Formal Verification into Design Flow”, In Proceedings of the Formal Methods 15 (FM 15), LNCS 5014, Turku, Finland. May 26-30, 2008.

4.      Kermin Elliott Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks, “Design Exploration in H.264”, In Proceedings of the MEMOCODE  6, Anaheim, CA, June 2008.

5.      Michal Karczmarek and Arvind, “Synthesis from Multi-Cycle Atomic Actions as a Solution to the Timing Closure Problem”, In Proceedings of the ICCAD 2008, Santa Clara, CA, November 2008.

6.      Muralidaran Vijayaraghavan, and Arvind, “Bounded Dataflow Networks and Latency-Insensitive Circuits”, In Proceedings of the MEMOCODE  7, MIT, Cambridge, MA July 13-15 2009.

7.      Abhinav Agarwal, Man Cheuk Ng, and Arvind “A Comparative Evaluation of High-Level Hardware Synthesis Using Reed-Solomon Decoder”, IEEE ESL Journal, Vol 2, Issue 3, September 2010.

8.      Man Cheuk Ng, Kermin Elliott Fleming, Mythili Vutukuru, Samuel Gross, Arvind, and Hari Balakrishnan, “Layering for Cross-Layer Wireless Protocols”, In Proceedings of Architectures for Networking and Communications Systems (ANCS 2010), San Diego, CA, October 25-26, 2010. ( Best paper award)

9.      Nirav Dave, Michael Katelman, Myron King, Arvind, and Jose Meseguer, “Verification of Microarchitectural Refinements in Rule-based Systems”, In Proceedings of the MEMOCODE 9, Cambridge, UK, July 11-13, 2011.

10.  Myron King, Nirav Dave, and Arvind, “Automatic Generation of Hardware/Software Interfaces”  in Proceedings of Architectural Support for Programming Languages and Operating Systems 2012, London, UK, March 5-7, 2012

11.  Asif Khan, Muralidaran Vijayaraghavan, Silas Boyd-Wickizer and Arvind, “Fast and Cycle-Accurate Modeling of a Multicore Processor”, in Proceedings of 2012 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), New Brunswick, NJ, April 1-3, 2012