1673:
1663:
1643:
1633:
1653:
240:) to a researcher whose research career began within 20 years of the nomination date. The award citation describes Krishnamurthi as "a prolific researcher who brings programming language theory to bear in many other disciplines, thus exposing its foundational value". He also won the SIGSOFT Influential Educator Award.
1324:
477:
1233:
1707:
1330:
727:
1702:
1677:
1637:
960:
1712:
470:
1318:
504:
1667:
1657:
1369:
607:
397:
233:
1445:
1425:
1335:
1179:
509:
463:
1722:
996:
1647:
1717:
1440:
1404:
743:
764:
748:
593:
540:
1513:
1105:
797:
718:
333:
175:
64:
1287:
951:
774:
545:
1551:
1099:
866:
812:
789:
753:
573:
486:
225:, in support of asynchronous web programming. Krishnamurthi also authored a textbook on programming language design.
1061:
1041:
1026:
1011:
931:
1482:
1114:
986:
708:
582:
1642:
1399:
1212:
822:
555:
529:
353:
202:
178:, responsible for creation of software packages including the Debugger, the FrTime package, and the networking
46:
1574:
210:
1697:
1217:
1056:
702:
667:
640:
1228:
1184:
1162:
684:
519:
214:
205:
systems in the presence of first-class modules. Starting from this topic, Krishnamurthi has moved into
1430:
1384:
1152:
218:
206:
190:
183:
635:
563:
179:
72:
1536:
1521:
1473:
1379:
662:
616:
198:
131:
418:
1612:
1531:
1498:
1132:
1016:
361:
109:
1478:
1450:
1364:
1282:
1091:
171:
167:
126:
119:
105:
1589:
1584:
1359:
1250:
801:
673:
656:
194:
51:
217:, web-based interactive programming, and more. His most recent effort is a time-oriented
347:
1579:
1569:
1564:
1503:
1374:
779:
514:
1691:
1541:
1488:
1468:
1420:
1389:
1071:
357:
228:
Krishnamurthi has won several awards. In 2012, he became the inaugural winner of the
1607:
1140:
550:
534:
1559:
1493:
1460:
1412:
1394:
1145:
955:
738:
625:
588:
524:
1435:
1292:
1277:
1076:
977:
967:
827:
651:
329:
1297:
991:
807:
784:
759:
679:
455:
306:
282:
1081:
1066:
1051:
941:
936:
884:
845:
558:
68:
385:
1302:
1223:
1046:
1036:
1021:
981:
946:
889:
879:
874:
769:
391:
365:
237:
229:
222:
86:
76:
186:, a project to integrate computer science education into grades 6–12.
1599:
1109:
1006:
972:
918:
907:
899:
837:
733:
697:
1189:
1031:
1001:
913:
646:
182:. Since 2006, Krishnamurthi has been a leading contributor to the
1119:
817:
689:
459:
258:
448:
146:
1325:
MIT Computer
Science and Artificial Intelligence Laboratory
236:'s (ACM) Special Interest Group on Programming Languages (
259:"Shriram Krishnamurthi: Professor of Computer Science"
349:
Programming
Languages: Application and Interpretation
1598:
1550:
1512:
1459:
1348:
1311:
1270:
1263:
1243:
1205:
1198:
1172:
1161:
1131:
1090:
898:
865:
858:
836:
717:
624:
615:
606:
572:
493:
174:and a member of the core development group for the
141:
125:
115:
101:
82:
60:
39:
31:
18:
423:ACM Special Interest Group on Software Engineering
166:is a computer scientist, currently a professor of
1234:Structure and Interpretation of Computer Programs
390:Special Interest Group on Programming Languages (
87:SIGPLAN 2012 Robin Milner Young Researcher Award
201:. His dissertation is on linguistic reuse and
471:
8:
1331:Stanford Artificial Intelligence Laboratory
425:. Association for Computing Machinery. 2018
230:SIGPLAN Robin Milner Young Researcher Award
1632:
1352:
1267:
1202:
1169:
862:
621:
612:
497:
478:
464:
456:
15:
249:
1319:Massachusetts Institute of Technology
386:"Robin Milner Young Researcher Award"
7:
1652:
346:Krishnamurthi, Shriram (2003–2007).
263:Computer Science at Brown University
398:Association for Computing Machinery
234:Association for Computing Machinery
1708:Lisp (programming language) people
1336:University of California, Berkeley
1180:Scheme Requests for Implementation
90:SIGSOFT Influential Educator Award
14:
997:Knowledge Engineering Environment
209:and is working on topics such as
1703:Programming language researchers
1672:
1671:
1662:
1661:
1651:
1641:
1631:
197:in 2000, under the direction of
1713:Ohio Wesleyan University alumni
1:
1106:Common Lisp Interface Manager
334:Mathematics Genealogy Project
505:Automatic storage management
419:"Influential Educator Award"
176:Racket programming languages
754:Game Oriented Assembly Lisp
189:Krishnamurthi received his
1739:
1629:
1355:
583:Common Lisp Object System
500:
487:Lisp programming language
137:
94:
1723:Brown University faculty
1283:Bolt, Beranek and Newman
1213:Common Lisp the Language
354:Providence, Rhode Island
257:Krishnamurthi, Shriram.
47:Ohio Wesleyan University
1718:Rice University alumni
1218:How to Design Programs
1057:Portable Standard Lisp
703:Steel Bank Common Lisp
668:Embeddable Common Lisp
641:Armed Bear Common Lisp
520:Higher-order functions
307:"Bootstrap: Community"
1527:Shriram Krishnamurthi
1229:Practical Common Lisp
1185:Common Lisp HyperSpec
709:Symbolics Common Lisp
685:Macintosh Common Lisp
360:: Perfect Paperback.
330:Shriram Krishnamurthi
164:Shriram Krishnamurthi
71:, FrTime, networking
23:Shriram Krishnamurthi
1431:Robert Tappan Morris
1385:Robert Bruce Findler
1153:Space-cadet keyboard
564:Tree data structures
541:Read–eval–print loop
219:programming language
213:, modularization of
207:software engineering
184:Bootstrap curriculum
1173:Technical standards
636:Allegro Common Lisp
1537:Gerald Jay Sussman
1522:Matthias Felleisen
1474:Richard P. Gabriel
1405:Richard Greenblatt
1380:Matthias Felleisen
663:Corman Common Lisp
199:Matthias Felleisen
132:Matthias Felleisen
1685:
1684:
1625:
1624:
1621:
1620:
1613:Robin Popplestone
1532:Guy L. Steele Jr.
1499:Guy L. Steele Jr.
1344:
1343:
1259:
1258:
1127:
1126:
1017:Lisp Machine Lisp
927:
926:
854:
853:
602:
601:
161:
160:
110:Computer literacy
96:Scientific career
1730:
1675:
1674:
1665:
1664:
1655:
1654:
1645:
1635:
1634:
1479:Philip Greenspun
1451:Richard Stallman
1365:Daniel G. Bobrow
1353:
1268:
1203:
1170:
1092:Operating system
863:
622:
613:
498:
480:
473:
466:
457:
452:
451:
449:Official website
434:
433:
431:
430:
415:
409:
408:
406:
405:
382:
376:
375:
373:
372:
343:
337:
327:
321:
320:
318:
317:
303:
297:
296:
294:
293:
279:
273:
272:
270:
269:
254:
172:Brown University
168:computer science
157:
154:
152:
150:
148:
127:Doctoral advisor
120:Brown University
106:Computer science
16:
1738:
1737:
1733:
1732:
1731:
1729:
1728:
1727:
1688:
1687:
1686:
1681:
1617:
1594:
1590:Cynthia Solomon
1585:Mitchel Resnick
1546:
1508:
1455:
1409:Timothy P. Hart
1370:William Clinger
1360:Edmund Berkeley
1340:
1307:
1255:
1251:ProgramByDesign
1239:
1194:
1164:
1157:
1123:
1086:
923:
894:
850:
832:
713:
674:GNU Common Lisp
657:CMU Common Lisp
627:
608:Implementations
598:
568:
489:
484:
447:
446:
443:
438:
437:
428:
426:
417:
416:
412:
403:
401:
384:
383:
379:
370:
368:
345:
344:
340:
328:
324:
315:
313:
305:
304:
300:
291:
289:
287:Racket-lang.org
283:"Racket People"
281:
280:
276:
267:
265:
256:
255:
251:
246:
232:, given by the
195:Rice University
145:
108:
89:
75:
56:
52:Rice University
27:
24:
21:
12:
11:
5:
1736:
1734:
1726:
1725:
1720:
1715:
1710:
1705:
1700:
1690:
1689:
1683:
1682:
1630:
1627:
1626:
1623:
1622:
1619:
1618:
1616:
1615:
1610:
1604:
1602:
1596:
1595:
1593:
1592:
1587:
1582:
1580:Seymour Papert
1577:
1572:
1570:Wally Feurzeig
1567:
1565:Denison Bollay
1562:
1556:
1554:
1548:
1547:
1545:
1544:
1539:
1534:
1529:
1524:
1518:
1516:
1510:
1509:
1507:
1506:
1504:Daniel Weinreb
1501:
1496:
1491:
1486:
1476:
1471:
1465:
1463:
1457:
1456:
1454:
1453:
1448:
1443:
1438:
1433:
1428:
1423:
1418:
1415:
1410:
1407:
1402:
1397:
1392:
1387:
1382:
1377:
1375:R. Kent Dybvig
1372:
1367:
1362:
1356:
1350:
1346:
1345:
1342:
1341:
1339:
1338:
1333:
1328:
1322:
1315:
1313:
1309:
1308:
1306:
1305:
1300:
1295:
1290:
1285:
1280:
1278:Apple Computer
1274:
1272:
1265:
1261:
1260:
1257:
1256:
1254:
1253:
1247:
1245:
1241:
1240:
1238:
1237:
1231:
1226:
1221:
1215:
1209:
1207:
1200:
1196:
1195:
1193:
1192:
1187:
1182:
1176:
1174:
1167:
1159:
1158:
1156:
1155:
1150:
1149:
1148:
1137:
1135:
1129:
1128:
1125:
1124:
1122:
1117:
1112:
1103:
1096:
1094:
1088:
1087:
1085:
1084:
1079:
1074:
1069:
1064:
1059:
1054:
1049:
1044:
1039:
1034:
1029:
1024:
1019:
1014:
1009:
1004:
999:
994:
989:
984:
975:
970:
965:
949:
944:
939:
934:
928:
925:
924:
922:
921:
916:
911:
904:
902:
896:
895:
893:
892:
887:
882:
877:
871:
869:
860:
859:Unstandardized
856:
855:
852:
851:
849:
848:
842:
840:
834:
833:
831:
830:
825:
820:
815:
810:
805:
795:
792:
787:
782:
780:MIT/GNU Scheme
777:
772:
767:
762:
757:
751:
746:
741:
736:
731:
723:
721:
715:
714:
712:
711:
706:
700:
695:
692:
687:
682:
677:
671:
665:
660:
654:
649:
644:
638:
632:
630:
619:
610:
604:
603:
600:
599:
597:
596:
591:
586:
579:
577:
570:
569:
567:
566:
561:
553:
548:
543:
538:
532:
527:
522:
517:
515:Dynamic typing
512:
507:
501:
495:
491:
490:
485:
483:
482:
475:
468:
460:
454:
453:
442:
441:External links
439:
436:
435:
410:
377:
338:
322:
298:
274:
248:
247:
245:
242:
211:access control
159:
158:
143:
139:
138:
135:
134:
129:
123:
122:
117:
113:
112:
103:
99:
98:
92:
91:
84:
80:
79:
62:
61:Known for
58:
57:
55:
54:
49:
43:
41:
37:
36:
33:
29:
28:
25:
22:
19:
13:
10:
9:
6:
4:
3:
2:
1735:
1724:
1721:
1719:
1716:
1714:
1711:
1709:
1706:
1704:
1701:
1699:
1698:Living people
1696:
1695:
1693:
1680:
1679:
1670:
1669:
1660:
1659:
1650:
1649:
1644:
1640:
1639:
1628:
1614:
1611:
1609:
1606:
1605:
1603:
1601:
1597:
1591:
1588:
1586:
1583:
1581:
1578:
1576:
1573:
1571:
1568:
1566:
1563:
1561:
1558:
1557:
1555:
1553:
1549:
1543:
1542:Julie Sussman
1540:
1538:
1535:
1533:
1530:
1528:
1525:
1523:
1520:
1519:
1517:
1515:
1511:
1505:
1502:
1500:
1497:
1495:
1492:
1490:
1489:David A. Moon
1487:
1484:
1480:
1477:
1475:
1472:
1470:
1469:Scott Fahlman
1467:
1466:
1464:
1462:
1458:
1452:
1449:
1447:
1446:Steve Russell
1444:
1442:
1439:
1437:
1434:
1432:
1429:
1427:
1426:John McCarthy
1424:
1422:
1421:David Luckham
1419:
1416:
1414:
1411:
1408:
1406:
1403:
1401:
1398:
1396:
1393:
1391:
1390:Matthew Flatt
1388:
1386:
1383:
1381:
1378:
1376:
1373:
1371:
1368:
1366:
1363:
1361:
1358:
1357:
1354:
1351:
1347:
1337:
1334:
1332:
1329:
1326:
1323:
1320:
1317:
1316:
1314:
1310:
1304:
1301:
1299:
1296:
1294:
1291:
1289:
1286:
1284:
1281:
1279:
1276:
1275:
1273:
1269:
1266:
1264:Organizations
1262:
1252:
1249:
1248:
1246:
1242:
1235:
1232:
1230:
1227:
1225:
1222:
1219:
1216:
1214:
1211:
1210:
1208:
1204:
1201:
1197:
1191:
1188:
1186:
1183:
1181:
1178:
1177:
1175:
1171:
1168:
1166:
1160:
1154:
1151:
1147:
1144:
1143:
1142:
1139:
1138:
1136:
1134:
1130:
1121:
1118:
1116:
1113:
1111:
1107:
1104:
1102:
1101:
1097:
1095:
1093:
1089:
1083:
1080:
1078:
1075:
1073:
1070:
1068:
1065:
1063:
1060:
1058:
1055:
1053:
1050:
1048:
1045:
1043:
1040:
1038:
1035:
1033:
1030:
1028:
1025:
1023:
1020:
1018:
1015:
1013:
1010:
1008:
1005:
1003:
1000:
998:
995:
993:
990:
988:
985:
983:
979:
976:
974:
971:
969:
966:
963:
962:
957:
953:
950:
948:
945:
943:
940:
938:
935:
933:
930:
929:
920:
917:
915:
912:
909:
906:
905:
903:
901:
897:
891:
888:
886:
883:
881:
878:
876:
873:
872:
870:
868:
864:
861:
857:
847:
844:
843:
841:
839:
835:
829:
826:
824:
821:
819:
816:
814:
811:
809:
806:
803:
799:
796:
794:Pocket Scheme
793:
791:
788:
786:
783:
781:
778:
776:
773:
771:
768:
766:
763:
761:
758:
755:
752:
750:
747:
745:
742:
740:
737:
735:
732:
730:
729:
725:
724:
722:
720:
716:
710:
707:
704:
701:
699:
696:
693:
691:
688:
686:
683:
681:
678:
675:
672:
669:
666:
664:
661:
658:
655:
653:
650:
648:
645:
642:
639:
637:
634:
633:
631:
629:
623:
620:
618:
614:
611:
609:
605:
595:
592:
590:
587:
584:
581:
580:
578:
575:
571:
565:
562:
560:
557:
554:
552:
551:S-expressions
549:
547:
544:
542:
539:
536:
535:M-expressions
533:
531:
528:
526:
523:
521:
518:
516:
513:
511:
508:
506:
503:
502:
499:
496:
492:
488:
481:
476:
474:
469:
467:
462:
461:
458:
450:
445:
444:
440:
424:
420:
414:
411:
399:
395:
393:
387:
381:
378:
367:
363:
359:
358:United States
355:
351:
350:
342:
339:
335:
331:
326:
323:
312:
308:
302:
299:
288:
284:
278:
275:
264:
260:
253:
250:
243:
241:
239:
235:
231:
226:
224:
220:
216:
212:
208:
204:
200:
196:
192:
187:
185:
181:
177:
173:
169:
165:
156:
144:
140:
136:
133:
130:
128:
124:
121:
118:
114:
111:
107:
104:
100:
97:
93:
88:
85:
81:
78:
74:
70:
66:
63:
59:
53:
50:
48:
45:
44:
42:
38:
35:United States
34:
30:
17:
1676:
1666:
1656:
1646:
1636:
1608:Rod Burstall
1575:Brian Harvey
1526:
1141:Lisp machine
1098:
959:
726:
617:Standardized
556:Self-hosting
537:(deprecated)
525:Linked lists
510:Conditionals
427:. Retrieved
422:
413:
402:. Retrieved
389:
380:
369:. Retrieved
348:
341:
325:
314:. Retrieved
310:
301:
290:. Retrieved
286:
277:
266:. Retrieved
262:
252:
227:
215:verification
188:
163:
162:
116:Institutions
95:
1560:Hal Abelson
1494:Kent Pitman
1461:Common Lisp
1413:Louis Hodes
1400:Paul Graham
1395:Phyllis Fox
1165:of practice
1146:TI Explorer
739:Chez Scheme
589:CommonLoops
32:Citizenship
1692:Categories
1441:David Park
1436:Joel Moses
1417:Mike Levin
1293:Lucid Inc.
1244:Curriculum
1077:Spice Lisp
978:Franz Lisp
968:Emacs Lisp
828:TinyScheme
652:Clozure CL
429:2019-09-16
404:2019-09-14
371:2019-09-16
366:B00262R7B0
316:2019-09-14
292:2019-09-14
268:2019-09-14
244:References
1483:10th rule
1312:Education
1298:Symbolics
1288:Harlequin
1199:Education
1163:Community
992:Interlisp
808:Scheme 48
785:MultiLisp
760:GNU Guile
680:LispWorks
546:Recursion
311:Bootstrap
40:Education
20:Professor
1678:Category
1668:Category
1271:Business
1133:Hardware
1082:Zetalisp
1067:S-1 Lisp
1052:Picolisp
942:BBN LISP
937:AutoLISP
885:StarLogo
846:OpenLisp
802:features
559:compiler
494:Features
221:, named
69:debugger
1658:Commons
1327:(CSAIL)
1303:Xanalys
1224:On Lisp
1047:PC-LISP
1037:newLISP
1022:Maclisp
982:PC-LISP
961:history
947:Clojure
910:(POP-1)
890:UCBLogo
880:NetLogo
875:MSWLogo
770:JScheme
744:Chicken
728:History
659:(CMUCL)
594:Flavors
576:systems
392:SIGPLAN
332:at the
238:SIGPLAN
223:Flapjax
180:library
142:Website
77:Flapjax
73:library
1514:Scheme
1349:People
1236:(SICP)
1220:(HTDP)
1115:Genera
1110:McCLIM
1007:LeLisp
973:EuLisp
919:POP-11
908:COWSEL
838:ISLISP
798:Racket
765:Ikarus
756:(GOAL)
749:Gambit
734:Bigloo
719:Scheme
705:(SBCL)
698:Poplog
694:Movitz
643:(ABCL)
626:Common
585:(CLOS)
574:Object
530:Macros
400:. 2012
364:
149:.brown
102:Fields
83:Awards
65:Racket
1648:Books
1321:(MIT)
1206:Books
1190:X3J13
1072:SKILL
1032:MLisp
1002:*Lisp
956:Apple
952:Dylan
914:POP-2
676:(GCL)
670:(ECL)
647:CLISP
203:macro
191:Ph.D.
26:Ph.D.
1638:List
1552:Logo
1120:Scsh
1100:List
867:Logo
818:SIOD
790:Pico
775:Kawa
690:Mocl
628:Lisp
362:ASIN
153:/~sk
151:.edu
1600:POP
1062:RPL
1042:NIL
1027:MDL
1012:LFE
932:Arc
900:POP
813:SCM
193:at
170:at
1694::
1108:,
987:Hy
980:,
958:,
421:.
396:.
388:.
356:,
352:.
309:.
285:.
261:.
147:cs
67:,
1485:)
1481:(
964:)
954:(
823:T
804:)
800:(
479:e
472:t
465:v
432:.
407:.
394:)
374:.
336:.
319:.
295:.
271:.
155:/
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.