Paris Kanellakis Award

Das Paris Kanellakis Theory and Practice Award wird jährlich von der gewährt Verband für Rechenmaschinen (ACM) zu ehren "spezifische theoretische Errungenschaften, die einen signifikanten und nachweisbaren Einfluss auf die Computerpraxis hatten".[1] Es wurde 1996 in Erinnerung an eingerichtet Paris C. Kanellakis, a Informatiker der 1995 mit seiner unmittelbaren Familie bei einem Flugzeugabsturz in Südamerika starb ((American Airlines Flug 965).[2] Die Auszeichnung wird von einem Preis von 10.000 US -Dollar begleitet und wird von Beiträgen der Eltern von Kanellakis ausgestattet, wobei zusätzliche finanzielle Unterstützung von vier ACM -Sondergruppen bereitgestellt wird ((ACM -Sondergruppen) (Sigakt, Sigda, Sigmod, und Sigplan), der ACM Sig Projects Fund,[3] und individuelle Beiträge.[1]

Gewinner

Jahr Gewinner Zitat
1996 Leonard Adleman, Whitfield Diffie, Martin Hellman, Ralph Merkle, Ronald Rivest, und Adi Shamir Für "die Konzeption und die erste effektive Erkenntnis von Kryptographie der Öffentlichkeit".[4]
1997 Abraham Lempel und Jacob Ziv Für ihre Pionierarbeit in Datenkompression, führt zu ihrem LZ -Algorithmus das "ergibt das Beste Druckrate Erreicht durch Finite-State-Encoder "und" Sie können in praktisch jedem modernen Computer gefunden werden ".[5]
1998 Randal Bryant, Edmund M. Clarke, E. Allen Emersonund Kenneth L. McMillan Für "ihre Erfindung von 'Symbolische Modellprüfung"Eine Methode zur formellen Überprüfung von Systemkonstruktionen, die in der Computerhardwarebranche weit verbreitet sind".[6]
1999 Daniel Sleator und Robert Tarjan Zur "Erfindung der weit verbreiteten Spreizdatenstruktur".[7]
2000 Narendra Karmarkar Für "seine theoretische Arbeit bei der Entwicklung eines Innenpunktmethode zum Lineares Programmieren Das läuft nachdenklich in Polynomzeitund für seine Implementierungsarbeiten, die darauf hindeuten, dass Innenausstattungsmethoden sowohl für die lineare Programmierung in der Praxis als auch für die Theorie wirksam sein könnten. "[8]
2001 Eugene Myers Für "seinen Beitrag zu Sequenzierung das menschliche Genom, das vollständige DNA Inhalt eines Menschen Zelle, und codieren alle seine Gene, die grundlegenden Bausteine ​​des Lebens ".[9]
2002 Peter Franaszek Für "seine wegweisenden und anhaltenden Beiträge zur Theorie und Anwendung von eingeschränkte Kanalcodierung".[10]
2003 Gary Miller, Michael Rabin, Robert Solovay, und Volker Strassen Für "ihre Beiträge zur Verwirklichung der praktischen Verwendungen der Kryptographie und zur Demonstration der Kraft von Algorithmen, die zufällige Entscheidungen treffen", durch Arbeiten, die "zu zwei probabilistischen Primalitätstests, bekannt als Solovay -Strassen -Test und die Miller -Rabin -Test".[11]
2004 Yoav Freund und Robert Schapire Für ihre "wegweisenden Arbeit und angesehenen Beiträge [...] zur Entwicklung der Theorie und Praxis von erhöhen, eine allgemeine und nachweislich wirksame Methode zur Erzeugung willkürlich genauer Vorhersageregeln durch Kombination schwacher Lernregeln "; speziell für Adaboost, ihr maschinelles Lernen Algorithmus, der "verwendet werden kann, um den Fehler der in verwendeten Algorithmen erheblich zu verringern statistische Analyse, Spamfilterung, Entdeckung eines Betruges, optische Zeichenerkennung, und Marktsegmentierungunter anderen Anwendungen ".[12]
2005 Gerard Holzmann, Robert Kurshan, Moshe Vardi, und Pierre Wolper Für "ihren Beitrag zu Techniken, die mächtig sind formelle Überprüfung Tools für Hardware- und Softwaresysteme ".[13]
2006 Robert Brayton Für "seine innovativen Beiträge zu" Logiksynthese und elektronisches System Simulation, die es schnell ermöglicht haben Schaltungsdesign Technologien für die elektronische Designautomatisierung Industrie".[14]
2007 Bruno Buchberger Für "seine Rolle bei der Entwicklung der Theorie von Groebner Basen, was zu einem entscheidenden Baustein geworden ist, um Computeralgebraund wird häufig in Wissenschaft, Ingenieurwesen und Informatik verwendet ".[15]
2008 Corinna Cortes und Vladimir Vapnik Für "ihre revolutionäre Entwicklung eines hochwirksamen Algorithmus, der als bekannt ist Support-Vektor-Maschinen (SVM), eine Reihe von verwandten überwachtes Lernen Methoden verwendet für Datenklassifizierung und Regression", was" ist "eines der am häufigsten verwendeten Algorithmen in maschinelles Lernen, und wird in verwendet medizinische Diagnose, Wettervorhersage, und Intrusionserkennung unter vielen anderen praktischen Anwendungen ".[16]
2009 Mihir Bellare und Phillip Rogaway Für "ihre Entwicklung der praktikorientierten Entwicklung Nachweisbarer Sicherheit, was zu qualitativ hochwertiger, kostengünstiger geführt hat Kryptographie, eine Schlüsselkomponente für Internet sicherheit in einer Zeit des explosiven Wachstums in Online -Transaktionen ".[17]
2010 Kurt Mehlhorn Für "Beiträge zur Algorithmus -Engineering, die zur Schaffung der geführt haben Bibliothek effizienter Datentypen und Algorithmen (LEDA) ", eine Softwaresammlung von Datenstrukturen und Algorithmen, die "in die angewandten Forschungsprogramme von Tausenden von Unternehmen weltweit einbezogen wurden Telekommunikation, Bioinformatik, computergestütztes Design (CAD) und Geografisches Informationssystem (GIS), Bankwesen, optische Produkte und Transport ".[18]
2011 Hanan Samet Für "wegweisende Forschung auf Quadtrees und andere mehrdimensionale räumliche Datenstrukturen Zur Sortierung räumlicher Informationen sowie seine gut aufgenommenen Bücher, die die Theorie und Anwendung dieser Strukturen zutiefst beeinflusst haben. "[19]
2012 Andrei Broder, Moses S Charikar und Piotr Indyk Für "ihre bahnbrechende Arbeit an lokalempfindliches Hashing Das hatte große Auswirkungen in vielen Bereichen der Informatik, einschließlich Computer Vision, Datenbanken, Informationsrückgewinnung, maschinelles Lernen und Signalverarbeitung".[20]
2013 Robert D. Blumofe und Charles E. Leiserson Für "Beiträge zu effizienten und robusten parallele Berechnung durch nachweislich effizient randomisierte Planungsprotokolle als auch eine Reihe parallelsprachiger Primitiven, die das Cilk-Framework darstellen".[21] Sie entwickelten nachweislich effizient randomisiert Arbeit stehlen Planungsalgorithmen und Cilk, ein kleiner Satz sprachlicher Primitive zur Programmierung von Multithread -Berechnungen.[21]
2014 James Demmel Für "Beiträge zu Algorithmen und Software für numerische lineare Algebra, die in wissenschaftlicher Computing und großräumiger Datenanalyse verwendet werden".[22]
2015 Michael Luby Für "bahnbrechende Beiträge an Löschen von Codes, die für die Verbesserung der Qualität der Videoübertragung über das Internet unerlässlich sind. "[23]
2016 Amos Fiat und Moni Naor Für die Entwicklung von Broadcast -Verschlüsselung und Verräterverfolgung Systeme ".[24][25]
2017 Scott Shenker Für "wegweisende Beiträge zur fairen Warteschlange in Paketnetzwerke, was einen großen Einfluss auf die moderne Praxis in der Computerkommunikation hatte. "[26]
2018 Pavel A. Pevzner Für "wegweisende Beiträge zur Theorie, zum Design und zur Implementierung von Algorithmen für die String -Rekonstruktion und zu ihren Anwendungen in der Versammlung von Genomen. "[27]
2019 Noga Alon, Phillip Gibbons, Yossi Matias und Mario Szegedy Für "wegweisende Arbeiten zu den Grundlagen von Streaming-Algorithmen und deren Anwendung auf groß angelegte Datenanalysen".[28]
2020 Yossi Azar, Andrei Broder, Anna Karlin, Michael Mitzenmacher, und Eli Upfal Für "die Entdeckung und Analyse ausgewogener Zuteilungen, die als Kraft zweier Entscheidungen bezeichnet werden, und deren umfangreiche Anwendungen für die Praxis".[29]
2021 Avrim Blum, IRIT DINUR, Cynthia Dwork, Frank McSerry, Kobbi Nissim, und Adam D. Smith Für "grundlegende Beiträge zur Entwicklung differentieller Privatsphäre".[30]

Siehe auch

Verweise

  1. ^ a b "Paris Kanellakis Theory and Practice Award". ACM. Archiviert von das Original Am 2013-03-30. Abgerufen 2012-12-12.
  2. ^ "ACM Paris Kanellakis Award" (PDF). Leitung. Braun CS -Abteilung. 5 (1): 4. 1996.
  3. ^ "ACM SIGS: Sig Project Fund (SPF)". ACM. Abgerufen 2012-12-12.
  4. ^ "Der erste Pariser Kanellakis Theory and Practice Award geht an Gründer der öffentlichen Schlüsselkryptographie" (Pressemitteilung). ACM. 12. Februar 1997. archiviert von das Original Am 2012-02-11. Abgerufen 2012-12-12.
  5. ^ "Der ACM Paris Kanellakis Theory and Practice Award geht an Pioniere in der Datenkomprimierung" (Pressemitteilung). ACM. 26. März 1998. archiviert von das Original Am 2012-02-11. Abgerufen 2012-12-12.
  6. ^ "ACM verleiht den Kanellakis Award für die Entwicklung von" symbolischen Modellüberprüfungen ", die zum Testen von Computersystemkonstruktionen verwendet werden." (Pressemitteilung). ACM. 26. März 1999. archiviert von das Original Am 2011-06-05. Abgerufen 2012-12-12.
  7. ^ "ACM Paris Kanellakis Theory and Practice Award 1999". ACM. Abgerufen 2017-11-22.
  8. ^ "Innenpunkt" (Pressemitteilung). ACM. 2000. archiviert von das Original Am 2012-04-02. Abgerufen 2012-12-12.
  9. ^ "ACM ehrt Entwickler der Schlüsselsoftware zur Sequenzierung des menschlichen Genoms" (Pressemitteilung). ACM. 22. Januar 2002. archiviert von das Original Am 2012-02-11. Abgerufen 2012-12-12.
  10. ^ "ACM ehrt Peter Franaszek für Beiträge zur Datencodierung" (Pressemitteilung). ACM. 21. Mai 2003. archiviert von das Original am 11. Februar 2012. Abgerufen 2012-12-12.
  11. ^ "ACM ehrt Macher von Methoden zur Verbesserung der Kryptographie" (Pressemitteilung). ACM. 24. Mai 2004. archiviert von das Original am 11. Februar 2012. Abgerufen 2012-12-12.
  12. ^ "ACM Paris Kanellakis Theory and Practice Award 2004". ACM. Abgerufen 2017-11-22.
  13. ^ "ACM ehrt Ersteller von Verifizierungstools für Software, Hardware" (Pressemitteilung). ACM. 15. März 2006. Abgerufen 2012-12-12.
  14. ^ "ACM Honors Electronic Design Automation Technologies Pioneer" (Pressemitteilung). ACM. 29. März 2007. archiviert von das Original Am 2012-12-02. Abgerufen 2012-12-12.
  15. ^ "ACM Kanellakis Award ehrt den Innovator für automatisierte Tools für Mathematik" (Pressemitteilung). ACM. 13. Mai 2008. archiviert von das Original am 2. Mai 2013. Abgerufen 2012-12-12.
  16. ^ "ACM Awards erkennen Innovatoren in der Informatik an" (Pressemitteilung). ACM. 17. März 2009. archiviert von das Original Am 2013-05-02. Abgerufen 2012-12-12.
  17. ^ "ACM Awards erkennen Informatiker für Innovationen mit Auswirkungen auf die reale Welt." (Pressemitteilung). ACM. 30. März 2010. archiviert von das Original Am 2012-12-02. Abgerufen 2012-12-12.
  18. ^ "ACM Honors Computing Innovatoren für Fortschritte in Forschung, Handel und Bildung" (Pressemitteilung). ACM. 6. April 2011. archiviert von das Original Am 2013-05-02. Abgerufen 2012-12-12.
  19. ^ "ACM Honors Computing Innovatoren für Fortschritte in Forschung, Bildung und Industrie" (Pressemitteilung). ACM. 26. April 2012. archiviert von das Original Am 2013-05-02. Abgerufen 2012-12-12.
  20. ^ "ACM Paris Kanellakis Theory and Practice Award 2012". ACM. Archiviert von das Original Am 2013-03-30. Abgerufen 2013-05-05.
  21. ^ a b "ACM Paris Kanellakis Theory and Practice Award 2013". ACM. Abgerufen 2017-11-22.
  22. ^ "ACM Paris Kanellakis Theory and Practice Award 2014". ACM. Abgerufen 2015-07-17.
  23. ^ "ACM Paris Kanellakis Theory and Practice Award 2015". ACM. Abgerufen 2016-04-29.
  24. ^ "ACM Paris Kanellakis Theory and Practice Award 2016". ACM. Abgerufen 2017-11-22.
  25. ^ "ACM ehrt bedeutende Forscher für technische Innovationen: Die Empfänger 2016 leisteten Beiträge in Bereichen wie Big -Data -Analyse, Computer Vision und Verschlüsselung". ACM. Abgerufen 2017-11-22.
  26. ^ "ACM Paris Kanellakis Theory and Practice Award: Scott J Shenker". Abgerufen 2019-05-16.
  27. ^ "ACM Paris Kanellakis Theory and Practice Award: Pavel Pevzner". Abgerufen 2019-05-16.
  28. ^ "Schöpfer des ausgewogenen Allocations Paradigm erhalten den Kanellakis Award".
  29. ^ "Schöpfer des ausgewogenen Allocations Paradigm erhalten den Kanellakis Award".
  30. ^ "Mitwirkenden zur Entwicklung der unterschiedlichen Privatsphäre erhalten den Kanellakis Award".

Externe Links