1046:
153:
1036:
320:
Engler, Dawson; Chen, David Yu; Hallem, Seth; Chou, Andy; Chelf, Benjamin (December 2001). "Bugs as deviant behavior: a general approach to inferring errors in systems code".
446:
Bessey, Al; Block, Ken; Chelf, Ben; Chou, Andy; Fulton, Bryan; Hallem, Seth; Henri-Gros, Charles; Kamsky, Asya; McPeak, Scott; Engler, Dawson (February 2010).
1051:
419:
Engler, D. R.; Kaashoek, M. F.; O'Toole, J. (December 3, 1995). "Exokernel: an operating system architecture for application-level resource management".
220:
Cadar, C.; Dunbar, D.; Engler, D. (December 8, 2008). "Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs".
1021:
1031:
618:
264:
Cadar, Cristian; Ganesh, Vijay; Pawlowski, Peter M.; Dill, David L.; Engler, Dawson R. (2006). "EXE: Automatically generating inputs of death".
1016:
145:
36:
1041:
564:
892:
1026:
668:
191:'s OSDI conferences in 2000, 2004, and 2008. With his students Cristian Cadar and Daniel Dunbar, he was jointly awarded the 2018
727:
281:
246:
611:
299:
Engler, Dawson; Ashcraft, Ken (December 2003). "RacerX: effective, static detection of race conditions and deadlocks".
914:
627:
207:
51:
199:
46:
32:
944:
604:
1011:
971:
392:
141:
983:
977:
954:
833:
686:
172:
989:
948:
664:
164:
129:
79:
839:
721:
470:
287:
252:
222:
Proceedings of the 8th USENIX Symposium on
Operating Systems Design and Implementation, OSDI 2008
125:
792:
757:
660:
277:
242:
163:
Engler is currently an associate professor of computer science and electrical engineering at
920:
845:
798:
780:
462:
428:
329:
308:
269:
234:
203:
156:
Parallel and
Distributed Operating Systems Group. The focus of his graduate studies was the
104:
69:
875:
786:
751:
715:
680:
674:
648:
405:
587:
448:"A few billion lines of code later: using static analysis to find bugs in the real world"
381:
92:
938:
596:
591:
149:
109:
560:
1005:
904:
851:
827:
821:
739:
698:
654:
447:
291:
256:
231:
Proceedings of the fifteenth ACM symposium on
Operating systems principles - SOSP '95
932:
926:
898:
763:
692:
642:
474:
176:
488:
908:
863:
804:
733:
518:
266:
Proceedings of the 13th ACM conference on
Computer and communications security
192:
128:
and an associate professor of computer science and electrical engineering at
857:
466:
273:
157:
312:
432:
333:
238:
210:
for "ground-breaking work on automated program checking and bug-finding".
745:
168:
514:
492:
188:
86:
581:
539:
358:
171:
with several of his students to commercialize his group's work in
229:
Engler, D. R.; Kaashoek, M. F.; O'Toole, J. (1995). "Exokernel".
1047:
Stanford
University Department of Electrical Engineering faculty
600:
187:
Engler and his co-authors received the Best Paper award at
964:
885:
814:
773:
708:
635:
103:
85:
75:
65:
42:
28:
21:
612:
382:"The Exokernel Operating System Architecture"
8:
1037:Massachusetts Institute of Technology alumni
93:The exokernel operating system architecture
619:
605:
597:
18:
353:
351:
16:American computer scientist and professor
195:for their paper at the 2008 conference.
347:
401:
390:
513:Johansen, Håvard (October 29, 2019).
146:Massachusetts Institute of Technology
37:Massachusetts Institute of Technology
7:
1052:Grace Murray Hopper Award laureates
565:Association for Computing Machinery
421:ACM SIGOPS Operating Systems Review
322:ACM SIGOPS Operating Systems Review
301:ACM SIGOPS Operating Systems Review
206:research. In 2008, he received the
144:, Engler earned his Ph.D. from the
584:on the Stanford University website
14:
1022:Programming language researchers
1032:Arizona State University alumni
1:
515:"The Hall of Fame Award 2018"
1017:American computer scientists
1042:Stanford University faculty
148:in 1998 while working with
1068:
628:Grace Murray Hopper Award
455:Communications of the ACM
380:Engler, Dawson R (1998).
208:Grace Murray Hopper Award
193:SIGOPS Hall of Fame Award
167:. In 2002, he co-founded
115:
58:
52:Grace Murray Hopper Award
590:publications indexed by
200:SIGOPS Mark Weiser Award
33:Arizona State University
1027:Software testing people
540:"The Mark Weiser Award"
467:10.1145/1646353.1646374
274:10.1145/1180405.1180445
400:Cite journal requires
313:10.1145/1165389.945468
140:After graduating from
433:10.1145/224057.224076
361:. Stanford University
334:10.1145/502059.502041
239:10.1145/224056.224076
214:Selected publications
179:-finding technology.
142:University of Arizona
489:"USENIX Best Papers"
268:. pp. 322–335.
233:. pp. 251–266.
198:Engler won the 2006
173:static code analysis
165:Stanford University
130:Stanford University
80:Stanford University
126:computer scientist
999:
998:
204:operating systems
183:Awards and honors
119:
118:
60:Scientific career
47:Mark Weiser Award
1059:
621:
614:
607:
598:
569:
568:
557:
551:
550:
548:
546:
536:
530:
529:
527:
525:
510:
504:
503:
501:
499:
485:
479:
478:
452:
443:
437:
436:
416:
410:
409:
403:
398:
396:
388:
386:
377:
371:
370:
368:
366:
355:
337:
316:
295:
260:
225:
202:for his work in
122:Dawson R. Engler
105:Doctoral advisor
99:
70:Computer science
19:
1067:
1066:
1062:
1061:
1060:
1058:
1057:
1056:
1002:
1001:
1000:
995:
960:
881:
810:
769:
704:
631:
625:
578:
573:
572:
561:"Dawson Engler"
559:
558:
554:
544:
542:
538:
537:
533:
523:
521:
512:
511:
507:
497:
495:
487:
486:
482:
450:
445:
444:
440:
418:
417:
413:
399:
389:
384:
379:
378:
374:
364:
362:
359:"Dawson Engler"
357:
356:
349:
344:
319:
298:
284:
263:
249:
228:
219:
216:
185:
138:
124:is an American
97:
50:
35:
24:
17:
12:
11:
5:
1065:
1063:
1055:
1054:
1049:
1044:
1039:
1034:
1029:
1024:
1019:
1014:
1004:
1003:
997:
996:
994:
993:
987:
981:
975:
968:
966:
962:
961:
959:
958:
952:
942:
936:
930:
924:
918:
912:
902:
896:
889:
887:
883:
882:
880:
879:
873:
867:
861:
855:
849:
843:
837:
831:
825:
818:
816:
812:
811:
809:
808:
802:
796:
790:
784:
777:
775:
771:
770:
768:
767:
761:
755:
749:
743:
737:
731:
725:
719:
712:
710:
706:
705:
703:
702:
696:
690:
684:
678:
672:
658:
652:
646:
639:
637:
633:
632:
626:
624:
623:
616:
609:
601:
595:
594:
592:Google Scholar
585:
577:
576:External links
574:
571:
570:
552:
531:
505:
480:
438:
427:(5): 251–266.
411:
402:|journal=
372:
346:
345:
343:
340:
339:
338:
317:
307:(5): 237–252.
296:
282:
261:
247:
226:
215:
212:
184:
181:
150:Frans Kaashoek
137:
134:
117:
116:
113:
112:
110:Frans Kaashoek
107:
101:
100:
89:
83:
82:
77:
73:
72:
67:
63:
62:
56:
55:
44:
40:
39:
30:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
1064:
1053:
1050:
1048:
1045:
1043:
1040:
1038:
1035:
1033:
1030:
1028:
1025:
1023:
1020:
1018:
1015:
1013:
1012:Living people
1010:
1009:
1007:
991:
988:
985:
982:
979:
976:
973:
970:
969:
967:
963:
956:
953:
950:
946:
943:
940:
937:
934:
931:
928:
925:
922:
919:
916:
913:
910:
906:
903:
900:
897:
894:
891:
890:
888:
884:
877:
874:
871:
868:
865:
862:
859:
856:
853:
850:
847:
844:
841:
838:
835:
832:
829:
826:
823:
820:
819:
817:
813:
806:
803:
800:
797:
794:
791:
788:
785:
782:
779:
778:
776:
772:
765:
762:
759:
756:
753:
750:
747:
744:
741:
738:
735:
732:
729:
726:
723:
720:
717:
714:
713:
711:
707:
700:
697:
694:
691:
688:
685:
682:
679:
676:
673:
670:
666:
662:
659:
656:
653:
650:
647:
644:
641:
640:
638:
634:
629:
622:
617:
615:
610:
608:
603:
602:
599:
593:
589:
588:Dawson Engler
586:
583:
582:Dawson Engler
580:
579:
575:
566:
562:
556:
553:
541:
535:
532:
520:
516:
509:
506:
494:
490:
484:
481:
476:
472:
468:
464:
460:
456:
449:
442:
439:
434:
430:
426:
422:
415:
412:
407:
394:
383:
376:
373:
360:
354:
352:
348:
341:
335:
331:
327:
323:
318:
314:
310:
306:
302:
297:
293:
289:
285:
279:
275:
271:
267:
262:
258:
254:
250:
244:
240:
236:
232:
227:
223:
218:
217:
213:
211:
209:
205:
201:
196:
194:
190:
182:
180:
178:
174:
170:
166:
161:
159:
155:
151:
147:
143:
135:
133:
131:
127:
123:
114:
111:
108:
106:
102:
95:
94:
90:
88:
84:
81:
78:
74:
71:
68:
64:
61:
57:
53:
48:
45:
41:
38:
34:
31:
27:
23:Dawson Engler
20:
992: (2023)
986: (2022)
980: (2021)
974: (2020)
957: (2019)
951: (2018)
941: (2017)
935: (2016)
929: (2015)
923: (2014)
917: (2013)
915:Felzenszwalb
911: (2012)
901: (2011)
895: (2010)
878: (2009)
872: (2008)
869:
866: (2007)
860: (2006)
854: (2005)
848: (2004)
842: (2003)
836: (2002)
830: (2001)
824: (2000)
807: (1999)
801: (1996)
795: (1993)
789: (1991)
783: (1990)
766: (1989)
760: (1988)
754: (1987)
748: (1986)
742: (1985)
736: (1984)
730: (1982)
724: (1981)
718: (1980)
701: (1979)
695: (1978)
689: (1976)
683: (1975)
677: (1974)
671: (1973)
657: (1972)
651: (1972)
645: (1971)
555:
543:. Retrieved
534:
522:. Retrieved
508:
496:. Retrieved
483:
461:(2): 66–75.
458:
454:
441:
424:
420:
414:
393:cite journal
385:(PostScript)
375:
363:. Retrieved
328:(5): 57–72.
325:
321:
304:
300:
265:
230:
221:
197:
186:
162:
139:
121:
120:
91:
76:Institutions
59:
876:Roughgarden
1006:Categories
945:Daskalakis
799:Goldwasser
793:Stroustrup
752:Ousterhout
687:Shortliffe
630:recipients
524:August 18,
519:ACM SIGOPS
365:August 18,
342:References
283:1595935185
248:0897917154
224:: 209–224.
972:Gollakota
921:Ratnasamy
292:209393318
257:221932539
158:exokernel
154:MIT CSAIL
29:Education
984:Alizadeh
949:Freedman
852:Reingold
781:Stallman
722:Bricklin
716:Metcalfe
693:Kurzweil
665:Lathwell
169:Coverity
939:Randles
846:Rexford
840:Keckler
834:Srikant
822:Kavraki
734:Ingalls
699:Wozniak
649:Dirksen
545:May 10,
498:May 11,
475:2611544
152:in the
990:Mittal
955:Balcan
927:Waters
909:Katabi
905:Casado
893:Gentry
870:Engler
864:Paxson
828:Necula
764:Hillis
758:Steele
681:Scherr
493:USENIX
473:
387:. MIT.
290:
280:
255:
245:
189:USENIX
136:Career
98:(1998)
96:
87:Thesis
66:Fields
54:(2008)
49:(2006)
43:Awards
965:2020s
886:2010s
858:Klein
815:2000s
774:1990s
740:Green
709:1980s
675:Baird
669:Moore
661:Breed
655:Cress
643:Knuth
636:1970s
471:S2CID
451:(PDF)
288:S2CID
253:S2CID
978:Popa
947:and
933:Heer
907:and
728:Reid
547:2019
526:2020
500:2019
406:help
367:2020
278:ISBN
243:ISBN
175:for
899:Ahn
805:Hwu
787:Hsu
746:Joy
463:doi
429:doi
330:doi
309:doi
270:doi
235:doi
177:bug
1008::
563:.
517:.
491:.
469:.
459:53
457:.
453:.
425:29
423:.
397::
395:}}
391:{{
350:^
326:35
324:.
305:37
303:.
286:.
276:.
251:.
241:.
160:.
132:.
667:/
663:/
620:e
613:t
606:v
567:.
549:.
528:.
502:.
477:.
465::
435:.
431::
408:)
404:(
369:.
336:.
332::
315:.
311::
294:.
272::
259:.
237::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.