Grace Murray Hopper Award är ett pris som ges till en ung (under 35 år) professionell som har gjort ett betydande bidrag till datorområdet . Vinnaren av priset får $35 000 i pris. Ekonomiskt stöd tillhandahålls av Microsoft Corporation .
Även om många utmärkelser lade till namnet Grace Hopper till sina titlar efter hennes död 1992 , inrättades den årliga "Grace Murray Hopper Award" av Association for Computing Machinery (ACM) så tidigt som 1971 .
| År | Pristagare | Motiv för priset |
|---|---|---|
| 1971 | Donald Ervin Knuth | Originaltext (engelska)[ visaDölj] För design och implementering av TEX, ett innovativt verktyg för datorkomposition av dokument av hög typografisk kvalitet. |
| 1972 | Paul H. Dirksen Paul Kress |
Originaltext (engelska)[ visaDölj] För skapandet av WATFOR Compiler, den första medlemmen i en kraftfull ny familj av diagnostiska och pedagogiska programmeringsverktyg. |
| 1973 | Lawrence Breed Richard Latwell Roger Moore |
Originaltext (engelska)[ visaDölj] För deras arbete med design och implementering av APL/360, sätter de nya standarder för enkelhet, effektivitet, tillförlitlighet och svarstid för interaktiva system. |
| 1974 | George N. Baird | Originaltext (engelska)[ visaDölj] För hans framgångsrika utveckling och implementering av marinens COBOL Compiler Validation System. |
| 1975 | Allan L. Scherr | Originaltext (engelska)[ visaDölj] För hans banbrytande studie kvantitativ i datorprestandaanalys. |
| 1976 | Edward Hans Shortleaf | Originaltext (engelska)[ visaDölj] För hans banbrytande forskning som är förkroppsligad i MYCIN-programmet. MYCIN är ett program som rådgör med läkare om diagnos och behandling av infektioner. När han skapade MYCIN, använde Shortliffe sin medicinska bakgrund, tillsammans med sin forskning inom kunskapsbaserad systemdesign, för att producera ett integrerat paket som är lätt för expertläkare att använda och utöka. Shortliffes arbete låg till grund för ett forskningsprogram som stöds av NIH, och har studerats brett och dragits av andra inom området kunskapsbaserade system. |
| 1977 | inte tilldelas | |
| 1978 | Raymond Kurzweil | Originaltext (engelska)[ visaDölj] För hans utveckling av en unik läsmaskin för blinda, en datorbaserad enhet som läser ut tryckta sidor högt. Kurzweil-maskinen är en 80-pundsenhet som skjuter en ljusstråle över varje utskriven sida, omvandlar det reflekterade ljuset över varje utskriven sida, omvandlar det reflekterade ljuset till digital data som analyseras av dess inbyggda dator och sedan omvandlas till syntetiskt tal. Det förväntas göra läsning av allt tryckt material möjlig för blinda, vars läsning tidigare var begränsad till material översatt till punktskrift. Maskinen skulle inte ha varit möjlig utan en annan prestation av Kurzweil, det vill säga en uppsättning regler som ingår i minidatorprogrammet genom vilka tryckta tecken av en mängd olika storlekar och former känns igen tillförlitligt och automatiskt. |
| 1979 | Stephen Wozniak | Originaltext (engelska)[ visaDölj] För hans många bidrag till det snabbt växande området persondatorer och i synnerhet till hårdvaran och mjukvaran för Apple-datorn. |
| 1980 | Robert Metcalfe | Originaltext (engelska)[ visaDölj] För sitt arbete med utveckling av lokala nätverk, speciellt Ethernet. |
| 1981 | Daniel Singer Bricklin | Originaltext (engelska)[ visaDölj] För hans bidrag till persondatorer och i synnerhet till designen av VisCalc. Brickins ansträngningar i utvecklingen av den "visuella kalkylatorn" ger "den spetskompetens och elegans som ACM strävar efter att upprätthålla genom sådana aktiviteter som utmärkelseprogrammet. |
| 1982 | Reid | Originaltext (engelska)[ visaDölj] För hans bidrag inom området datoriserad textproduktion och typsättningssystem, särskilt Scribe som representerar ett stort framsteg inom detta område. Den förkroppsligar flera innovationer baserade på datavetenskaplig forskning inom programmeringsspråkdesign, kunskapsbaserade system, datordokumentbehandling och typografi. Effekten av Scribe har varit betydande på grund av den utmärkta dokumentationen och Reids ansträngningar att sprida systemet. |
| 1983 | inte tilldelas | |
| 1984 | Daniel Henry Holmes | Originaltext (engelska)[ visaDölj] För framstående bidrag till objektorienterade programmeringsspråk och relaterade programmeringstekniker. Teorierna om språk och utvecklingssystem som kallas "Smalltalk" lade grunden för utforskningar av nya mjukvarumetoder, grafiska användargränssnittsdesigner och former av onlinehjälp till mjukvaruutvecklingsprocessen. |
| 1985 | Cordell Green | Originaltext (engelska)[ visaDölj] För att etablera flera nyckelaspekter av den teoretiska grunden för logisk programmering och tillhandahålla en upplösningsteorembevisare för att utföra en programmeringsuppgift genom att konstruera resultatet som datorprogrammet ska beräkna. för att bevisa att den konstruktiva tekniken är korrekt och för att presentera en effektiv metod för att konstruera svaret; dessa bidrag ger en tidig teoretisk grund för Prolog och logikprogrammering. |
| 1986 | William Nelson Joy | Originaltext (engelska)[ visaDölj] För sitt arbete med Berkeleys UNIX-operativsystem som designer, integratör och implementerare av många av dess avancerade funktioner, inklusive virtuellt minne, C-skalet, vi Screen-redigeraren och nätverk. |
| 1987 | John Ousterhout | Originaltext (engelska)[ visaDölj] För hans bidrag till mycket storskalig integrerad krets datorstödd design. Hans system, Caesar och Magic, har visat att effektiva CAD-system inte behöver vara dyra, svåra att lära sig eller långsamma. |
| 1988 | Guy Lewis | Originaltext (engelska)[ visaDölj] För hans allmänna bidrag till utvecklingen av högre ordning symbolisk programmering, främst för hans framsteg inom lexikal scoping i LISP. |
| 1989 | William Daniel Hillis | Originaltext (engelska)[ visaDölj] För sin grundforskning om dataparallella algoritmer och för utformning, design, implementering och kommersialisering av Connection Machine. |
| 1990 | Richard Stallman | Originaltext (engelska)[ visaDölj] För banbrytande arbete i utvecklingen av den utbyggbara editorn EMACS (Editing Macros) |
| 1991 | Xu Fengxiong | Originaltext (engelska)[ visaDölj] För bidrag inom arkitektur och algoritmer för schackmaskiner. Hans arbete ledde till skapandet av Deep Thought Chess Machine, vilket ledde till den första schackdatorn som besegrade stormästare i turneringsspel och den första som uppnådde en certifierad stormästarnivå. |
| 1992 | inte tilldelas | |
| 1993 | Bjarne Stroustrup | Originaltext (engelska)[ visaDölj] För hans tidiga arbete med att lägga grunden för programmeringsspråket C++. Baserat på grunderna och Dr. Stroustrups fortsatta ansträngningar, C++ har blivit ett av de mest inflytelserika programmeringsspråken i datorns historia. |
| 1994 | inte tilldelas | |
| 1995 | inte tilldelas | |
| 1996 | Shafi Goldwasser | Originaltext (engelska)[ visaDölj] För hennes tidiga arbete med beräkning, slumpmässighet, kunskapskommitté och bevis, som har format grunden för probabilistisk beräkningsteori, beräkningstalteori och kryptografi. |
| 1997 | inte tilldelas | |
| 1998 | inte tilldelas | |
| 1999 | Wenmei | Originaltext (engelska)[ visaDölj] För design och implementering av IMPACT-kompilatorinfrastrukturen som har använts flitigt både av mikroprocessorindustrin som bas för produktutveckling och av akademin som grund för avancerad forskning och utveckling inom datorarkitektur och kompilatordesign. |
| 2000 | Lydia Kavraki | Originaltext (engelska)[ visaDölj] För hennes avgörande arbete med den probabilistiska färdplansmetoden som har orsakat ett paradigmskifte inom området för vägplanering och har många tillämpningar inom robotik, tillverkning, nanoteknik och beräkningsbiologi. |
| 2001 | George Nekyula | Originaltext (engelska)[ visaDölj] För hans framstående arbete med konceptet och implementeringen av Proof Carrying Code, som har haft en stor inverkan på området för programmeringsspråk och kompilatorer och har gett en ny riktning till tillämpningar av teorem som bevisar att programmera korrekthet, såsom säkerhet för mobiler kod och komponentbaserad programvara. |
| 2002 | Ramakrishnan | Originaltext (engelska)[ visaDölj] För hans framstående arbete med regler för gruvföreningar, som har lett till att föreningsregler har blivit ett viktigt datautvinningsverktyg såväl som en del av grundkursen i databas- och datautvinningskurser. |
| 2003 | Stephen Keckler | Originaltext (engelska)[ visaDölj] För banbrytande analys av teknologiska skalning för högpresterande processorer som kastar nytt ljus över de metoder som krävs för att upprätthålla prestandaförbättringstrender inom datorarkitektur, och på designimplikationerna för framtida högpresterande processorer och system. |
| 2004 | Jennifer Rexford | Originaltext (engelska)[ visaDölj] För modeller, algoritmer och utplacerade system som säkerställer stabil och effektiv internetrouting utan global samordning. |
| 2005 | Omer Reingold | Originaltext (engelska)[ visaDölj] För hans arbete med att hitta en deterministisk logaritmisk rymdalgoritm för ST-anslutning i oriktade grafer. |
| 2006 | Klein | Originaltext (engelska)[ visaDölj] För design av ett system som kan lära sig en högkvalitativ grammatik för engelska direkt från text. |
| 2007 | Vern Paxson | Originaltext (engelska)[ visaDölj] För sitt arbete med att mäta och karakterisera Internet. |
| 2008 | Dawson Engler | Originaltext (engelska)[ visaDölj] För hans banbrytande arbete med automatiserad programkontroll och felsökning. |
| 2009 | Tim Roughgarden | Originaltext (engelska)[ visaDölj] För sin forskning som kombinerar datavetenskap och spelteori för att analysera nätverksrouting bland egenintresserade parter. |
| 2010 | Craig | Originaltext (engelska)[ visaDölj] För hans banbrytande konstruktion av ett helt homomorft krypteringsschema, som möjliggör att godtyckliga beräkningar kan utföras på krypterad data utan att data dekrypteras. |
| 2011 | Louis von Ahn | Originaltext (engelska)[ visaDölj] För sin forskning i att utnyttja den mänskliga sidan av människa-datorinteraktion för beräkningsmål. |
| 2012 | Dina Katabi | Originaltext (engelska)[ visaDölj] För hennes framträdande bidrag till teorin och praktiken kring överbelastningskontroll och bandbreddsallokering. |
| Casado | Originaltext (engelska)[ visaDölj] För sitt arbete skapade rörelsen av Software Defined Networking (SDN), ett nytt paradigm inom forskning och praktik av datornätverk som tillhandahåller ett mjukvarualternativ till hårdvarubaserade nätverkskomponenter. | |
| 2013 | Pedro Felipe Felzenszwalb | Originaltext (engelska)[ visaDölj] För tekniska bidrag till problemet med objektdetektering i bilder som har haft en mycket stor inverkan inom områdena datorseende och maskininlärning. |
| 2014 | Sylvia Ratsanami | Originaltext (engelska)[ visaDölj] För hennes framstående arbete med distribuerade hashtabeller, ett grundläggande bidrag till utformningen av storskaliga distribuerade och decentraliserade datorsystem. |
| 2015 | Brent Waters | Originaltext (engelska)[ visaDölj] För introduktion och utveckling av begreppen Attribut-Based Encryption och Functional Encryption. |
| 2016 | Jeffrey | Originaltext (engelska)[ visaDölj] För att utveckla visualiseringsspråk som i grunden har förändrat hur människor bygger och interagerar med diagram och grafer över webben. |
| 2017 | Randles | Originaltext (engelska)[ visaDölj] För att utveckla HARVEY, en massivt parallell cirkulationssimuleringskod som kan modellera hela det mänskliga artärsystemet vid subcellulär upplösning och främja upptäckter som kommer att fungera som en grund för att förbättra diagnosen, förebyggandet och behandlingen av mänskliga sjukdomar. |
| 2018 | Konstantinos Daskalakis [1] och Michael J. Freedman [2] |
|