Paris Kanellakis Award
The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor "specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing". It was instituted in 1996, in memory of Paris C. Kanellakis, a computer scientist who died with his immediate family in an airplane crash in South America in 1995 (American Airlines Flight 965). The award is accompanied by a prize of $10,000 and is endowed by contributions from Kanellakis's parents, with additional financial support provided by four ACM Special Interest Groups (SIGACT, SIGDA, SIGMOD, and SIGPLAN), the ACM SIG Projects Fund, and individual contributions.
Winners
| class="wikitable"
!Year !Winners !Citation |
| 1996
|Leonard Adleman, Whitfield Diffie, Martin Hellman, Ralph Merkle, Ronald Rivest, and Adi Shamir |For "the conception and first effective realization of public-key cryptography". |
| 1997
|Abraham Lempel and Jacob Ziv |For their pioneering work in data compression, leading to their LZ algorithm which "yields the best compression rate achievable by finite-state encoders" and "can be found in virtually every modern computer". |
| 1998
|Randal Bryant, Edmund M. Clarke, E. Allen Emerson, and Kenneth L. McMillan |For "their invention of 'symbolic model checking', a method of formally checking system designs widely used in the computer hardware industry". |
| 1999
|Daniel Sleator and Robert Tarjan |For "invention of the widely used splay-tree data structure". |
| 2000
|For "his theoretical work in devising an interior point method for linear programming that provably runs in polynomial time, and for his implementation work suggesting that Interior Point methods could be effective for linear programming in practice as well as theory". |
| 2001
|For "his contribution to sequencing the human genome, the complete DNA content of a human cell, and encoding all of its genes, the basic building blocks of life". |
| 2002
|For "his seminal and sustained contributions to the theory and application of constrained channel coding". |
| 2003
|Gary Miller, Michael Rabin, Robert Solovay, and Volker Strassen |For "their contributions to realizing the practical uses of cryptography and for demonstrating the power of algorithms that make random choices", through work which "led to two probabilistic primality tests, known as the Solovay–Strassen test and the Miller–Rabin test". |
| 2004
|Yoav Freund and Robert Schapire |For their "seminal work and distinguished contributions [...] to the development of the theory and practice of boosting, a general and provably effective method of producing arbitrarily accurate prediction rules by combining weak learning rules"; specifically, for AdaBoost, their machine learning algorithm, which "can be used to significantly reduce the error of algorithms used in statistical analysis{{Broken anchor|date=2024-06-25|bot=User:Cewbot/log/20201008/configuration|target_link=Data analysis#Statistical methods|reason= }}, spam filtering, fraud detection, optical character recognition, and market segmentation, among other applications". |
| 2005
|Gerard Holzmann, Robert Kurshan, Moshe Vardi, and Pierre Wolper |For "their contribution to techniques that provide powerful formal verification tools for hardware and software systems". |
| 2006
|For "his innovative contributions to logic synthesis and electronic system simulation, which have made possible rapid circuit design technologies for the electronic design automation industry". |
| 2007
|For "his role in developing the theory of Groebner bases, which has become a crucial building block to computer algebra, and is widely used in science, engineering, and computer science". |
| 2008
|Corinna Cortes and Vladimir Vapnik |For "their revolutionary development of a highly effective algorithm known as support vector machines (SVM), a set of related supervised learning methods used for data classification and regression", which is "one of the most frequently used algorithms in machine learning, and is used in medical diagnosis, weather forecasting, and intrusion detection among many other practical applications". |
| 2009
|Mihir Bellare and Phillip Rogaway |For "their development of practice-oriented provable security, which has resulted in high-quality, cost-effective cryptography, a key component for Internet security in an era of explosive growth in online transactions". |
| 2010
|For "contributions to algorithm engineering that led to creation of the Library of Efficient Data types and Algorithms (LEDA)", a software collection of data structures and algorithms which "has been incorporated in the applied research programs of thousands of companies worldwide in telecommunications, bioinformatics, computer-aided design (CAD) and geographic information systems (GIS), banking, optical products, and transportation". |
| 2011
|For "pioneering research on quadtrees and other multidimensional spatial data structures for sorting spatial information, as well as his well-received books, which have profoundly influenced the theory and application of these structures". |
| 2012
|Andrei Broder, Moses S Charikar and Piotr Indyk |For "their groundbreaking work on locality-sensitive hashing that has had great impact in many fields of computer science including computer vision, databases, information retrieval, machine learning, and signal processing". |
| 2013
|Robert D. Blumofe, and Charles E. Leiserson |For "contributions to efficient and robust parallel computation through both provably efficient randomized scheduling protocols and a set of parallel-language primitives constituting the Cilk framework". They developed provably efficient randomized work stealing scheduling algorithms, and Cilk, a small set of linguistic primitives for programming multithreaded computations. |
| 2014
|For "contributions to algorithms and software for numerical linear algebra used in scientific computing and large-scale data analysis." |
| 2015
|For "groundbreaking contributions to erasure correcting codes, which are essential for improving the quality of video transmission over the Internet." |
| 2016
|For "the development of broadcast encryption and traitor tracing systems".{{cite web|title=ACM Honors Eminent Researchers for Technical Innovations: 2016 Recipients Made Contributions in Areas Including Big Data Analysis, Computer Vision, and Encryption|url=https://awards.acm.org/about/2016-technical-awards|access-date=2017-11-22|publisher=ACM}} |
| 2017
|For "pioneering contributions to fair queueing in packet-switching networks, which had a major impact on modern practice in computer communication."{{cite web|title=ACM Paris Kanellakis Theory and Practice Award: Scott J Shenker|url=https://awards.acm.org/award_winners/shenker_3005626|access-date=2019-05-16}} |
| 2018
|For "pioneering contributions to the theory, design, and implementation of algorithms for string reconstruction and to their applications in the assembly of genomes."{{cite web|title=ACM Paris Kanellakis Theory and Practice Award: Pavel Pevzner|url=https://awards.acm.org/award_winners/pevzner_4068235|access-date=2019-05-16}} |
| 2019
|Noga Alon, Phillip Gibbons, Yossi Matias and Mario Szegedy |For "seminal work on the foundations of streaming algorithms and their application to large-scale data analytics."{{Cite web|url=https://awards.acm.org/kanellakis|title=Creators of Balanced Allocations Paradigm Receive Kanellakis Award}} |
| 2020
|Yossi Azar, Andrei Broder, Anna Karlin, Michael Mitzenmacher, and Eli Upfal |For "the discovery and analysis of balanced allocations, known as the power of two choices, and their extensive applications to practice." |
| 2021
|Avrim Blum, Irit Dinur, Cynthia Dwork, Frank McSherry, Kobbi Nissim, and Adam D. Smith |For "fundamental contributions to the development of differential privacy."{{Cite web|url=https://awards.acm.org/kanellakis|title=Contributors to the Development of Differential Privacy Receive Kanellakis Award}} |
| 2022
|Michael Burrows, Paolo Ferragina, and Giovanni Manzini |For "inventing the BW-transform and the FM-index that opened and influenced the field of Compressed Data Structures with fundamental impact on data compression and computational biology."{{Cite web |title=ACM Paris Kanellakis Theory and Practice Award recipients invented the BW-transform and the FM-index |url=https://awards.acm.org/kanellakis |access-date=2023-07-11 |website=awards.acm.org |language=en}} |
| 2023
|Guy Blelloch, Julian Shun, and Laxman Dhulipala |For "contributions to algorithm engineering, including the Ligra, GBBS, and Aspen frameworks which revolutionized large-scale graph processing on shared-memory machines."{{Cite web |title=Contributors to Algorithm Engineering Receive Kanellakis Award |url=https://awards.acm.org/xpages/kanellakis/index |access-date=2024-06-19 |website=awards.acm.org |language=en}} |
See also
References
{{reflist|30em|refs=
|title=ACM SIGs: SIG Project Fund (SPF)
|publisher=ACM
|url=http://www.acm.org/sigs/sgb/spfinfo/ |access-date=2012-12-12}}
|title=Paris Kanellakis Theory and Practice Award
|publisher=ACM
|url=http://awards.acm.org/homepage.cfm?srt=all&awd=147
|access-date=2012-12-12
|archive-url=https://web.archive.org/web/20130330144704/http://awards.acm.org/homepage.cfm?srt=all&awd=147
|archive-date=2013-03-30
|url-status=dead
}}
|title=ACM Paris Kanellakis Award
|journal=Conduit |publisher=Brown CS Dept
|year=1996 |volume=5 |issue=1 |page=4
|url=http://www.cs.brown.edu/publications/conduit/conduit_v5n1.pdf#page=4}}
|title = The first Paris Kanellakis Theory and Practice Award goes to founders of public key cryptography
|date = 12 Feb 1997
|publisher = ACM
|url = http://www.acm.org/announcements/pkaward.html
|access-date = 2012-12-12
|url-status = dead
|archive-url = https://web.archive.org/web/20120211141338/http://www.acm.org/announcements/pkaward.html
|archive-date = 2012-02-11
}}
|title = The ACM Paris Kanellakis Theory and Practice Award goes to pioneers in data compression
|date = 26 Mar 1998
|publisher = ACM
|url = http://www.acm.org/announcements/kanellakis.html
|access-date = 2012-12-12
|url-status = dead
|archive-url = https://web.archive.org/web/20120211141344/http://www.acm.org/announcements/kanellakis.html
|archive-date = 2012-02-11
}}
|title = ACM bestows Kanellakis Award for development of 'symbolic model checking,' used in testing computer system designs
|date = 26 Mar 1999
|publisher = ACM
|url = http://www.acm.org/announcements/kanellakis99.html
|access-date = 2012-12-12
|url-status = dead
|archive-url = https://web.archive.org/web/20110605194419/http://www.acm.org/announcements/kanellakis99.html
|archive-date = 2011-06-05
}}
|title=ACM Paris Kanellakis Theory and Practice Award 1999
|publisher=ACM
|url=https://awards.acm.org/award_winners/sleator_0340141
|access-date=2017-11-22}}
|title = Interior point
|year = 2000
|publisher = ACM
|url = http://awards.acm.org/citation.cfm?id=0424282&srt=all&aw=147&ao=KANELLAK&yr=2000
|archive-url = https://web.archive.org/web/20120402212312/http://awards.acm.org/citation.cfm?id=0424282&srt=all&aw=147&ao=KANELLAK&yr=2000
|url-status = dead
|archive-date = 2012-04-02
|access-date = 2012-12-12
}}
|title = ACM honors developer of key software for sequencing the human genome
|date = 22 Jan 2002
|publisher = ACM
|url = http://www.acm.org/announcements/kanellakis_2001.html
|access-date = 2012-12-12
|url-status = dead
|archive-url = https://web.archive.org/web/20120211141411/http://www.acm.org/announcements/kanellakis_2001.html
|archive-date = 2012-02-11
}}
|title = ACM honors Peter Franaszek for contributions to data encoding
|date = 21 May 2003
|publisher = ACM
|url = http://www.acm.org/announcements/kanellakis_2002.html
|access-date = 2012-12-12
|url-status = dead
|archive-url = https://web.archive.org/web/20120211141420/http://www.acm.org/announcements/kanellakis_2002.html
|archive-date = 11 February 2012
}}
|title=ACM honors creators of methods to improve cryptography
|date=24 May 2004
|publisher=ACM
|url=http://www.acm.org/announcements/kanellakis.5-26-2004.html
|access-date=2012-12-12
|archive-url=https://web.archive.org/web/20120211141448/http://www.acm.org/announcements/kanellakis.5-26-2004.html
|archive-date=11 February 2012
|url-status=dead
}}
|title=ACM Paris Kanellakis Theory and Practice Award 2004
|publisher=ACM
|url=https://awards.acm.org/award_winners/freund_5914554
|access-date=2017-11-22}}
|title=ACM honors creators of verification tools for software, hardware
|date=15 Mar 2006 |publisher=ACM
|url=http://www.cs.rice.edu/~vardi/kanellakis.html |access-date=2012-12-12}}
|title = ACM honors electronic design automation technologies pioneer
|date = 29 Mar 2007
|publisher = ACM
|url = http://www.acm.org/press-room/news-releases-2007/kanellakis
|access-date = 2012-12-12
|url-status = dead
|archive-url = https://web.archive.org/web/20121202054815/http://www.acm.org/press-room/news-releases-2007/kanellakis
|archive-date = 2012-12-02
}}
|title = ACM Kanellakis Award honors innovator of automated tools for mathematics
|date = 13 May 2008
|publisher = ACM
|url = http://www.acm.org/press-room/awards/kanellakis-award-07
|access-date = 2012-12-12
|url-status = dead
|archive-url = https://web.archive.org/web/20130502005225/http://www.acm.org/press-room/awards/kanellakis-award-07/
|archive-date = 2 May 2013
}}
|title = ACM awards recognize innovators in computer science
|date = 17 Mar 2009
|publisher = ACM
|url = http://www.acm.org//press-room/awards/awards-08-groupa
|access-date = 2012-12-12
|url-status = dead
|archive-url = https://web.archive.org/web/20130502005750/http://www.acm.org/press-room/awards/awards-08-groupa/
|archive-date = 2013-05-02
}}
|title = ACM awards recognize computer scientists for innovations that have real world impact
|date = 30 Mar 2010
|publisher = ACM
|url = http://www.acm.org/press-room/news-releases/2010/awards-09-groupa
|access-date = 2012-12-12
|url-status = dead
|archive-url = https://web.archive.org/web/20121202052752/http://www.acm.org/press-room/news-releases/2010/awards-09-groupa
|archive-date = 2012-12-02
}}
|title = ACM honors computing innovators for advances in research, commerce and education
|date = 6 Apr 2011
|publisher = ACM
|url = http://www.acm.org/press-room/awards/technical-awards-2010
|access-date = 2012-12-12
|url-status = dead
|archive-url = https://web.archive.org/web/20130502010135/http://www.acm.org/press-room/awards/technical-awards-2010/
|archive-date = 2013-05-02
}}
|title = ACM honors computing innovators for advances in research, education, and industry
|date = 26 Apr 2012
|publisher = ACM
|url = http://www.acm.org/press-room/awards/technical-awards-2011
|access-date = 2012-12-12
|url-status = dead
|archive-url = https://web.archive.org/web/20130502010437/http://www.acm.org/press-room/awards/technical-awards-2011/
|archive-date = 2013-05-02
}}
|title=ACM Paris Kanellakis Theory and Practice Award 2012
|publisher=ACM
|url=http://awards.acm.org/homepage.cfm?srt=all&awd=147
|access-date=2013-05-05
|archive-url=https://web.archive.org/web/20130330144704/http://awards.acm.org/homepage.cfm?srt=all&awd=147
|archive-date=2013-03-30
|url-status=dead
}}
|title=ACM Paris Kanellakis Theory and Practice Award 2013
|publisher=ACM
|url=https://awards.acm.org/award_winners/leiserson_1506955
|access-date=2017-11-22}}
|title=ACM Paris Kanellakis Theory and Practice Award 2014
|publisher=ACM
|url=http://awards.acm.org/award_winners/demmel_6010135.cfm#147
|access-date=2015-07-17}}
|title=ACM Paris Kanellakis Theory and Practice Award 2015
|publisher=ACM
|url=http://awards.acm.org/award_winners/luby_4157467.cfm
|access-date=2016-04-29}}
|title=ACM Paris Kanellakis Theory and Practice Award 2016
|publisher=ACM
|url=https://awards.acm.org/award_winners/fiat_8021946
|access-date=2017-11-22}}
}}
External links
- [https://awards.acm.org/kanellakis Paris Kanellakis Theory and Practice Award] on the ACM website.
- [http://util.acm.org/boards/listing.cfm?id=147 The Paris Kanellakis Theory and Practice Award Committee] on the ACM website.
{{Kanellakis Award laureates|state=expanded}}
{{Association for Computing Machinery}}