파리 카넬라키스상

Paris Kanellakis Award

Paris Kanelakis Theory and Practice Award는 컴퓨터 기계 협회(ACM)가 매년 수여하는 상으로, [1]「컴퓨팅의 실천에 유의하고 실증 가능한 영향을 준 특정의 이론적 업적」을 기리고 있습니다.1996년 파리 C를 기념하여 설립되었습니다. 1995년 남미에서 비행기 사고로 직계 가족과 함께 사망한 컴퓨터 과학자 카넬라키스(American Airlines 965편).[2]상금은 $10,000이며, Kanellakis 부모의 기부금으로 제공되며, 4개의 ACM Special Interest Group(SIGACT, SIGDA, SIGMOD 및 SIGPLAN), ACM SIG 프로젝트 기금 [3]및 개인 [1]기부금이 추가로 제공됩니다.

수상자

연도 수상자 인용문
1996 레너드 애들먼, 휘트필드 디피, 마틴 헬먼, 랄프 머클, 로널드 리베스트, 아디 샤미르 「공개 키 암호의 개념과 최초의 효과적인 실현」[4]을 위해서.
1997 아브라함 렘펠과 제이콥 지브 데이터 압축에 대한 선구적인 연구로, "유한 상태 인코더가 달성할 수 있는 최고의 압축률"과 "거의 모든 최신 컴퓨터에서 [5]찾을 수 있는" LZ 알고리즘이 탄생했습니다.
1998 랜달 브라이언트, 에드먼드 M. 클라크, E. 앨런 에머슨, 케네스 L. 맥밀런 컴퓨터 하드웨어 [6]업계에서 널리 사용되는 시스템 설계를 공식적으로 확인하는 방법인 '심볼 모델 검사'의 발명을 위해.
1999 다니엘 슬레이터와 로버트 타잔 "일반적으로 사용되는 스플레이 트리 데이터 구조의 발명"[7]을 위해.
2000 나렌드라 카르마르카 "다항식 시간에 실행 가능한 선형 프로그래밍을 위한 내부 포인트 방법을 고안한 그의 이론적 연구, 그리고 내부 포인트 방법이 [8]이론뿐만 아니라 실제로 선형 프로그래밍에 효과적일 수 있음을 시사하는 그의 구현 연구"를 위해.
2001 유진 마이어스 "인간 세포의 완전한 DNA 함량인 인간 게놈의 염기서열 분석과 모든 유전자 부호화에 대한 그의 공헌, 생명의 기본 구성 요소"[9]
2002 피터 프란제크 "제한된 채널 [10]코딩의 이론과 적용에 대한 그의 결정적이고 지속적인 공헌"을 위해.
2003 게리 밀러, 마이클 라빈, 로버트 솔로베이, 볼커 스트라센 "Solovay-Strassen 테스트와 Miller-Rabin [11]테스트로 알려진 두 가지 확률론적 우선성 테스트에 이르게 된" 작업을 통해 "암호화의 실용적 사용을 실현하고 랜덤 선택을 하는 알고리즘의 힘을 입증하는 데 기여"했다.
2004 요브 프룬트와 로버트 샤파이어 특히 AdaBoost의 경우 "약점 학습 규칙을 조합하여 임의적으로 정확한 예측 규칙을 작성하는 일반적이고 입증 가능한 방법인 부스트 이론과 실천 개발에 대한 세미나와 탁월한 공헌[...]"을 위해 "대폭 감소에 사용할 수 있다"는 기계 학습 알고리즘인 AdaBoost의 경우e 통계 분석, 스팸 필터링, 사기 탐지, 광학 문자 인식 및 시장 세분화에 사용되는 알고리즘의 오류.[12]
2005 제라르 홀츠만, 로버트 쿠르샨, 모셰 바르디, 피에르 울퍼 "하드웨어 [13]및 소프트웨어 시스템에 강력한 공식 검증 도구를 제공하는 기술에 대한 기여"
2006 로버트 브레이튼 "로직 합성 및 전자 시스템 시뮬레이션에 대한 그의 혁신적인 공헌으로 전자 설계 자동화 산업을 위한 고속 회로 설계 기술을 가능하게 했다."[14]
2007 브루노 부크버거 "컴퓨터 대수학의 중요한 구성요소가 되고 과학, 공학, 컴퓨터 [15]과학에서 널리 사용되는 그로브너 기초 이론을 개발하는 그의 역할"을 위해.
2008 코리나 코르테스와 블라디미르 바프니크 "서포트 벡터 머신(SVM)으로 알려진 매우 효과적인 알고리즘의 혁신적인 개발"을 위해 데이터 분류 및 회귀에 사용되는 일련의 관련 지도 학습 방법"은 "머신 러닝에서 가장 자주 사용되는 알고리즘 중 하나이며 의료 진단, 일기 예보 및 침입 탐지에 사용됩니다.다른 많은 실용적인 응용 프로그램들 중에서요."[16]
2009 미히르 벨라레와 필립 로가웨이 「실천 중심의 증명 가능한 시큐러티의 개발로, 고품질의 코스트 효율이 높은 암호화가 실현되었습니다.이것에 의해, 온라인 거래가 폭발적으로 증가하는 시대에, 인터넷 시큐러티의 중요한 요소가 됩니다.」[17]
2010 커트 멜혼 "효율적인 데이터 유형 및 알고리즘 라이브러리(LEDA)의 창설을 이끈 알고리즘 엔지니어링에 대한 기여"는 "전기통신, 생물정보학, 컴퓨터 지원 설계(CAD) 등 전 세계 수천 개 기업의 응용 연구 프로그램에 통합된 데이터 구조 및 알고리즘의 소프트웨어 모음입니다.nd Geographic Information Systems(GIS; 지리정보시스템), 은행업, 광학제품, 교통.[18]
2011 하난사멧 "공간 정보를 분류하기 위한 4차원 및 기타 다차원 공간 데이터 구조에 대한 선구적 연구 및 이러한 구조의 이론과 적용에 지대한 영향을 미친 그의 호평을 받은 책"[19]을 위해.
2012 안드레이 브로더, 모세 S 샤리카르, 표트르 인디크 "컴퓨터 비전, 데이터베이스, 정보 검색, 기계 학습, 신호 처리 [20]등 컴퓨터 과학 분야에서 큰 영향을 미친 지역감응 해시에 대한 획기적인 연구"
2013 로버트 D. 블루모프, 그리고 찰스 E. 리저슨 "실크 프레임워크를 구성하는 입증 가능한 효율적인 랜덤 스케줄링 프로토콜과 일련의 병렬 언어 프리미티브를 통해 효율적이고 강력한 병렬 계산에 기여"[21]이들은 스케줄링 알고리즘을 훔치는 입증 가능한 효율적인 랜덤화 작업과 멀티스레드 [21]컴퓨팅 프로그래밍을 위한 작은 언어적 프리미티브 세트인 Cilk를 개발했습니다.
2014 제임스 뎀멜 "과학 컴퓨팅 및 대규모 데이터 [22]분석에 사용되는 수치 선형 대수 알고리즘 및 소프트웨어에 대한 기여"
2015 마이클 루비 "[23]인터넷을 통한 비디오 전송의 품질 향상에 필수적인 소거 수정 코드에 대한 획기적인 공헌"
2016 아모스 피아트와 모니 나오르 "브로드캐스트 암호화 및 배신자 추적 시스템 개발"[24][25]을 위한 것입니다.
2017 스콧 셴커 "패킷 교환 네트워크에서의 공정한 큐잉에 대한 선구적인 공헌을 위해, 이는 컴퓨터 [26]통신의 현대적 관행에 큰 영향을 미쳤다."
2018 파벨 A페브즈너 "줄 재구성을 위한 알고리즘의 이론, 설계 및 구현과 게놈 조립에서의 그 응용에 대한 선구적 공헌"을 위해."[27]
2019 노가 알론, 필립 기븐스, 요시 마티아스, 마리오 스제게디 "스트리밍 알고리즘의 기초와 [28]대규모 데이터 분석에 대한 그 적용에 관한 세미날 작업"
2020 Yossi Azar, Andrei Broder, Anna Karlin, Michael Mitzenmacher, Eli Upfal "두 가지 선택지의 힘으로 알려진 균형 잡힌 할당의 발견과 분석과 그 광범위한 응용 프로그램 실행"[29]을 위한 것입니다.
2021 에이브림 블럼, 이리트 다이너, 신시아 드워크, 프랭크 맥셰리, 코비 닛심, 아담 D. 스미스 "[30]차등 프라이버시 개발에 대한 근본적인 기여"를 위해.

