1468:
1654:
1644:
1634:
403:
Arvind taught at IIT's Kanpur campus in 1977 and 1978. In 1978, he joined the MIT faculty. 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
491:
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.
499:(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.
562:
483:
He served as the
General Chair for the International Conference on Supercomputing held in Cambridge, Massachusetts in June 2005. He has also served as the Engineering and Computer Science Jury Chair for the
1704:
565:(1994), Distinguished Alumnus Award, I.I.T. Kanpur (1999), Distinguished Alumnus Award, University of Minnesota (2001), and the Outstanding Achievement Award from the University of Minnesota (2008).
1729:
1028:
1714:
858:
965:
792:
1724:
995:
272:
569:
691:
533:
Hari
Balakrishnan, Srinivas Devadas, Doug Ehlert, and Arvind, "Rate Guarantees and Overload Protection in Input-Queued Switches", IEEE Infocom, March 2004.
539:
Arvind, R.S. Nikhil, Daniel
Rosenband and Nirav Dave, "High-level synthesis: An Essential Ingredient for Designing Complex ASICs", ICCAD'04, November 2004
597:
280:
828:
1734:
1035:
1648:
906:
1719:
1694:
850:
957:
784:
643:
987:
880:
296:
1689:
276:
177:
695:
1062:
284:
431:
semiconductor company. He served as its president until his return to MIT in 2002. In 2006, Sandburst was acquired by
1532:
549:
1577:
1552:
731:
669:
397:
169:
573:
288:
173:
935:
420:
324:
400:, where he taught from 1974 to 1978, he became interested in computer architecture and programming languages.
1562:
1384:
1194:
593:
465:
709:
1709:
1226:
1179:
1159:
1101:
1021:
473:
447:
768:(TRS) that describes what the hardware does. The type system has been extended with types of numeric kind.
1234:
1172:
1141:
1080:
576:
in 2008 and was a member of the
Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT.
818:
530:
James Hoe and Arvind, "Operation-Centric
Hardware Descriptions and Synthesis", IEEE TCAD, September 2004
1699:
1602:
1165:
526:
Among the most significant and/or recent articles he authored or co-authored that have been published:
419:
in completing the
Monsoon dataflow machine and associated software. A dozen Monsoons were installed at
328:
1658:
1215:
1446:
1421:
1086:
377:) in 1969. In that process, he discovered that he was keenly interested in computers. Then, at the
427:
in
California. In 2000, Arvind took two years off from teaching at MIT to build Sandburst, Inc, a
1358:
647:
424:
378:
88:
898:
462:
443:
374:
1492:
1370:
765:
744:
HOPL III: Proceedings of the third ACM SIGPLAN conference on
History of programming languages
428:
347:
116:
1633:
496:
1684:
1679:
1627:
1467:
1364:
455:
432:
386:
340:
300:
268:
123:
96:
536:
Dan Rosenband and Arvind, "Modular Scheduling of Guarded Atomic Actions", DAC41, June 2004
8:
1262:
1129:
409:
370:
316:
304:
182:
107:
83:
1582:
1527:
1482:
1408:
1147:
1106:
780:
755:
735:
451:
336:
120:
651:
884:
382:
92:
759:
1542:
1320:
1303:
1271:
1092:
1067:
747:
746:. San Diego, California: Association for Computing Machinery. pp. 12-1–12-55.
393:
264:
237:
211:
159:
1557:
1309:
1295:
1278:
1202:
332:
1537:
1428:
320:
111:
1638:
1673:
1607:
1572:
1509:
1350:
1243:
739:
485:
819:"Arvind, longtime MIT professor and prolific computer scientist, dies at 77"
751:
543:
Arvind also served on the editorial board of several journals including the
1587:
1567:
227:
1597:
1209:
626:
48:
665:
1547:
1284:
727:
366:
79:
1013:
1453:
1402:
1333:
232:
931:
1592:
1240:
1053:
823:
439:
416:
359:
292:
188:
1186:
764:
is basically Haskell with some extra syntactic constructs for the
1705:
University of Minnesota College of Science and Engineering alumni
1328:
1153:
1044:
742:(9–10 June 2007). "A history of Haskell: being lazy with class".
713:
520:
469:
405:
256:
1501:
1439:
1434:
1396:
1339:
195:
476:
in general. He also worked with the Bluespec-related language
1414:
1390:
726:
263:, was an Indian computer scientist, the Johnson Professor of
1730:
Members of the United States National Academy of Engineering
201:
Models for the Comparison of Memory Management Algorithms
1117:
926:
924:
423:
and other universities before Monsoon was retired to the
346:
Past work was instrumental in the development of dynamic
1715:
2006 fellows of the Association for Computing Machinery
273:
Computer Science and Artificial Intelligence Laboratory
921:
415:
In 1992, Arvind and his CSAIL team collaborated with
1725:
Fellows of the American Academy of Arts and Sciences
988:"ACM Names Bluespec Founder Arvind 2006 ACM Fellow"
515:Along with R. S. Nikhil, Arvind published the book
396:on mathematical models of program behavior. At the
373:(B.Sc.) degree in technology (with an emphasis in
958:"Recipients of the Outstanding Achievement Award"
586:
568:He was selected as an IEEE Fellow in 1994 and an
519:in 2001. "pH" is a programming language based on
281:Institute of Electrical and Electronics Engineers
1671:
287:(ACM). He was also elected as a member into the
507:Arvind died on 17 June 2024, at the age of 77.
299:computing and the development of tools for the
903:Department of Computer Science and Engineering
523:with special support for parallel processing.
1029:
638:
636:
545:Journal of Parallel and Distributed Computing
779:
785:A History of Haskell: being lazy with class
684:
563:IEEE Computer Society Charles Babbage Award
472:variant extended to handle chip design and
385:(M.Sc.) in computer science in 1972, and a
1036:
1022:
633:
561:Arvind received the following awards: the
873:
694:. Bloomberg Businessweek. Archived from
392:Arvind conducted his thesis research in
362:of such languages on parallel machines.
128:Compiling languages on parallel machines
1043:
899:"Distinguished Alumni Award recipients"
702:
621:
619:
617:
615:
16:American computer scientist (1947–2024)
1672:
998:from the original on 17 September 2023
795:from the original on 19 September 2023
1735:Indian emigrants to the United States
1500:
1017:
861:from the original on 29 November 2020
672:from the original on 25 February 2021
600:from the original on 10 February 2008
389:(Ph.D.) in computer science in 1973.
315:Arvind's research interests included
277:Massachusetts Institute of Technology
178:Massachusetts Institute of Technology
816:
812:
810:
612:
255:(18 May 1947 – 17 June 2024), known
968:from the original on 5 October 2022
517:Implicit parallel programming in pH
285:Association for Computing Machinery
13:
658:
510:
14:
1746:
1720:American people of Indian descent
1695:MIT School of Engineering faculty
909:from the original on 20 June 2024
831:from the original on 19 June 2024
807:
550:Journal of Functional Programming
1653:
1652:
1643:
1642:
1632:
1466:
938:from the original on 1 June 2010
398:University of California, Irvine
170:University of California, Irvine
980:
950:
891:
843:
574:National Academy of Engineering
572:in 2006. He was elected to the
450:(EDA) synthesis toolsets. With
289:National Academy of Engineering
174:Indian Institutes of Technology
855:Infosys-science-foundation.com
773:
720:
421:Los Alamos National Laboratory
279:(MIT). He was a Fellow of the
1:
883:. IIT, Kanpur. Archived from
881:"N. Ramo Rao Chair Professor"
579:
495:Arvind's later research used
466:hardware description language
291:in 2008 for contributions to
1690:American computer scientists
962:University Awards and Honors
474:electronic design automation
448:electronic design automation
7:
964:. University of Minnesota.
905:. University of Minnesota.
851:"Infosys Prize - Jury 2020"
817:Zewe, Adam (18 June 2024).
10:
1751:
712:. Bluespec. Archived from
408:Visiting Professor at the
350:, two parallel languages,
1616:
1491:
1475:
1464:
1380:
1349:
1319:
1294:
1261:
1225:
1137:
1128:
1076:
1061:
1052:
594:"National Academies News"
556:
454:, Arvind codeveloped the
442:, Inc., headquartered in
310:
246:
220:
210:
194:
165:
155:
148:
140:
132:
103:
75:
67:
55:
30:
23:
1087:Glasgow Haskell Compiler
932:"CSAIL Arvind Biography"
668:. MIT. 28 October 1992.
502:
752:10.1145/1238844.1238856
692:"Sandburst Corporation"
648:University of Minnesota
425:Computer History Museum
379:University of Minnesota
115:Development of dynamic
89:University of Minnesota
596:. National Academies.
497:term-rewriting systems
463:functional programming
459:Bluespec SystemVerilog
446:. They produce proven
444:Waltham, Massachusetts
438:In 2003, he cofounded
375:electrical engineering
348:dataflow architectures
117:dataflow architectures
1113:York Haskell Compiler
887:on 27 September 2006.
766:term rewriting system
740:Wadler, Philip Wadler
429:fabless manufacturing
341:programming languages
124:programming languages
1628:Open-source software
461:(BSV), a high-level
456:programming language
433:Broadcom Corporation
387:Doctor of Philosophy
301:high-level synthesis
1710:Fellows of the IEEE
781:Peyton Jones, Simon
736:Peyton Jones, Simon
488:from 2019 onwards.
410:University of Tokyo
371:Bachelor of Science
317:formal verification
305:digital electronics
216:Richard Yerkes Kain
183:University of Tokyo
108:Formal verification
1583:Simon Peyton Jones
1528:Lennart Augustsson
1483:Real World Haskell
1148:Concurrent Haskell
789:Microsoft Research
698:on 5 October 2012.
452:Lennart Augustsson
339:architectures and
337:parallel computing
121:Parallel computing
1700:IIT Kanpur alumni
1667:
1666:
1659:Category:Software
1518:
1517:
1462:
1461:
1321:Windowing systems
1257:
1256:
1253:
1252:
1227:Electronic design
666:"MIT News Office"
394:operating systems
383:Master of Science
250:
249:
221:Doctoral students
150:Scientific career
1742:
1656:
1655:
1646:
1645:
1636:
1543:Andrew D. Gordon
1498:
1497:
1470:
1296:Package managers
1272:Haskell Platform
1135:
1134:
1093:Template Haskell
1074:
1073:
1059:
1058:
1038:
1031:
1024:
1015:
1014:
1008:
1007:
1005:
1003:
984:
978:
977:
975:
973:
954:
948:
947:
945:
943:
928:
919:
918:
916:
914:
895:
889:
888:
877:
871:
870:
868:
866:
847:
841:
840:
838:
836:
814:
805:
804:
802:
800:
777:
771:
770:
724:
718:
717:
716:on 18 June 2010.
710:"About Bluespec"
706:
700:
699:
688:
682:
681:
679:
677:
662:
656:
655:
654:on 18 June 2010.
650:. Archived from
640:
631:
630:
623:
610:
609:
607:
605:
590:
265:Computer Science
238:Keshav K Pingali
212:Doctoral advisor
206:
160:Computer science
62:
44:
42:
21:
20:
1750:
1749:
1745:
1744:
1743:
1741:
1740:
1739:
1670:
1669:
1668:
1663:
1649:Category:Family
1631:
1612:
1563:John MacFarlane
1558:John Launchbury
1514:
1487:
1471:
1458:
1376:
1345:
1315:
1290:
1249:
1221:
1124:
1081:Generic Haskell
1065:
1063:Implementations
1048:
1042:
1012:
1011:
1001:
999:
986:
985:
981:
971:
969:
956:
955:
951:
941:
939:
930:
929:
922:
912:
910:
897:
896:
892:
879:
878:
874:
864:
862:
849:
848:
844:
834:
832:
815:
808:
798:
796:
778:
774:
725:
721:
708:
707:
703:
690:
689:
685:
675:
673:
664:
663:
659:
642:
641:
634:
625:
624:
613:
603:
601:
592:
591:
587:
582:
559:
513:
511:Published works
505:
333:cache coherence
321:digital systems
319:of large-scale
313:
283:(IEEE) and the
275:(CSAIL) at the
242:
204:
187:
185:
181:
176:
172:
127:
119:
114:
112:digital systems
87:
60:
51:
46:
40:
38:
37:
36:
26:
17:
12:
11:
5:
1748:
1738:
1737:
1732:
1727:
1722:
1717:
1712:
1707:
1702:
1697:
1692:
1687:
1682:
1665:
1664:
1662:
1622:= discontinued
1617:
1614:
1613:
1611:
1610:
1605:
1603:Simon Thompson
1600:
1595:
1590:
1585:
1580:
1575:
1570:
1565:
1560:
1555:
1550:
1545:
1540:
1538:Jeremy Gibbons
1535:
1530:
1525:
1519:
1516:
1515:
1513:
1512:
1506:
1504:
1495:
1489:
1488:
1486:
1485:
1479:
1477:
1473:
1472:
1465:
1463:
1460:
1459:
1457:
1456:
1451:
1443:
1437:
1432:
1429:Liquid Haskell
1426:
1418:
1412:
1406:
1400:
1394:
1388:
1381:
1378:
1377:
1375:
1374:
1368:
1362:
1355:
1353:
1351:Web frameworks
1347:
1346:
1344:
1343:
1337:
1331:
1325:
1323:
1317:
1316:
1314:
1313:
1307:
1300:
1298:
1292:
1291:
1289:
1288:
1282:
1276:
1267:
1265:
1259:
1258:
1255:
1254:
1251:
1250:
1248:
1247:
1238:
1231:
1229:
1223:
1222:
1220:
1219:
1213:
1207:
1199:
1191:
1183:
1177:
1169:
1163:
1157:
1151:
1145:
1138:
1132:
1126:
1125:
1123:
1122:
1110:
1098:
1097:
1096:
1084:
1077:
1071:
1056:
1050:
1049:
1041:
1040:
1033:
1026:
1018:
1010:
1009:
979:
949:
920:
890:
872:
842:
806:
772:
719:
701:
683:
657:
632:
611:
584:
583:
581:
578:
558:
555:
541:
540:
537:
534:
531:
512:
509:
504:
501:
381:, he earned a
369:, he earned a
335:protocols for
323:using guarded
312:
309:
248:
247:
244:
243:
241:
240:
235:
230:
224:
222:
218:
217:
214:
208:
207:
198:
192:
191:
167:
163:
162:
157:
153:
152:
146:
145:
142:
138:
137:
134:
130:
129:
105:
104:Known for
101:
100:
77:
73:
72:
69:
65:
64:
63:(aged 77)
57:
53:
52:
47:
34:
32:
28:
27:
24:
15:
9:
6:
4:
3:
2:
1747:
1736:
1733:
1731:
1728:
1726:
1723:
1721:
1718:
1716:
1713:
1711:
1708:
1706:
1703:
1701:
1698:
1696:
1693:
1691:
1688:
1686:
1683:
1681:
1678:
1677:
1675:
1661:
1660:
1651:
1650:
1641:
1640:
1635:
1630:
1629:
1624:
1623:
1620:
1615:
1609:
1608:Philip Wadler
1606:
1604:
1601:
1599:
1596:
1594:
1591:
1589:
1586:
1584:
1581:
1579:
1576:
1574:
1573:Conor McBride
1571:
1569:
1566:
1564:
1561:
1559:
1556:
1554:
1551:
1549:
1546:
1544:
1541:
1539:
1536:
1534:
1531:
1529:
1526:
1524:
1521:
1520:
1511:
1510:Haskell Curry
1508:
1507:
1505:
1503:
1499:
1496:
1494:
1490:
1484:
1481:
1480:
1478:
1474:
1469:
1455:
1452:
1449:
1448:
1444:
1441:
1438:
1436:
1433:
1430:
1427:
1424:
1423:
1419:
1416:
1413:
1410:
1407:
1404:
1401:
1398:
1395:
1392:
1389:
1386:
1383:
1382:
1379:
1372:
1369:
1366:
1363:
1360:
1357:
1356:
1354:
1352:
1348:
1341:
1338:
1335:
1332:
1330:
1327:
1326:
1324:
1322:
1318:
1311:
1308:
1305:
1302:
1301:
1299:
1297:
1293:
1286:
1283:
1280:
1277:
1274:
1273:
1269:
1268:
1266:
1264:
1260:
1245:
1244:SystemVerilog
1242:
1239:
1236:
1233:
1232:
1230:
1228:
1224:
1217:
1214:
1211:
1208:
1205:
1204:
1200:
1197:
1196:
1192:
1189:
1188:
1184:
1181:
1178:
1175:
1174:
1170:
1167:
1164:
1161:
1158:
1155:
1152:
1149:
1146:
1143:
1140:
1139:
1136:
1133:
1131:
1127:
1120:
1119:
1114:
1111:
1108:
1104:
1103:
1099:
1094:
1091:
1090:
1088:
1085:
1082:
1079:
1078:
1075:
1072:
1069:
1064:
1060:
1057:
1055:
1051:
1046:
1039:
1034:
1032:
1027:
1025:
1020:
1019:
1016:
997:
993:
989:
983:
967:
963:
959:
953:
937:
933:
927:
925:
908:
904:
900:
894:
886:
882:
876:
860:
856:
852:
846:
830:
826:
825:
820:
813:
811:
794:
790:
786:
783:(June 2007).
782:
776:
769:
767:
761:
757:
753:
749:
745:
741:
737:
733:
729:
723:
715:
711:
705:
697:
693:
687:
671:
667:
661:
653:
649:
645:
639:
637:
628:
622:
620:
618:
616:
599:
595:
589:
585:
577:
575:
571:
566:
564:
554:
552:
551:
546:
538:
535:
532:
529:
528:
527:
524:
522:
518:
508:
500:
498:
493:
489:
487:
486:Infosys Prize
481:
479:
475:
471:
468:, which is a
467:
464:
460:
457:
453:
449:
445:
441:
436:
434:
430:
426:
422:
418:
413:
411:
407:
401:
399:
395:
390:
388:
384:
380:
376:
372:
368:
363:
361:
357:
353:
349:
344:
342:
338:
334:
330:
329:memory models
326:
322:
318:
308:
306:
302:
298:
294:
290:
286:
282:
278:
274:
270:
266:
262:
258:
254:
253:Arvind Mithal
245:
239:
236:
234:
231:
229:
226:
225:
223:
219:
215:
213:
209:
202:
199:
197:
193:
190:
184:
179:
175:
171:
168:
164:
161:
158:
154:
151:
147:
143:
139:
135:
131:
125:
122:
118:
113:
109:
106:
102:
98:
94:
90:
85:
81:
78:
74:
70:
66:
58:
54:
50:
35:Arvind Mithal
33:
29:
22:
19:
1657:
1647:
1637:
1625:
1621:
1618:
1588:David Roundy
1568:Simon Marlow
1533:Richard Bird
1522:
1445:
1420:
1270:
1201:
1193:
1185:
1171:
1116:
1112:
1100:
1000:. Retrieved
991:
982:
970:. Retrieved
961:
952:
940:. Retrieved
911:. Retrieved
902:
893:
885:the original
875:
863:. Retrieved
854:
845:
833:. Retrieved
822:
799:16 September
797:. Retrieved
788:
775:
763:
743:
732:Hughes, John
722:
714:the original
704:
696:the original
686:
674:. Retrieved
660:
652:the original
627:"CSAIL, MIT"
602:. Retrieved
588:
567:
560:
548:
544:
542:
525:
516:
514:
506:
494:
490:
482:
477:
458:
437:
414:
402:
391:
364:
355:
351:
345:
314:
260:
257:mononymously
252:
251:
228:David Culler
200:
166:Institutions
149:
61:(2024-06-17)
59:17 June 2024
18:
1685:2024 deaths
1680:1947 births
1598:Audrey Tang
1578:Erik Meijer
1553:John Hughes
1210:TidalCycles
1047:programming
728:Hudak, Paul
297:multithread
269:Engineering
84:B.Sc., 1969
68:Nationality
45:18 May 1947
1674:Categories
1548:Paul Hudak
1285:QuickCheck
865:9 December
791:(Report).
644:"UMN News"
604:8 February
580:References
570:ACM Fellow
547:, and the
367:IIT Kanpur
358:, and the
307:hardware.
136:Gita Singh
80:IIT Kanpur
41:1947-05-18
1493:Community
1454:SQream DB
1403:git-annex
1334:wxHaskell
1263:Libraries
942:17 August
360:compiling
327:actions,
233:James Hoe
186:Sandburst
110:of large
76:Education
1593:Joe Stoy
1241:Bluespec
1130:Dialects
1068:features
1054:Software
996:Archived
966:Archived
936:Archived
907:Archived
859:Archived
829:Archived
824:MIT News
793:Archived
760:52847907
676:26 March
670:Archived
598:Archived
478:Minispec
440:Bluespec
417:Motorola
293:dataflow
189:Bluespec
141:Children
95:, 1972,
1619:Italics
1447:Paradox
1409:Haddock
1385:Cardano
1359:Servant
1329:Fudgets
1154:Cryptol
1045:Haskell
992:EDACafe
934:. MIT.
835:19 June
827:. MIT.
521:Haskell
470:Haskell
406:Fujitsu
271:in the
99:, 1973)
1523:Arvind
1502:Eponym
1440:Pandoc
1435:LOLITA
1397:Ganeti
1340:xmonad
1279:Parsec
1195:Orwell
1002:1 July
972:1 July
913:1 July
758:
629:. MIT.
557:Awards
331:, and
325:atomic
311:Career
261:Arvind
205:(1973)
203:
196:Thesis
156:Fields
133:Spouse
126:Id, pH
71:Indian
25:Arvind
1422:House
1415:HaXml
1391:Darcs
1371:Yesod
1310:Stack
1304:Cabal
1246:(BSV)
1187:Ωmega
1180:Idris
1160:Curry
1102:Gofer
756:S2CID
503:Death
180:(MIT)
97:Ph.D.
49:India
1639:Book
1626:° =
1476:Book
1365:Snap
1235:Atom
1203:Pugs
1173:Hume
1142:Agda
1107:Hugs
1105:° →
1004:2022
974:2022
944:2010
915:2022
867:2020
837:2024
801:2023
678:2021
606:2008
354:and
295:and
267:and
93:M.S.
56:Died
31:Born
1166:Elm
1118:Yhc
1115:° (
748:doi
365:At
303:of
259:as
1676::
1216:Ur
1089:°
994:.
990:.
960:.
923:^
901:.
857:.
853:.
821:.
809:^
787:.
762:.
754:.
738:;
734:;
730:;
646:.
635:^
614:^
553:.
480:.
435:.
412:.
356:pH
352:Id
343:.
1450:°
1442:°
1431:°
1425:°
1417:°
1411:°
1405:°
1399:°
1393:°
1387:°
1373:°
1367:°
1361:°
1342:°
1336:°
1312:°
1306:°
1287:°
1281:°
1275:°
1237:°
1218:°
1212:°
1206:°
1198:°
1190:°
1182:°
1176:°
1168:°
1162:°
1156:°
1150:°
1144:°
1121:)
1109:°
1095:°
1083:°
1070:)
1066:(
1037:e
1030:t
1023:v
1006:.
976:.
946:.
917:.
869:.
839:.
803:.
750::
680:.
608:.
144:2
91:(
86:)
82:(
43:)
39:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.