ACM Turing Award Recipients
ACM
Software System Award Recipients
Members
of
National Academy of Engineering (NAE)
Members
of
National Academy of Science (NAS)
Fellows
of
American Academy of Arts and Sciences
Fellows
of
American Association for the Advancement of Science
ACM
Fellows
IEEE
Fellows
ACM
Distinguished Engineer, Scientist, or Member
Academia
Europaea
ACM
SIGSOFT
Current/Past Chairs
ICSE/FSE/ASE/ISSTA/PASTE
General/Program
Chairs
NSF
Presidential
Young Investigator Award Recipients and NSF CAREER Award Recipients
Some
other
fellowship awards
ACM Doctoral Dissertation Award
ACM Student Research Competition Grand Finals
Other
Awards
ACM. Turing Award Recipients
(Related to Software Engineering & Program Language)
1966
A.J.
Perlis
1972 E.W.
Dijkstra
1974 Donald
E. Knuth
1977 John
Backus
1978 Robert
W. Floyd
1979 Kenneth
E.
Iverson
1980 C.
Antony
R. Hoare
1984 Niklaus
Wirth
1986 John
Hopcroft
1991 Robin
Milner
1995 Manuel
Blum
1996 Amir
Pnueli
1999 Frederick
P. Brooks
2001 Ole-Johan
Dahl Kristen
Nygaard
2003
Alan Kay
2005 Peter
Naur
2006 Frances
E
Allen
2007 Edmund
M
Clarke
E
Allen Emerson
Joseph
Sifakis
2008 Barbara
H
Liskov
ACM Software System Award Recipients (Related
to
Software Engineering & Program Language)
1987 Adele
Goldberg
Daniel H.H.
Ingalls Alan C.
Kay Smalltalk
1992 Daniel G.
Bobrow Richard R.
Burton
L. Peter
Deutsch
Ronald M.
Kaplan Larry
Masinter Warren
Teitelman
Interlisp
2001 Gerard
Holzmann SPIN
2002 James
A. Gosling Java
2003 Stuart
Feldman
MAKE
2005 Robert S
Boyer Matt
Kaufmann J Strother
Moore The
Boyer-Moore
Theorem Prover
2006 Bertrand
Meyer
2007 David
Harel Hagi
Lachover
Amnon
Naamad
Amir
Pnueli
Michal
Politi
Rivi
Sherman
Mark
Trakhtenbrot
Aron
Trauring
National
Academy of Engineering (NAE) Members
related to Software Engineering or Program Languages/Compilers:
To
honor extraordinary contributions to engineering and
society.
Note: The list is in the form of First Name Last Name (Current
Affiliation, Inducted Year), where First Name links to the award
citation and Last Name links to the homepage.
Donald L.
Bitzer (NCSU, 74)
Frederick
P. Brooks (UNC, 76)
John
Backus (IBM, 77)
Jean
E. Sammet (Consultant, 77)
Kenneth
Thompson (Google, 80)
Donald
E. Knuth
(Stanford U., 81)
Butler W.
Lampson (Microsoft, 84)
Frances
E. Allen (IBM
Research, 87)
Robert E.
Kahn (, 87)
John
McCarthy
(Stanford U., 87)
Barbara Liskov
(MIT, 88)
Dennis
M. Ritchie (Bell Labs, 88)
John E. Hopcroft
(Cornell U., 89)
Jeffrey D.
Ullman (Stanford U., 89)
Ken Kennedy
(Rice U., 90)
Steve S.
Chen (Information Supergrid Technologies, 91)
David J.
Kuck (Intel, 91)
Leslie
B. Lamport (Microsoft, 91)
John L. Hennessy (Stanford, 92)
Richard Tapia
(Rice U., 92)
Susan
Graham (UC
Berkeley, 93)
H. T. Kung
(Havard U., 93)
David Patterson (Berkeley, 93)
Niklaus Wirth
(ETH, 93)
William
A. Wulf (U. Virginia,
93)
David
Cutler (Microsoft, 94)
Anita
K. Jones (U. Virginia, 94)
K.
Mani Chandy (Caltech, 95)
Bill
Gates
(Microsoft, 96)
Barry Boehm
(USC, 96)
Andries van Dam (Brown, 96)
Steven
Jobs (Apple,
97)
Alan
Kay (Viewpoints
Research, 97) (
Charles
Simonyi (Microsoft, 97)
Alfred
V. Aho (Columbia U., 99)
Richard
Lipton
(Georgia Tech, 99)
Amir Pnueli (Weizmann Institute of Science,
99)
Randy Katz
(UC Berkeley, 00)
Nancy Leveson
(MIT, 00)
Gerald
J. Sussman (MIT, 00)
Jack
Dongarra (U. Tennessee, 01)
Edward
Lazowska (UW, 01)
Nancy
Lynch
(MIT, 01)
John
Ousterhout
(Stanford U., 01)
Guy
L. Steele,
Jr. (Sun, 01)
Brian
Kernighan
(Princeton U., 02)
Christos
Papadimitriou (Columbia U., 02)
Richard
M. Stallman (Free
Software Foudation, 02)
Moshe
Y. Vardi
(Rice U., 02)
Elaine Weyuker (AT&T Labs, 02)
Steve
Wozniak (formerly Apple, 02)
Philip A. Bernstein (Microsoft Research, 03)
Randal
E. Bryant (CMU, 03)
Mary Jane
Irwin (PSU, 03)
Richard
Rashid (Microsoft, 03)
James A. Gosling (Sun
Labs,
04)
Ray Ozzie
(formerly Microsoft, 04)
Linda
Petzold (UCSB, 04)
Alfred
Z. Spector
(IBM Research, 04)
Bjarne
Stroustrup (TAMU,
04)
Victor
Zue (MIT, 04)
Paul
G. Allen
(Vulcan, 05)
Edmund Clarke
(CMU, 05)
David
Culler
(UC Berkely, 05)
Gerard
J. Holzmann (NASA JPL, 05)
Jennifer Widom
(Stanford U, 05)
Manuel
Blum (CMU, 06)
Susan J.
Eggers (U. Washington, 06)
Tony
Hoare (Microsoft Research, 06)
Frans
Kaashoek (MIT, 06)
Eric E. Schmidt (06)
Eric
Brewer (Google, 07)
Simon Lam (UT
Austin, 07)
J
Strother Moore (UT Austin, 07)
Arvind
(MIT, 08)
James
Foley (Georgia Tech, 08)
Robin Milner (U.
Edinburgh, 08)
Jeff
Dean (Google, 09)
William Gropp
(UIUC, 10)
Larry L. Peterson (Princeton, 10)
Mark
Wegman (IBM Research,
10)
Hank
Levy (UW, 11)
Fred Schneider
(Cornell U., 11)
Mihalis
Yannakakis (Columbia U., 11)
Kai Li
(Princeton U., 12)
Henrique S. Malvar (Microsoft Research, 12)
David Shaw (David Shaw, 12)
David Dill (Facebook/Stanford U, 13)
Edward
Felten (Princeton U., 13)
Urs Hölzle (Google,
13)
Eric Horvitz (Microsoft Research, 13)
David
Harel (Weizmann
Institute of Science, 14)
Norman
Jouppi (Google, 14)
Jennifer Rexford (Princeton, 14)
Tom
Anderson (UW, 16)
Albert
Greenberg (Microsoft, 16)
Geoffrey E. Hinton (16)
Jason
Cong (UCLA, 17)
Whitfield Diffie (17)
Yann Andre LeCun (NYU, 17)
Harry Shum
(Microsoft, 17)
Joseph
Sifakis (Université
Grenoble-Alpes, 17)
Katherine Yelick
(UC Berkeley, 17)
Martín Abadi
(Google, 18)
Jayadev Misra (UT
Austin, 18)
Monica
Lam (Standford U., 19)
Margo Seltzer (UBC, 19)
Vicki Hanson (ACM, 20)
James F. Kurose (UMass, 20)
Fei-Fei
Li (Stanford U., 20)
Lili Cheng (Microsoft
Research, 21)
Margaret R. Martonosi
(Princeton, 21)
Oyekunle Olukotun
(Stanford, 21)
Yangsheng Xu (CUHK, 21)
Mary Czerwinski (Microsoft Research, 22)
Anna Karlin (UW, 22)
Satya Nadella (Microsoft, 22)
HongJiang Zhang (BAAI, 22)
Shih-Fu Chang
(Columbia, 23)
James
Goodnight
(SAS, 23)
Wei
Huang (NPU, 23)
Xuedong Huang
(Microsoft, 23)
William H. Sanders
(CMU, 23)
Stefan Savage
(UCSD, 23)
National
Academy
of Science (NAS) Members related to Software
Engineering or Program Languages/Compilers:
Award to recognize outstanding achievements in science.
John
Backus (IBM, 74)
Donald
Knuth (Stanford U., 75)
Kenneth
Thompson (Google, 85)
Dana Scott
(CMU, 88)
Andrew
Chi-Chih Yao (Tsinghua U., 98)
Frederick Brooks (UNC, 01)
Manuel Blum (UC Berkeley, 02)
Butler Lampson (Microsoft, 05)
John
Hopcroft (Cornell U., 09)
Christos
Papadimitriou (Columbia, 09)
Frances
E. Allen (10)
Leslie B. Lamport (11)
Barbara
H. Liskov (12)
Robert
E. Kahn (15)
Moshe
Vardi (15)
Nancy
A. Lynch (16)
Tony
Hoare (17)
Mihalis
Yannakakis (Columbia U., 18)
David Harel
(19)
Vint
Cerf (20)
Thomas
Henzinger (20)
Jennifer
Rexford (20)
Jeffrey
Ullman (20)
Anna Karlin
(21)
Yann LeCun
(21)
Linda Petzold (21)
Alfred V Aho
(22)
American
Academy of Arts and Sciences Fellows related to Software Engineering or
Program Languages/Compilers:
An international learned society composed of the world's
leading scientists, scholars, artists, business people, and public
leaders
Dana S. Scott
(CMU, 72)
Donald E. Knuth
(Stanford U., 73)
John McCarthy
(Stanford U., 74)
Edsger W. Dijkstra
(75)
Frederick P. Brooks (UNC, 76)
John Backus (IBM, 85)
John Hopcroft
(Columbia U., 87)
Albert R. Meyer
(MIT, 87)
Kenneth Thompson (91)
Bill Gates
(Microsoft, 92)
Barbara Liskov (MIT, 92)
Butler W. Lampson
(93)
Frances E. Allen
(IBM Research, 94)
Robert E. Kahn (94)
Alan Kay (Viewpoints
Research, 94)
Robert E. Kahn (94)
Manuel Blum
(UC Berkeley, 95)
Susan Graham
(UC Berkeley, 95)
John L. Hennessy (95)
William A. Wulf
(U. Virginia, 95)
Gerald J. Sussman
(MIT, 96)
Steven Jobs
(Apple, 00)
Anita K. Jones (U. Virginia, 00)
Timothy J. Berners-Lee (01)
Christos Papadimitriou (01)
Randy H. Katz (02)
Guy L. Steele,
Jr. (Sun, 02)
Alfred V. Aho (Columbia U., 03)
Richard M. Stallman
(Free Software Foudation, 03)
Niklaus Wirth
(03)
Edward D. Lazowska (04)
John Guttag (MIT, 05)
Kenneth W. Kennedy
(05)
David Patterson (06)
Richard F. Rashid (08)
Charles Simonyi (08)
Mary Jane Irwin (09)
Alfred Z. Spector (09)
Jennifer Widom (09)
Randal E. Bryant (10)
Nancy Ann Lynch
(10)
Ray Ozzie (10)
Moshe Y. Vardi
(10)
Jeannette M. Wing
(10)
Edmund Clarke
(11)
Edward W. Felten (11)
Eric Horvitz (11)
Arvind (12)
M. Frans Kaashoek (12)
Jeffrey D. Ullman (12)
David Dill (13)
Susan Eggers (13)
Peter Norvig (13)
Richcard Tapia (13)
Leslie B. Lamport
(14)
Richard Lipton (14)
David Harel (14)
Jennifer Chayes (14)
Joseph Sifakis
(15)
Jeff Dean (16)
Anna R. Karlin (16)
Tom Anderson (17)
John C. Mitchell (17)
Fred B. Schneider (17)
Katherine A. Yelick
(17)
Eric A. Brewer (18)
Francine D. Berman (19)
David R. Karger (19)
Ya-Qin Zhang (19)
Sarita V. Adve (20)
Thomas A. Henzinger (20)
Margaret Martonosi (20)
Eugene H. Spafford
(20)
Mihalis Yannakakis (20)
Charles L. Isbell, Jr. (21)
Fei-Fei Li (21)
Stefan Savage (21)
Margo I. Seltzer (21)
Ayanna M. Howard (22)
Oyekunle Olukotun (22)
Martha E. Pollack (22)
Michael Franklin (23)
Xuedong D. Huang (23)
Marta Kwiatkowska (23)
Kathryn S. McKinley (23)
Gordon Plotkin (23)
Moti Yung (23)
American
Association
for the Advancement of Science Fellows related to Software Engineering or
Program Languages/Compilers:
To recognize research in the interaction of
science, technology and government in the United States and around the
world.
Jeffrey
Tsai
(U. Illinois at Chicago, ??)
Manuel
Blum (UC Berkeley, 82)
Stephen S. Yau
(Arizona State U., 83)
Peter Denning
(84)
Alfred Aho (86)
John
Hopcroft (Columbia U., 87)
David J. Gries (Cornell U., 90)
William A. Wulf (U. Virginia, 90)
Susan
Graham (UC Berkeley, 91)
James C. Browne (UT Austin, 92)
Fred Schneider (92)
Mary Shaw (CMU, 92)
Peter G. Neumann (SRI, 95)
Rick
Adrion
(U Mass, 95)
Peter
A. Freeman (Georgia Tech,
95)
Eugene Spafford (Purdue U., 99)
Ed Lazowska
(01)
Anita
K. Jones (U. Virginia, 01)
Calton Pu
(Georgia Tech, 01)
Moshe Y. Vardi (Rice U., 02)
Bhavani Thuraisingham (03)
Karl Chang (Iowa State U.,
04)
Richard DeMillo (Georgia
Tech,
04)
Gerald J. Sussman
(MIT, 04)
Benjamin W. Wah (UIUC, 04)
Ravi Iyer (05)
James Foley (05)
Michael
R. Lyu (Chinese U. of Hong Kong, 06)
Daniel Reed (06)
Marc Snir (06)
Feiyue Wang (07)
Andrew Chien (07)
David Harel (07)
Jeannette Wing (07)
Alan Kay (08)
Ravi Sandhu (08)
Eric Horvitz
(09)
Jeffrey Vitter (09)
Tony Hey (09)
Martin Abadi
(11)
Randy Katz (11)
Alan Hevner (11)
Paul Fischer (12)
Xindong Wu (12)
Qiang Yang (12)
Nancy Amato
(13)
Jeff Dean (13)
Thomas Henzinger
(13)
Fran Berman (14)
William Sanders (14)
Dan Roth (14)
Rajeev Alur (16)
Elisa Bertino (16)
Lynn Conway (16)
Josep Torrellas (16)
Zhi-Hua Zhou (16)
Wenwu Zhu (16)
Elisa Bertino (17)
Jean Camp (17)
William Gropp (18)
Lawrence Rauchwerger (18)
Jie Wu (18)
Katherine Yelick (18)
Michael Franz
(19)
Norman P. Jouppi (19)
Klara Nahrstedt (19)
Rob Rutenbar (19)
Yuan Xie (19)
Tao Xie (19)
Lorrie Cranor (20)
Yuri Gurevich
(20)
Patrick McDaniel (20)
Hridesh Rajan (20)
Munindar Singh (20)
Eric Allen Brewer (21)
Susan Davidson (21)
Paul Dourish (21)
Kathleen Fisher (21)
Michael Franklin (21)
Simson L. Garfinkel (21)
Mark D. Hill (21)
Ayanna Howard (21)
Somesh Jha (21)
Richard Ladner (21)
Yann LeCun (21)
Elizabeth D. Mynatt (21)
David A. Padua (21)
Yong Rui (21)
Michael L. Scott (21)
Tandy Warnow (21)
Remzi H. Arpaci-Dusseau (22)
Yiran Chen (22)
Kevin Fu (22)
Haym Hirsh (22)
James F. Kurose (22)
Insup Lee (22)
Grigore Rosu (22)
Valerie E. Taylor (22)
XiaoFeng Wang (22)
Alexander L. Wolf (22)
ACM Fellows
ACM
Fellows
(SIGPLAN) ACM
Fellows
(SIGSOFT)
Established by Council in 1993 to recognize and
honor outstanding ACM members for their achievements in computer
science and information technology and for their significant
contributions to the mission of the ACM.
ACM Fellows related to Software
Engineering, Program Languages, or Formal Methods (those likely being
more SE than PL/FM are highlighted in bold):
1994 ACM Fellows
Frances
E. Allen
(IBM Research, 94)
Frederick
P. Brooks (UNC, 94) Daniel
G. Bobrow
(PARC, 94) Richard R.
Burton (PARC, 94)
L.
Peter Deutsch
(Aladdin, 94) Edsger
W. Dijkstra
(UT Austin, 94)
Robert
W. Floyd
(Stanford, 94) Frank
L. Friedman
(Temple U., 94)
Adele
J.
Goldberg (??, 94) Susan
Graham (UC
Berkeley, 94) David
J. Gries
(Cornell U., 94)
David Harel (Weizmann Institute of Science,
94) John
Hopcroft
(Columbia U., 94)
Ronald M
Kaplan (PARC,
94)
Donald
E. Knuth
(Stanford U., 94)
Manny Lehman
(Middlesex U., 94) Joyce Currie
Little ( Towson U., 94)
Zohar
Manna (Stanford U.,
94) John
McCarthy
(Stanford U., 94) Robin
Milner (U.
Cambridge, 94)
Roger
M. Needham
(MSR, 94) Peter
G. Neumann
(SRI, 94)
John Ousterhout (Electric Cloud, 94) Susan
S.
Owicki (??, 94)
David
L. Parnas (U. Limerick, 94)
Jean
Sammet
(IBM, 04) Dana
S. Scott (CMU,
94) Herbert
A. Simon
(CMU, 94) Guy
L. Steele,
Jr. (Sun, 94) Bjarne
Stroustrup (TAMU,
94)
Gerald
J. Sussman
(MIT, 94)
Andries
van Dam (Brown U.,
94)
Niklaus
E. Wirth (ETH
Zurich,
94) William
A.
Wulf (U. Virginia,
94)
1995 ACM Fellows
Paul
Abrahams (?, 95) Robert
L.
Ashenhurst (U. Chicago, 95)
Lawrence
Bernstein (Stevens Institute of Technology, 95) Grady Booch
(IBM, 95)
Larry
E. Druffel
(ACRA, 95) Stuart
Feldman
(IBM Research, 95) John Goodenough (CMU,
95) Ken
Kennedy
(Rice U., 95) Nancy Leveson
(MIT, 95)
Fred
B. Schneider
(Cornell U., 95) Larry
Snyder
(U. Washington, 95) Norihisa
Suzuki (Zaxel,
95)
Jeffrey
Ullman (Stanford
U.,
95)
Chris
S.
Wallace (Monash U., 95) Peter
Wegner
(Brown U., 95)
1996
ACM Fellows
Rick Adrion
(U. Mass, 96) Alfred
V. Aho
(Columbia U., 96)
Jeanne
Ferrante
(UCSD, 96) Dennis
J. Frailey (SMU, 94)
Anita
K. Jones (U. Virginia,
96) Barbara
Liskov
(MIT, 96)
Ravi
Sethi (Avaya
Labs, 96) Mary Shaw
(CMU, 96)
Tony Wasserman (Software Methods and Tools,
96) Mark
Wegman (IBM
Research, 96)
1997 ACM
Fellows
Victor Basili (U. Maryland,
97) Barry Boehm
(USC, 97)
Yuri
Gurevich
(MSR, 97) John L Hennessy (Stanford
U, 97) Richard Kemmerer (UCSB,
97)
Richard Lipton (Georgia Tech, 97) Nancy
Lynch
(MIT, 97)
Ronald
H Perrott
(Queen's U. Belfast, 97) Vaughan Pratt
(Stanford U., 97)
Alan
C. Shaw (U.
Washington,
97) Elaine Weyuker (AT&T
Labs,
97)
1998
ACM Fellows
Gregory
R Andrews
(U. Arizona, 98) Andrew Appel (Princeton
U., 98)
James
C. Browne
(UT Austin, 98)
Robert
Cartwright
(Rice U., 98) Peter
P. Chen
(Louisiana State U., 98) Edmund
Clarke (CMU,
98) Lori Clarke
(U. Mass, 98)
Richard
Gabriel (Sun Labs,
98) James
Horning
(InterTrust, 98) Neil
Jones (U. Copenhagen,
98)
David Notkin
(U. Washington, 98) Leon Osterweil (U.
Mass,
98) Barbara Ryder (Rutgers
U.,
98) Eugene Spafford (Purdue U., 98)
Richard Taylor (UC Irvine, 98) Albert J Turner
(Clemson U, 98)
Jeannette
Wing (CMU,
98) Mihalis
Yannakakis
(Columbia U., 98) Stuart
H. Zweben (Ohio
State U., 98)s
1999
ACM Fellow
John
D Gannon (U.
Maryland, 99) Carlo Ghezzi (Politecnico
di
Milano, 99) Robert
Glass
(Computing Trends, 99)
Larry
Masinter (Adobe, 99) David
MacQueen (Bell
Labs, 99)
Mary
Lou Soffa
(U. Virginia, 99) Koji Torii
(Nara Institute of Science and Technology, 99)
2000
ACM Fellows
Randal
E. Bryant
(CMU, 00) Peter
A. Freeman (Georgia Tech, 00) Axel
van Lamsweerde
(U. Catholique de Louvain, Belgium, 00)
Albert
R. Meyer
(MIT, 00) Jim
Morris
(CMU, 00)
Moshe
Y. Vardi
(Rice U., 00)
David
S. Warren
(SUNY Stony Brook, 00) Reinhard Wilhelm
(U. des Saarlandes, 00)
2001
ACM Fellows
Alan
Borning (U.
Washington, 01)
Richard B Kieburtz (OGI,
01) Jeffrey Kramer (Imperial
College,
01)
Barton
Miller
(U Wisconsin, 01) John
C. Reynolds
(CMU, 01) Zave Pamela (AT&T Labs, 02)
2002
ACM Fellows
David
Culler
(UC Berkely, 02) Susan
J. Eggers
(U. Washington, 02) Wen-Mei
Hwu
(UIUC, 02)
2003
ACM Fellows
Richard DeMillo (Georgia
Tech,
04) Brent Hailpern (IBM
Research,
04) Mary
Jean Harrold
(Georgia Tech, 04)
2004
ACM Fellows
Luca
Cardelli (MSR,
05) Simon
Peyton
Jones (MSR, 05) Peter
Lee
(CMU, 05)
Benjamin
W. Wah
(UIUC, 05) David
S. Wise
(Indiana U., 05)
2005
ACM Fellows
Dines
Bjorner (06)
Keith
Cooper (Rice
U., 06) David
Dill (Stanford U.,
06) Robert
Harper (CMU, 06)
Brad Myers
(CMU, 06) Thomas Reps (U. Wisconsin,
06) Liu
Sha (UIUC, 06)
2006 ACM Fellows
Arvind
(MIT,
06) Matthias Felleisen
(Northeastern U., 06) John Guttag (MIT,
06)
Thomas A. Henzinger (EPFL, 06)
James
R. Larus
(Microsoft Research, 06) J
Strother Moore
(UT Austin, 06)
Peter Norvig (Google, 06) Alfred Z
Spector (IBM
Research,
06) Alex Wolf (U. Colorado, Imperial College
London)
2007 ACM Fellows
Alur, Rajeev
Constantine, Larry L.
Gao, Guang R.
Lam, Monica S.
Moss, J.
Eliot B. Odersky, Martin
Pnueli, Amir
Wadler, Philip
Wand, Mitchell
2008 ACM Fellows
Abadi, Martin
Abowd, Gregory D.
Aiken, Alexander S.
Davidson, Jack W.
Humphrey, Watts S.
Kay, Alan C.
McKinley, Kathryn S.
Meyer, Bertrand
Mitchell, John C.
Randell, Brian
Sarkar, Vivek
2009 ACM Fellows
David F. Bacon, Gerhard
Fischer, Rajiv Gupta,
Martin C. Rinard, Laurie
Hendren, R.K.
Shyamasundar, Urs Hoelzle
2010 ACM Fellows
David A
Abramson, Douglas C. Burger, Ron
K.
Cytron, Kathleen Fisher, John Launchbury
Dieter Rombach,
David S. Rosenblum, Josep Torrellas, David Ungar, Andreas Zeller
2011 ACM Fellows
Thomas
J.
Ball, Gerard J. Holzmann,
Frank Kenneth Zadeck
2012 ACM Fellows
Benjamin
C
Pierce, David
Paul
Grove, Gregor
Kiczales, Hans-J.
Boehm, Kathy
Yelick, Walter
F.
Tichy
2013 ACM Fellows
David
Garlan, James
Gosling, Douglas
S
Lea, Greg
Morrisett, Andrew
C.
Myers, Yuanyuan
Zhou
2014 ACM Fellows
Vikram
Adve, Lorrie Cranor, Michael
Ernst, Leslie Lamport, Sharad Malik
2015
ACM Fellows
Paul
Dourish, Michael Franz,
Orna Grumberg, Xavier
Leroy, Michael
R. Lyu, Patrick
McDaniel, Frank Pfenning,
Sriram
Rajamani, Mooly
Sagiv,
2016
ACM Fellows
Stephen
Blackburn, Daniel
Jackson, Somesh Jha,
Marta Kwiatkowska,
K.
Rustan M. Leino, Ganesan
Ramalingam
2017
ACM Fellows
Lars
Birkedal, Margaret
Burnett, Aarti
Gupta, Insup
Lee, Gail
Murphy
2018 ACM Fellows
Gul Agha, David
Basin, Rastislav
Bodik, Prem
Devanbu, John
Hughes
2019
ACM Fellows
Saman
Amarasinghe, Emery D. Berger,
Brad Calder, K.
Mani Chandy, Dawn
Song, Salvatore J. Stolfo,
Matthew
B. Dwyer, Giovanni
Vigna, Lidong
Zhou
2020 ACM Fellows
Manuel
Blum, Lionel
Briand, Patrick Cousot,
Whitfield
Diffie, Cormac
Flanagan, Andy
Gordon, Tony
Hoare, Joost-Pieter
Katoen, Scott
Mahlke, Jose
Meseguer, Nachiappan
Nagappan, Gordon
Plotkin, Sanjit
Seshia, Kenneth
Thompson, Wil
Van Der Aalst, Laurie
Williams, Yi Wang
2021
ACM Fellows
Paola
Inverardi, Ranjit
Jhala, Nikolaj
Bjorner, Shaz
Qadeer, Munindar
P. Singh, Aravinda Prasad
Sistla, Scott
Smolka, Tao Xie,
Thomas Zimmermann
2022 ACM Fellows
Luis H. Ceze, Bill Curtis, Sebastian
Elbaum, Kevin Fu, Ahmed E. Hassan, Abdelsalam (Sumi)
Helal, Michael Hicks, Jason Hong, C.-C. Jay Kuo, Hang Li, Hong
Mei, Timothy Sherwood, John T. Stasko, Zhendong Su,
Eric Xing, Yizhou Yu, Haitao (Heather) Zheng, Wenwu Zhu
IEEE Fellows related to Software
Engineering or Program Languages/Formal Methods. Conferred by the
Board of Directors upon a person with an extraordinary record of
accomplishments in any of the IEEE fields of interest (those likely being more SE than PL/FM are
highlighted in bold):
1968: Marvin
Minsky (MIT)
1970: Heinz
Zemanek (IBM)
1972: Watts S. Humphrey (CMU
SEI)
1973: Stephen S. Yau
(Arizona State U.)
1978: CV
Ramamoorthy (UC Berkeley)
1983: Manuel
Blum (UC Berkeley)
1985: Per
Brinch Hansen (Syracuse U.) David J. Kuck
(Intel)
1986: Manny Lehman
(Middlesex U.)
1987: John D. Musa
(Independent Consultant)
1988: Alfred
V. Aho (Columbia U.) Laszlo A.
(Les) Belady (Tech Innovation Group) Fred Liguori (?)
1989: Amrit
Goel
(Syracuse U.) William
Wulf (U. Virginia)
1990: Victor
Basili (U. Maryland) Mary Shaw
(CMU)
1991: Frances
Allen (IBM Research) Stuart Feldman
(IBM Research) John
L. Hennessy (Stanford U.) Jack Minker (U.
Maryland) William E. Riddle (CMU SEI) Larry Ruffel
(SCRA)
1992: Barry W. Boehm
(USC) Larry
Snyder (U. Washington)
1993: Michael
A. Harrison (UC Berkeley) Norman Schneidewind (Naval Postgraduate
School)
1994: Wen-Tsuen
Chen (?) Alan
Davis (U. Corolado)
1995: Arvind (MIT) Brent Hailpern (IBM
Research)
Ken
Kennedy
(Rice U.)
1996: Peter
Freeman (Georgia Tech) Harold Lawson, Jr. (?) Jeffrey Tsai (U. Illinois at
Chicago) Tony Wasserman
(Software Methods&Tools)
1997: Ram Chillarege
(Chillarege) Anita
Jones (U. Virginia) Eric Kronstadt (IBM Research) Marvin Zelkowitz (U.
Maryland)
1998: Doris L. Carver
(Louisiana State U.) Wen-Mei Hwu
(UIUC) Liu
Sha (UIUC) Dick
Simmons (TAMU) Pen-Chung Yew (UMN)
1999: Jean-Luc
Gaudiot (UC Irvine) Luqi (Naval Postgraduate School)
Rudrapatna Shyamasundar (Tata Institute of Fundamental Research)
2000: Tom
DeMarco (Atlantic Systems Guild) David Padua
(UIUC) Koji
Torii (Osaka U.)
2001: Karl
Chang (Iowa State U.) William E. Howden
(UCSD) Sy-Yen
Kuo (National Taiwan U.) Richard H. Thayer
(Independent Consultant) Mladen A.
Vouk (NCSU)
2002: Gul Agha (UIUC) Vijay
Vaishnavi (Georgia State U.)
2003: Steve
Cross (CMU
SEI) Susan
Eggers (U.
Washington) H.
Dieter
Rombach
(Technische U. Kaiserslautern) Leonard
L.
Tripp
(Boeing) Elaine
J. Weyuker
(AT&T Labs) Jeannette
M.
Wing (CMU)
Xin Yao
(U. Birmingham) Fuqing
Yang
(Peking U.)
2004: Pankaj
Jalote
(IIT) Michael
Lyu
(CUHK) Raymond Paul (?) Ronald
H
Perrott
(Queen's U. Belfast) Mark
Wegman
(IBM Research)
2005: Dines
Bjørner
(U. Denmark) Roy
Campbell
(UIUC) Edmund Clarke
(CMU) Thomas
M.
Conte
(NCSU) Jeanne
Ferrante
(UCSD) Hoang
Pham
(Rutgers U.) Alfred Z.
Spector
(IBM Research) Bjarne
Stroustrup
(TAMU)
2006: Carlo
Ghezzi
(Politecnico di Milano) Thomas Henzinger
(EPFL) Nancy Mead (CMU) James Moore
(Mitre) Douglass Post (LANL) David Rosenblum
(U. College London) Min Xie
(National U. Singapore)
2007: Bill
Curtis (Borland) Mehdi Jazayeri (U. Lugano,
Switzerland)
2008: Rajeev
Alur (U. Penn) Guang
R. Gao (U. Delaware) Michael
Gschwind (IBM Research) Rajiv
Gupta (UC Riverside) Phillip
A.
Laplante (PSU) David
Notkin (U. Washington) Anand
Tripathi (U. Minnesota)
2009: Roger
U.
Fujii
(Northrop Grumman), David
Parnas (U. Limerick , Ireland), Fred
B. Schneider
(Cornell U.), Moshe Y. Vardi
(Rice U.)
2010: E.
Grady Booch (IBM), Lionel C. Briand
(Simula Research Laboratory, Norway), Douglas Burger
(Microsoft Research), Eliot Moss
(U. Mass), Jeffrey Voas (SAIC)
2011: Lori A. Clarke
(U. Mass) Mary
Jean Harrold (Georgia
Tech) Kathryn S. McKinley (UT Austin) Guy
Lewis
Steele
(Sun) Alexander Wolf
(Imperial College London) Liang-Jie Zhang (IBM Research)
2012: Susan
L. Graham (UC Berkeley) William
L.
Scherlis (CMU)
2013: Matthew
B. Dwyer (UNL) David
Garlan (CMU) Brad A. Myers (CMU) Mary
Lou
Soffa (U. Virginia)
2014:
Franco Zambonelli
(U. di Modena e Reggio Emilia) John
Stasko (Georgia
Tech)
2015: Stephanie
Forrest (U. New Mexico) Constance
Heitmeyer (Naval Research Laboratory) Hong Mei
(Peking U.) David
M
Weiss (Iowa State U.) Wang
Yi (Uppsala U.) Yuanyuan
Zhou (UCSD)
2016: David
Abramson (U. Queensland) Schahram
Dustdar (TU Wien) Michael
Franz (UC Irvine) Nenad
Medvidovic (USC) Sreeranga Rajan (Fujitsu Laboratories)
2017: Gregg
Rothermel (UNL) Carol
Smidts (OSU)
2018: Somesh
Jha (U. Wisconsin, Madison) Sanjit
Seshia (UC Berkeley) Richard
Kuhn (NIST) Giovanni Vigna (UCSB) Laurie Williams
(NCSU) Tao Xie (Peking U.)
2019: Ahmed
Hassan (Queen's
University, Canada) Hans-Arno
Jacobsen (U Toronto, Canada) Shaoying
Liu (Hosei U., Japan) Crista
Lopes (UC
Irvine)
Tim Menzies
(NCSU)
2020:
Alan
Hevner (U. South Florida) Jack
Davidson (UVa) Rudolf
Eigenmann (U. Delware) Mary
Hall (U. Utah) Zhenjiang
Hu (Peking U.) Vivek
Sarkar (Georgia Tech)
2021: David
Basin (ETH) Calin
Cascaval (Google) Sebastian Elbaum (UVa) Michael
Ernst (UW) Nachi
Nagappan (MSR) Alex
Orso (Georgia
Tech)
Grigore Rosu (UIUC) Lintao
Zhang (MSRA) Tom
Zimmermann (MSR)
2022: M
Brian Blake (Georgia State U.), Anita
Carleton (CMU SEI), Rance
Cleaveland (U. Maryland), Yves
Le Traon (U. Luxembourg), David
Lo (SMU), Robyn Lutz (Iowa State U.)
2023: Gail-Joon Ahn (ASU), Haibo Chen (SHJT), Hao
Chen (UC Davis), Wenliang Du (Syracuse U), Shing C Cheung (HKUST), Zhi
Jin (Peking University), Tadayoshi Kohno (UW), Suman Nath (MSR),
Zhendong Su (ETH), Yongwei Wu (Tsinghua U.), Jingling Xue (UNSW),
Danfeng Yao (VT), Zibin Zheng (SYU)
ACM
Distinguished
Engineer, Scientist, or Member related to Software
Engineering or Program Languages/Formal Methods.
2006 ACM Distinguished
Scientists
Software Engineering: George S.
Avrunin
Programming Languages/Compilers: David F.Bacon,
Hans-J. Boehm,
Kathryn S.
McKinley, Vivek Sarkar
ACM Distinguished
Engineers
Programming
Languages/Compilers: David M.
Ungar
2007
ACM
Distinguished Scientists
Software
Engineering: Matthew B.
Dwyer
Programming Languages/Compilers: Michael G
Burke,
Kathleen
Fisher
2008 ACM Distinguished
Scientists
Software
Engineering: Yih-Farn Robin Chen, James R.
Cordy, Robert J.
Hall, Frank Tip
2009
ACM Distinguished
Scientists
Software
Engineering:
Annie
Anton, Laura
Dillon, Schahram
Dustdar,
Harold
Ossher,
Will Tracz, Liang-Jie
Zhang
Programming Languages/Compilers: Michael
Hind, Ganesan
Ramalingam
ACM Distinguished
Educators:
Software
Engineering: Nancy
R.
Mead
2010 ACM Distinguished
Scientists
Software
Engineering: M. Brian
Blake, Evelyn
Duesterwald, Gail
C Murphy, Lori
L. Pollock, Walter
F. Tichy
Programming
Languages/Compilers: David P.
Grove, Mary W.
Hall
ACM
Distinguished Engineers
Software
Engineering: Linda
M
Northrop
2011 ACM Distinguished
Scientists
Software
Engineering: Cristina V. Lopes,
Robert
L
Nord, David F
Redmiles, John
Stasko, Laurie
A. Williams,
Yuanyuan Zhou
Programming Languages/Compilers: Stephen M.
Blackburn, Satish
Chandra, Stephen
Fink, Benjamin
G
Zorn
ACM Distinguished
Educators
Software
Engineering: Mark A. Weiss
2012 ACM Distinguished
Scientists
Software
Engineering: Peri Tarr
Programming Languages/Compilers: Antony (Tony) L Hosking, Peter
F
Sweeney
2013 ACM Distinguished Scientists
Software Engineering: Andre van der Hoek, Gregg E Rothermel
2014 ACM Distinguished
Scientists
Software
Engineering:
Somesh
Jha, Robyn
Lutz, Lenore Zuck
Programming Languages/Compilers: Clark
Barrett, Matthew
Flatt, Ganesh
Gopalakrishnan
ACM Distinguished
Educators
Software
Engineering: Judith
Bishop, Stephen Edwards,
Jeff Gray
ACM
Distinguished Engineers:
Software
Engineering: Sreeranga
P.
Rajan
2015 ACM Distinguished
Scientists
Software
Engineering: Margaret
Burnett, Nenad
Medvidovic, Nachi
Nagappan, Sebastián
Uchitel, Tao
Xie
Programming
Languages/Compilers: Graham Hutton, Martin
Hirzel
2016 ACM Distinguished
Scientists
Software
Engineering: Joanne Atlee, Tevfik
Bultan, Shing-Chi Cheung, Sebastian
Elbaum, Zhenjiang
Hu, Corina
Pasareanu
Programming
Languages/Compilers:
George Necula
2017 ACM Distinguished
Scientists
Software
Engineering: Myra B. Cohen, Mauro
Pezzè, Hridesh
Rajan, Willem
C. Visser, Thomas Zimmermann
2018 ACM Distinguished Members
Software
Enginering: Sven
Apel, Marsha
Chechik
Programming
Languages/Compilers: Emery
Berger, Xipeng
Shen
2019
ACM Distinguished Members
Software
Enginering: Andrew
Begel, David Lo,
Eric Bodden, Shan
Lu, Yuriy Brun
Programming Languages/Compilers: Adam Chlipala, Manu
Sridharan
2020
ACM Distinguished Members
Software
Engineering: Christian
Bird, Vladimir
Filkov, Alex
Orso, Abhik
Roychoudhury, Hongyu
Zhang
Programming
Languages/Compilers: Samuel
Midkiff
Academia Europaea (related to SE/PL)
1989 Tony
Hoare
1991 Dines
Bjørner Manfred
Broy
1992 Dana Scott
1998 Neil Jones
2006
Luca
Cardelli Patrick
Cousot David Harel Thomas A.
Henzinger
2007 Moshe Y. Vardi
2008 Yuri Gurevich Joseph
Sifakis Reinhard
Wilhelm
2011 Bertrand
Meyer Simon
Peyton-Jones
2012 Paola
Inverardi John
Mylopoulos
2013 Schahram
Dustdar Anthony
Finkelstein Carlo
Ghezzi Orna
Grumberg Holger
Hermanns Thomas
W. Reps Mihalis
Yannakakis
2014 Michael
Hinchey
2015 Jeffrey
Kramer Yi
Wang
2016 Orna
Kupferman
2017 Xuelong
Li Bashar
Nuseibeh Zhi-Hua
Zhou
2018 C.l.
Philip Chen Wei
Li Hong
Mei Alexandru
Nicolau Wenwu
Zhu
2019 Zhenjiang Hu
Tianzi Jiang
Yong Rui
Zhen Wang
Daqing Zhang
2020 Jiannong
Cao Xiaotie
Deng Mingyi
Guo Maosong
Sun
2021 Chang-Wen
Chen
Licheng Jiao
Munindar Singh
Zhendong Su
ACM SIGSOFT Current/Past Chairs
Tom
Zimmermann Nenad
Medvidovic David
Rosenblum William
Griswold Alexander
Wolf
David
Notkin Lori
Clarke Richard
N. Taylor Rick
Adrion Bill
Riddle Marvin
Zelkowitz Tony
Wasserman
ICSE/FSE/ASE/ISSTA/PASTE
General/Program
Chairs
Most Influential Papers of ICSE
(International Conference on Software Engineering)
ICSE
Website
ACM SIGSOFT Distinguished Paper Award
Winners
Automated
Software Engineering Conference Best Paper Award Candidate On-line
Bibliography
EASST Best Paper Awards
NSF Presidential Young Investigator Award
Recipients (before 1994) and NSF
CAREER
Award
Recipients (1995-2008) related to Software Engineering and
Programming Languages/Compilers
| Year awarded (# of the year) |
Name (Current School) Year Ph.D. awarded |
Proposal Title |
| 2008 (6) |
Koushik Sen
(UC Berkeley) 06 |
Scalable
Automated Software Testing and Repair |
|
Madhusudan
Parthasarathy (UIUC) 02 |
The
Automata Theoretic Method in Software Verification |
|
Darko Marinov
(UIUC) 04 |
Systematic
Software Testing Using Test Abstractions |
|
Mathew Frank
(UIUC) 03 |
System
Support for Implicitly Parallel Programming |
|
Walid Taha (Rice
U.) 99 |
Multi-stage
Programming for Object-Oriented Languages |
|
Myra Cohen (UNL) 04 |
Configuration-Aware
Testing Through Intelligent Sampling to Improve Software
Dependability |
| 2007 (8) |
Clark Barrett (NYU)
03 |
Cascade
-- Precision on Demand for Software Verification |
|
Stephen N.
Freund (Williams College) 00 |
Hybrid
Atomicity Checking |
| |
Jeff Gray (U. Alabama
at Birmingham) 02 |
Foundational
Principles to Support Evolution in Domain-Specific Modeling |
| |
Ranjit Jhala (UCSD)
04 |
Software
Reliability
via Assert-Generated Interfaces |
| |
Sorin Lerner
(UCSD) 06 |
Automatically
Generating and Processing Program Analyses and Optimizations |
| |
Ana Milanova
(RPI) 03 |
A
Framework For Customizable Program Flow Analysis |
| |
Robby (Kansas
State U.) 04 |
A
Formal, Integrated Analysis Framework for Contract-based
Reasoning of Strong Properties of Open Systems |
| |
Sanjit Seshia
(UC Berkeley) 05 |
Robust
Reactive Systems through Verification and Learning |
| 2006 (5) |
Nasko
Rountev (Ohio State U.) 02 |
Dataflow
Analysis
for Modern Software Systems
|
| |
Rupak
Majumdar (UCLA) 03 |
Modular
Verification of Software |
| |
Todd
Millstein (UCLA) 03 |
Enforcing
and Validating User-Defined Programming Disciplines |
| |
Zhendong
Su (UC Davis) 02 |
Reliability
and Security of Database and Web Applications |
| |
Jonathan
Aldrich (CMU) 03 |
Lightweight
Modeling and Enforcement of Architectural Behavior |
| 2005 (11) |
Dan Grossman
(U. Washington) 03 |
Clamp
-
Language Support for C-Level Abstraction, Modularity, and
Portability |
| |
Shriram Krishnamurthi
(Brown U.) 01 |
Formal
Verification
of Aspect-Oriented Software |
| |
William R. Cook
(UT Austin) 89 |
Integrating
Programming
Languages and Databases |
| |
Jane
Huang (DePaul U.) 0?
|
Goal
Centric Traceability for Managing Systemic Requirements |
| |
Grigore Rosu
(UIUC) 00 |
Runtime
Verification
and Monitoring |
| |
Mahesh Viswanathan (UIUC) 00
|
Next
Generation Model Checking |
| |
Atif Memon (U.
Maryland) 01 |
Enhancing
Testing
Techniques for Event-driven Software Applications |
| |
Katerina
Goseva-Popstojanova (West Virginia U.) 95 |
Improving
Web Quality through an Integrated Approach |
| |
Carlos Varela (RPI) 01 |
Middleware
and
Programming Technology for Grid Computing |
| |
Somesh
Jha (U. Wisconsin) 96 |
Combating
Malicious Behavior in Commodity Software |
| |
Youtao
Zhang (U. Pitt) 02
|
A
Compilation Framework for the Development of High Performance
Secure Applications on Trusted Processors |
| 2004 (5) |
Crista Lopes (UC
Irvine) 97 |
A
Linguistic Approach to Software Development |
| |
Jeff Foster (U.
Maryland) 02 |
Programming
Languages
Techniques for Enhancing Software Quality |
| |
Emery Berger (U. Mass) 02 |
Cooperative
System Support for Robust High Performance |
| |
Laurie Williams
(NCSU) 00 |
Test-Driven
Development
of Secure and Reliable Software Applications |
| |
Sebastian Elbaum (UNL)
99 |
Leveraging
Field
Data to Test Highly-Configurable and Rapidly-Evolving Pervasive
Systems |
| 2003 (7) |
Stephanie Weirich
(U. Penn) 02 |
Type-Directed
Programming
in Object-Oriented Languages |
| |
Yannis Smaragdakis
(Georgia Tech.) 99 |
Infrastructure
for
Software Generators and Components |
| |
David Beazley
(U. Chicago) 98 |
Type
Systems
and Next Generation Tools for Scripting Language Extension
Programming |
| |
Cesare Tinelli
(U. Iowa) 99 |
Fast
Provers
for Extended Static Checking of Software |
| |
David Walker
(Princeton U.) 01 |
Programming
Languages
for Secure and Reliable Computing |
| |
Frank
Mueller (NCSU) 04 |
Exploiting
Binary Rewriting to Analyze and Alleviate Memory Bottlenecks for
Scientific Applications |
| |
Dawson
Engler (Stanford U.) 98 |
Effective
Methods for Finding Software Errors |
| 2002 (10) |
Jim Whitehead (UCSC)
00 |
Automatic
Generation
of Software Configuration Management Repositories |
| |
Radu
Grosu (SUNY) ?? |
Model-Based
Design and Verification of Embedded Systems |
| |
Lunjin Lu (Oakland U.) 94 |
An
Integrated
Framework for Semantic-Based Analysis of Logic Programs |
| |
Edward B. Allen
(Mississippi State
U.) 95 |
Assessment
of
Open-Source Software for High-Performance Computing |
| |
Gerald C. Gannod
(Arizona State U.) 98 |
A
Two-Tier Approach for the Analysis and Evolution of
High-Integrity Software Product Lines |
| |
Michael Ernst
(MIT) 00 |
Automatically
Generating
Specifications to Improve Program Correctness and
Maintainability |
| |
Andrew
C. Myers (Cornell U.) 99 |
Practical
Language-Based End-to-End Security |
| |
Luca
de Alfaro (UCSC) 98 |
Structured
Design of Embedded Software |
| |
Stephen
A. Edwards (Columbia U.) 97 |
Designing
Embedded Systems with Domain-Specific Languages |
| |
Carsten
Schuermann (Yale U.) 00 |
DELPHIN:
Functional
Programming in Logical Frameworks |
| 2001 (10) |
Hongwei Xi (Boston
U.) 98 |
Realistic
Program
Termination Verification: Theory and Practice |
| |
Anindya Banerjee (Kansas
State U.) 95 |
A
Two-Tier Approach for the Analysis and Evolution of
High-Integrity Software Product Lines |
| |
Gleb Naumovich
(Polytechnic U.) 99 |
Improving
Scalability
of Finite State Verifiers |
| |
André van der Hoek
(UC Irvine) 00 |
Continuous
Change
Management of Component-Based Software |
| |
Ras
Bodik (UC Berkeley) 99 |
Scalable
Compiler Optimizations for New Software |
| |
Jan Vitek (Purdue
U.) 99 |
Foundations
and
Implementation of Mobile Object Systems |
| |
Bojan Cukic (West
Virginia U.) 97 |
Software
Reliability
Assessment for High Assurance Systems |
| |
David
Evans (U. Virginia) 99
|
Programming
the Swarm |
| |
Linda Wills
(Georgia Tech) 92 |
Automated
Software
Understanding for Retargeting Embedded Image Processing Software
for Data Parallel Execution |
| |
Adriana
Compagnoni (Stevens Inst. Tech) 95 |
A
Formally Verified Environment for the Production of Secure
Software |
| 2000 (9) |
Nenad Medvidovic (USC)
98 |
Architecture-Based
Support
for Software Application Families |
| |
Tevfik Bultan
(UCSB) 98 |
Verifiable
Specifications:
Tools for Reliable Reactive Software Development |
| |
John Hale (U.
Tulsa) 97 |
Programmable
Security
for Distributed Systems and Databases |
| |
Annie I.
Anton (NCSU) 97 |
Towards
Estimating
Requirements Coverage: Managing Scenarios and Goals in
Requirements Evolution |
| |
James Caldwell
(U. Wyoming) 98 |
A
Formal Programming Methodology with Applications to Developing
Automated Verifiers |
| |
Karl Crary (CMU) 98 |
Type-Driven
Language
Technology for Software and Information Infrastructure |
| |
John Tang Boyland
(UW-Milwaukee) 96 |
Analysis
Techniques
for Evolution of Modular Software |
| |
Kurt Stirewalt (MSU)
97 |
The
layering
problem in graphical user-interface design |
| |
Dan
Wallach (Rice U.) 98 |
Security
and
Resource Management in Type-safe Language Environments |
| 1999 (7) |
CR Ramakrishnan
(SUNY Stony Brook) 95 |
Tabled
Logic
Programming for Verification and Program Analysis |
| |
Scott Stoller
(SUNY Stony Brook) 97 |
Automated
Analysis
of Security and Fault-Tolerance of Distributed Systems |
| |
Enrico Pontelli
(New Mexico State U.) 97 |
Parallel
and
distributed Constraint Programming: methodologies, applications,
and educational opportunities |
| |
Jonathan Rossie (NCSU) |
Safe
Observable
Components: Programming-Language Support for Object Interaction
Protocols |
| |
David B. Stewart
(U Maryland) 94 |
Automated
Analysis,
Debugging, and Fine-Tuning of Timing Properties in Embedded
Real-Time Systems |
| |
Greg Morrisett
(Harvard U.) 95 |
Design,
Applications,
and Foundations of Safe, Low-Level Programming Languages |
| |
George Necula
(UC Berkeley) 98 |
A
Logic-Based Approach to Software System Integrity and Security |
| 1998 (7) |
Rajeev Alur (U.
Penn) 91 |
Computer-Aided
Verification
of Reactive Systems |
| |
Jeff Tian (Southern
Methodist U.) 92 |
Techniques
and
Tools for Early Measurement and Improvement of Software
Reliability |
| |
Spiros
Mancoridis (Drexel U.) 96 |
Toward
a
Design Environment for Recovering and Maintaining the Structure
of Software Systems |
| |
Eileen Kraemer
(U. Georgia) 95 |
An
Infrastructure
in Support of Configurable, Consistent, Interactive
Computational Steering |
| |
Ethan Munson
(UW-Milwaukee) 94 |
Representations,
Tools,
and Services for the Complete Integration of Software
Development Documents |
| |
Jens Palsberg
(UCLA) 96 |
Type
Inference
for Object-Oriented Software |
| |
George T. Heineman
(WPI) 96 |
A
Model For Designing Adaptable Software Components |
| 1997 (9) |
Gregg Rothermel (UNL)
96 |
Testing
and
Maintaining Evolving Software Systems |
| |
Terrance Swift
(SUNY Stony Brook) 96 |
Principles,
Practice,
and Applications of Tabled Logic Programs |
| |
Christopher Colby (Loyola U.
Chicago) 96 |
Semantics-based
Program
Analysis via Symbolic Composition of Transfer Relations |
| |
David
Rosenblum (U. College London) 88 |
Mechanisms
for
Ensuring the Integrity of Distributed Object Systems |
| |
John Hatcliff
(Kansas State U.) |
A
Partial Evaluation Tool Set for Automatically Customizing
Adaptable Software |
| |
Matt Dwyer (UNL) 95 |
Engineering
High-Quality
Concurrent Software |
| |
Owen
Astrachan (Duke U.) 92 |
Using
and
Developing Design Patterns in Undergraduate Computer Science
Courses |
| |
Paul Attie
(Northeastern U) 95 |
Tractable
Formal
Methods for the Synthesis of Concurrent Programs |
| |
Benjamin C. Pierce
(U. Penn) 91 |
Principled
Foundations
for Programming with Objects |
| 1996 (9) |
Mats Heimdahl
(U. Minnesota) 94 |
Requirements
Specification
for Embedded Systems: An Integrated Framework |
| |
J. Michael Ashley (U. Kansas) |
Employing
Flow
Analyses in Practical Program Transformation Environments for
Mostly-Functional Languages |
| |
Zena M. Ariola
(U. Oregon) 92 |
A
Comprehensive Rewriting Framework for Compilation, Optimization,
and Run-Time Environments |
| |
David Redmiles
(UC Irvine) 92 |
Improving
the
Design of Interactive Software |
| |
Kathryn S.
McKinley (UT Austin) 92 |
Compiling
for
Heterogeneous Systems |
| |
Elizabeth White (GMU) 95 |
General
Support
for Dynamic Reconfiguration |
| |
Cindy Norris
(Appalachian State U.) 95 |
Cooperative
Compiler
Optimizations for Fine-Grained Parallel Architectures |
| |
Rebecca
Parsons (U. Central Florida) |
A
Semantic Framework for Static and Dynamic Optimization |
| |
Urs Hoelzle (UCSB) 94 |
Efficient
Implementation
of Object Oriented Languages on Superscalar Processors |
| 1995 (11) |
Mark Crovella
(Boston U.) 93 |
Practical
Performance
Prediction for Parallel Programmers |
| |
Scott
Henninger (UNL) 93 |
An
Organizational
Learning Approach to Software Development |
| |
Adam A. Porter (U.
Maryland) 91 |
Empirical
Investigations
of Software Inspections |
| |
Kevin J. Sullivan
(U. Virginia) 94 |
Toward
a
Scientific Basis for the design of Integrated Systems |
| |
Tom Henzinger (EPFL) 91 |
Computer
-
Aided Verification |
| |
Zhong Shao
(Yale U.) 94 |
Type-Directed
Compilation |
| |
Siddhartha Chatterjee
(UNC) 91 |
Automatic
Data
and Computation Partitioning for Array-Parallel Languages |
| |
John Hannan (Penn
State U.) 90 |
Specification
and
Verification of Compiler Algorithms |
| |
Todd Proebsting
(MSR) 92 |
Efficient
Detection
of Pipeline Hazards in Superscalar Architectures |
| |
Radhakrishnan
Jagadeesan (DePaul U.) 91 |
ATDCC:
A
Language for Communicating Reactive Process |
| |
Robert Harper (CMU)
85 |
Type
Theory
and Operational Semantics for Programming Languages |
| 1994 (2) |
Andrew
A.
Chien (UCSD) 90 |
Concurrent
Object-Oriented
Programming Support for Irregular Parallel Applications |
| |
Craig
Chambers (U. Washington) 92 |
Object-Oriented
Language
Design and Implementation Research |
| 1993 (5) |
David Garlan (CMU)
87 |
Towards
An
Engineering Basis for Software Architecture |
| |
Pascal Van Hentenryck
(Brown U.) 90 |
Constraint
Programming
Languages |
| |
Richard Gerber (U.
Maryland) 91 |
Unifying
Real-Time
Design and Implementation: A Tool-Based Approach |
| |
Mary Jean Harrold
(Georgia Tech) 88 |
Testing
Object-Oriented
Programs |
| 1992 (3) |
Guy Blelloch
(CMU) |
A
Functional Data-Parallel Language for High Performance Computers |
| |
Rance Cleaveland
(SUNY Stony Brook) 87 |
Theoretical
Underpinnnings
of Formal Analysis of Concurrent Systems |
| |
Monica Lam (Stanford
U.) 87 |
Language
and
Compiler Technology for Parallel Machine Organizations |
| 1990 (3) |
Peter Lee (CMU) 87 |
Semantics-based
Generation of Optimizing Compilers |
| |
Geoffrey Brown
(Indiana U.) |
Formal
Verification
of Hardware Synthesis Systems |
| |
Val Tannen
(U. Penn) 87 |
Type
Disciplines
in Programming Language Design |
| 1988 (3) |
David Notkin
(U. Washington) 84 |
Computer
Research
(Software) - Dynamic Construction of Large Software Systems |
| |
John
Mitchell (Stanford U.) 84 |
Programming
Language
Features Within a Type-Theoretic Frame-work |
| |
Gail Kaiser
(Columbia U.) 85 |
Computer
Science
(Software) |
| 1987 (2) |
David Ungar
(Sun Labs) 86 |
Programming
Environments/Systems
Architecture |
| |
David
Gelernter (Yale U.) 83 |
Investigating
Symmetric
Languages |
| 1985 (1) |
Richard Taylor (UC
Irvine) 80 |
?? |
Some
other fellowship awards
Sloan
Research Fellowship Award Recipients
2005 Karl
Crary (CMU) Cormac
Flanagan (UCSC)
2004 David
Walker (Princeton U.)
ONR
Young
Investigator
Award Recipients Presidential Faculty Fellow or Presidential
Early Career Award Recipients Fulbright
Recipients Guggenheim
Recipients
IEEE Technical Council on Software Engineering
Harlan D
Mills Award IEEE
Computer Awards
Stevens Award
AITO Dahl-Nygaard
Prize Winners
ACM Doctoral Dissertation Award (Software
Engineering & Program Language Related)
2005 Ben Liblit
2001 Honorable Mention: Robert
O'Callahan
& David
Wagner
2000 Honorable Mention: William
Chan
& Michael
D. Ernst
1992 Kenneth
McMillan
1989 Vijay
Saraswat
1986 Doctoral Dissertation Series
Winners: David
Ungar
1983 Thomas
W. Reps
ACM Student
Research Competition Grand Finals (Software Engineering
& Program Language Related)
2005 Graduate First Place: Danny
Dig (UIUC)
Graduate Third Place: David
Janzen (U. Kansas)
2005 Graduate Third Place: Tao Xie (U. Washington)
Undergraduate First
Place: Eric Bodden (RWTH
Aachen U., Germany) ? Place: Spiros Xanthos (UIUC)
2003 Graduate First Place: Andy
King (U. Kent, UK) Second Place: Adrian Mos (Dublin City U.)
Undergraduate Second
Place: Alex
Potanin (Victoria U. of Wellington)
Other Awards
ACM
SIGPLAN
Awards
20
Years
of the ACM SIGPLAN Conference on Programming Language Design and
Implementation (1979 - 1999): A Selection
Computing
Research
Association (CRA) Awards
The
Dagstuhl
on History of Software Engineering Informal Poll
An
assessment
of systems and software engineering scholars and institutions
(1999–2003) (1996-2000)
Biographies
of
Famous Computer Scientists
ISIHighlyCited
Classic
Software
Engineering
Papers maintained by Mary
Shaw
Great
Works
in Programming Languages Collected by Benjamin C. Pierce
Future
of
Software Engineering 2000
Influential
Men
and Women of Software listed by Kathy Gurchiek CrossTalk Managing
Editor
Software
Engineering
Academic Genealogy (North America)
Academia Related to China and Software
Research Around the World
Software Engineering
Conferences
Software Testing
Researchers
Software Engineering Links
Software
Engineering
Readings
Advice
collection
Software
Engineering Awards