「 」를 참조해 주세요.

레퍼런스

  1. ^ a b "Paris Kanellakis Theory and Practice Award". ACM. Archived from the original on 2013-03-30. Retrieved 2012-12-12.
  2. ^ "ACM Paris Kanellakis Award" (PDF). Conduit. Brown CS Dept. 5 (1): 4. 1996.
  3. ^ "ACM SIGs: SIG Project Fund (SPF)". ACM. Retrieved 2012-12-12.
  4. ^ "The first Paris Kanellakis Theory and Practice Award goes to founders of public key cryptography" (Press release). ACM. 12 Feb 1997. Archived from the original on 2012-02-11. Retrieved 2012-12-12.
  5. ^ "The ACM Paris Kanellakis Theory and Practice Award goes to pioneers in data compression" (Press release). ACM. 26 Mar 1998. Archived from the original on 2012-02-11. Retrieved 2012-12-12.
  6. ^ "ACM bestows Kanellakis Award for development of 'symbolic model checking,' used in testing computer system designs" (Press release). ACM. 26 Mar 1999. Archived from the original on 2011-06-05. Retrieved 2012-12-12.
  7. ^ "ACM Paris Kanellakis Theory and Practice Award 1999". ACM. Retrieved 2017-11-22.
  8. ^ "Interior point" (Press release). ACM. 2000. Archived from the original on 2012-04-02. Retrieved 2012-12-12.
  9. ^ "ACM honors developer of key software for sequencing the human genome" (Press release). ACM. 22 Jan 2002. Archived from the original on 2012-02-11. Retrieved 2012-12-12.
  10. ^ "ACM honors Peter Franaszek for contributions to data encoding" (Press release). ACM. 21 May 2003. Archived from the original on 11 February 2012. Retrieved 2012-12-12.
  11. ^ "ACM honors creators of methods to improve cryptography" (Press release). ACM. 24 May 2004. Archived from the original on 11 February 2012. Retrieved 2012-12-12.
  12. ^ "ACM Paris Kanellakis Theory and Practice Award 2004". ACM. Retrieved 2017-11-22.
  13. ^ "ACM honors creators of verification tools for software, hardware" (Press release). ACM. 15 Mar 2006. Retrieved 2012-12-12.
  14. ^ "ACM honors electronic design automation technologies pioneer" (Press release). ACM. 29 Mar 2007. Archived from the original on 2012-12-02. Retrieved 2012-12-12.
  15. ^ "ACM Kanellakis Award honors innovator of automated tools for mathematics" (Press release). ACM. 13 May 2008. Archived from the original on 2 May 2013. Retrieved 2012-12-12.
  16. ^ "ACM awards recognize innovators in computer science" (Press release). ACM. 17 Mar 2009. Archived from the original on 2013-05-02. Retrieved 2012-12-12.
  17. ^ "ACM awards recognize computer scientists for innovations that have real world impact" (Press release). ACM. 30 Mar 2010. Archived from the original on 2012-12-02. Retrieved 2012-12-12.
  18. ^ "ACM honors computing innovators for advances in research, commerce and education" (Press release). ACM. 6 Apr 2011. Archived from the original on 2013-05-02. Retrieved 2012-12-12.
  19. ^ "ACM honors computing innovators for advances in research, education, and industry" (Press release). ACM. 26 Apr 2012. Archived from the original on 2013-05-02. Retrieved 2012-12-12.
  20. ^ "ACM Paris Kanellakis Theory and Practice Award 2012". ACM. Archived from the original on 2013-03-30. Retrieved 2013-05-05.
  21. ^ a b "ACM Paris Kanellakis Theory and Practice Award 2013". ACM. Retrieved 2017-11-22.
  22. ^ "ACM Paris Kanellakis Theory and Practice Award 2014". ACM. Retrieved 2015-07-17.
  23. ^ "ACM Paris Kanellakis Theory and Practice Award 2015". ACM. Retrieved 2016-04-29.
  24. ^ "ACM Paris Kanellakis Theory and Practice Award 2016". ACM. Retrieved 2017-11-22.
  25. ^ "ACM Honors Eminent Researchers for Technical Innovations: 2016 Recipients Made Contributions in Areas Including Big Data Analysis, Computer Vision, and Encryption". ACM. Retrieved 2017-11-22.
  26. ^ "ACM Paris Kanellakis Theory and Practice Award: Scott J Shenker". Retrieved 2019-05-16.
  27. ^ "ACM Paris Kanellakis Theory and Practice Award: Pavel Pevzner". Retrieved 2019-05-16.
  28. ^ "Creators of Balanced Allocations Paradigm Receive Kanellakis Award".
  29. ^ "Creators of Balanced Allocations Paradigm Receive Kanellakis Award".
  30. ^ "Contributors to the Development of Differential Privacy Receive Kanellakis Award".

외부 링크