시그널 플랜

이 글은 검증을 위해 추가 인용문이 필요합니다. 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선하는 데 도움을 주십시오. 조달되지 않은 자재는 제거될 수 있습니다.출처 : "SIGPLAN" – 뉴스 · 신문 · 서적 · 학자 · JSTOR (2011년 8월) (이 템플릿 메시지 삭제 방법 및 삭제 시기 확인)

SIGPLAN은 프로그래밍 언어에 관한 컴퓨터 협회 특별 이익 그룹입니다.

회의

• 프로그래밍 언어 원리(POPL)
• 프로그래밍 언어 설계 및 구현(PLDI)
• 메모리 관리에 관한 국제 심포지엄(ISMM)
• 임베디드 시스템용 언어, 컴파일러 및 도구(LCTES)
• 병렬 프로그래밍의 원칙과 실천에 관한 심포지엄(PPoPP)
• 국제 기능 프로그래밍 회의
• 시스템, 프로그래밍, 언어 및 응용 프로그램: Software for Humanity (SPLASH)
• 객체 지향 프로그래밍, 시스템, 언어 및 애플리케이션(OOPSLA)
• 프로그래밍 언어의 역사(HOPL)
• 동적 언어 심포지엄(DLS)

관련 저널

• 아키텍처 및 코드 최적화에 관한 ACM 트랜잭션
• 프로그래밍 언어 및 시스템에서의 ACM 트랜잭션
• 프로그래밍 언어에 관한 ACM의 절차

뉴스레터

• SIGPLAN 통지 - ISSN1558-1160ISSN0362-1340 - ACM 홈페이지
• Fortran 포럼 - ISSN 1061-7264 ISSN 1931-1311
• 리스프 포인터(1995년 최종호) - ISSN 1045-3563
• OOPS Messenger (1990~1996년) - ISSN 1558-0253 ISSN 1055-6400

어워드

프로그래밍 언어 소프트웨어상

• 2021: Web^[1] Assembly
• 2020: 핀(컴퓨터 프로그램)^[2]
• 2019: Scala (프로그래밍 언어)^[3]
• 2018: 라켓 (프로그래밍 언어)^[4]
• 2016년 : V8 (JavaScript 엔진)^[4]
• 2015년: Z3 정리^[4] 프로버
• 2014: GNU 컴파일러 컬렉션(GCC)^[4]
• 2013년 : Coq 인증^[5] 어시스턴트
• 2012년: Jikes Research Virtual Machine(RVM)^[6]
• 2011년: Simon Peyton Jones 및 Simon Marlow (Glasgow Haskell 컴파일러)^[7]
• 2010년 : Chris Ratner (LLVM)^[8][9]

프로그래밍 언어 업적상

프로그래밍 ^[10]언어 분야에서 중요하고 지속적인 공헌을 한 개인 또는 개인을 표창합니다.

• 2020년: Hans-J. 보엠
• 2019년 : Alex Aiken
• 2017년: 토마스 W. 렙스
• 2016년: 사이먼 페이튼 존스
• 2015: 루카 카르델리
• 2014년: Neil D. 존스
• 2013년 : 패트릭 쿠소와 라디아 쿠소
• 2012: 마티아스 펠라이슨
• 2011년: Tony Hoare
• 2010: 고든 플로트킨
• 2009년: 로드 버스톨
• 2008년: 바바라 리스코프
• 2007: 니클라우스 워스
• 2006년: 론 사이트론, 잔 페란테, 배리 K. 로젠, 마크 웨그만, 케네스 자덱
• 2005년: 에리히 감마, 리처드 헬름, 랄프 존슨, 존 블리시데스
• 2004년: John Backus
• 2003: John C. 레이놀즈
• 2002: 존 매카시
• 2001: 로빈 밀너
• 2000: 수잔 그레이엄
• 1999년: Ken Ken Kennedy
• 1998: 프랜 앨런
• 1997: 가이 스틸

로빈 밀너 젊은 연구원상

프로그래밍 언어 분야에서 젊은 연구자들의 탁월한 공헌을 인정합니다.이 상은 컴퓨터 과학자인 로빈 ^[11]밀너의 이름을 딴 것이다.

• 2019년 : 마틴 베체프
• 2018: 란짓 잘라
• 2017: 데릭 드레이어
• 2016년 : 스테파니 위리히
• 2015년: David Walker
• 2014년: Sumit Gulwani
• 2013년 : 라스 버케달
• 2012: 슈리람 크리슈나무르티

SIGPLAN 박사논문상

이 상의 전체 이름은 John C입니다.레이놀즈 박사학위 논문상, 컴퓨터 과학자 존 C에 이어. 레이놀즈."프로그래밍 ^[12]언어 분야에서 뛰어난 박사학위 논문의 저자에게 매년 수여됩니다.

• 2018년: 저스틴 쉬와 데이비드 메넨데스
• 2017년 : 라마나 쿠마르
• 2016년: 샤하르 이츠하키와 빌헬름 셰베르크
• 2015: 마크 배티
• 2014년 : Aaron Turon
• 2013년: 패트릭 론던
• 2012: 단마리노
• 2010년: Robert L.보치노
• 2009년 : Akash Lai와 William Ties
• 2008년: 마이클 본드와 빅토르 바페아디스
• 2007년: 스와라트 초드후리
• 2006년 : 장샹위
• 2005년: Sumit Gulwani
• 2003: Godmar Back
• 2002: 마이클 힉스
• 2001: 라스티슬라프 보디크

SIGPLAN 인정 서비스상

• 2016: 필 와들러
• 2015: Dan Grossman
• 2014년: Simon Peyton Jones
• 2013년 : 캐슬린 피셔
• 2012년: Jens Palsberg
• 2011년: Kathryn S. 매킨리
• 2010년: Jack W. Davidson
• 2009: 맘두 이브라힘
• 2008년: 마이클 버크
• 2007년: Linda M.노스롭
• 2006년: 한스보엠
• 2005년: 수상 없음
• 2004년: Ron Cytron
• 2003: 메리 루 소파
• 2002: Andrew Appel
• 2001년: 바바라 G. 라이더
• 2000: David Wise
• 1999: 로렌 마이스너
• 1998년: 브렌트 헤일퍼른
• 1997: J.A.N. 리와 Jean E. Sammet
• 1996년: 딕 웩셀블랫과 존 리처드

가장 영향력 있는 PLDI 논문상

• 2017년(2007년):발그린드: 헤비웨이트 다이내믹 바이너리 계측 프레임워크, 니콜라스 네더코트, 줄리안 시워드
• 2016년(2006년):DieHard: 안전하지 않은 언어에 대한 확률론적 메모리 안전성, Emery Berger, Benjamin Zorn
• 2015년(2005년):PIN: 동적 계측을 사용한 맞춤 프로그램 분석 도구 구축, Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi 및 Kim Hazelwood
• 2014년(2004년):확장성이 뛰어난 잠금 프리 다이내믹 메모리 할당, 관리.마이클.
• 2013년(2003년):nesC 언어:네트워크 임베디드 시스템에 대한 전체적인 접근법, David Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric Brewer 및 David E.컬러
• 2012년 (2002년)Java, Cormac Flanagan, K에 대한 확장 정적 검사.루스탄 M.레이노, 마크 릴리브릿지, 그렉 넬슨, 제임스 B색시 앤 레이미 스타타
• 2011년(2001년):C 프로그램, Thomas Ball, Rupak Majumdar, Todd Millstein 및 Siram K의 자동 술어 추상화.라자마니
• 2010년(2000년):Dynamo: 투과적 동적 최적화 시스템, Vasanth Bala, Evelyn Duffterwald, Sanjeev Banerji
• 2009년(1999년):고속 푸리에 변환 컴파일러 마테오 프리고
• 2008년(1998년):Cilk-5 멀티스레드 언어 구현, Matteo Frigo, Charles E.리저슨, 키스 H. 랜들
• 2007년(1997년) :흐름 및 컨텍스트에 민감한 프로파일링, Glenn Amons, Thomas Ball 및 James R. Larus를 통해 하드웨어 성능 카운터 활용
• 2006년(1996년):TIL: ML, David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper 및 Peter Lee용 유형 지향 최적화 컴파일러
• 2005년(1995년):객체 지향 언어 선택 전문화, Jeffrey Dean, Craig Chambers 및 David Grove
• 2004년(1994년용): ATOM: 맞춤형 프로그램 분석 툴을 구축하는 시스템, Amibh Srivastava 및 Alan Eustace
• 2003년(1993년):공간 효율적인 보수적 가비지 컬렉션, Hans Boehm
• 2002년(1992년):Lazy Code Motion, Jens Knoop, Oliver Rüthing, Bernhard Steffen
• 2001년(1991년):데이터 인접성 최적화 알고리즘, Michael E. 울프와 모니카 S. 램
• 2000년(1990년):프로필 안내 코드 위치, 칼 페티스와 로버트 C. 한센인

가장 영향력 있는 POPL 종이상

• 2018년 (2008년)멀티파티 비동기 세션 타입, 혼다 고헤이, 요시다 노부코, 마르코 카르본
• 2017년(2007년):브라우저 보안을 위한 JavaScript Instrumentation, Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
• 2016년(2006년):컴파일러 백엔드의 정식 인정 또는 검증 어시스턴트인 Xavier Leroy와 컴파일러 프로그래밍
• 2015년(2005년):양방향 트리 변환용 조합기:View Update 문제에 대한 언어적 접근법, Nate Foster, Michael B.그린월드, 조나단 T.무어, 벤자민 C 피어스, 앨런 슈미트
• 2014년(2004년):증명의 추상화, 토마스 헨징거, 란짓 잘라, 루팍 마줌다, 케네스 맥밀란
• 2013년(2003년):오버헤드가 적고 사용률이 일관된 실시간 가비지 컬렉터 David F.Bacon, Perry Cheng, VT Rajan
• 2012년 (2002년)참조:레거시 코드, 조지 C의 타입 세이프 리트로피팅.Necula, Scott McPeak 및 Westley Weimer
• 2011년(2001년):가변 데이터 구조를 위한 어설션 언어로서의 BI, Samin Ishtiaq 및 Peter W. O'Hearn
• 2010년(2000년):언제 어디서나 모바일 앰비언트용 Modal Logics, Luca Cardelli 및 Andrew D. 고든
• 2009년(1999년): JFlow: 실용적이고 대부분 정적 정보 흐름 제어, Andrew C.마이어스
• 2008년(1998년):System F에서 Typeed Assembly Language로, Greg Morrisett, David Walker, Karl Crary 및 Neal Glew
• 2007년(1997년) :교정 코드, 조지 네큘라
• 2006년(1996년):거의 선형 시간에 대한 포인트 투 분석, Bjarne Steensgaard
• 2005년(1995년):분포 범위를 가진 언어, Luca Cardelli
• 2004년(1994년):지역 스택, Mads Topte 및 Jean-Pierre Talpin을 사용한 유형별 콜 람다 계산 구현
• 2003년(1993년):필수 함수 프로그래밍, Simon Peyton Jones 및 Philip Wadler

가장 영향력 있는 OOPSLA 페이퍼 어워드

• 2017년(2007년):통계적으로 엄격한 Java 퍼포먼스 평가, Andy Georges, Dries Buytaert, Lieben Eeckhout
• 2016년(2006년):DaCapo 벤치마크: Java 벤치마킹 개발 및 분석, Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S.맥킨리, 로템 벤츠르, 아메르 디완, 다니엘 파인버그, 다니엘 프램튼, 사무엘 Z.가이어, 마틴 히젤, 앤서니 호스킹, 마리아 점프, 한 리, J. 엘리엇 B.모스, 아시시 판살카르, 다르코 스테파노비치, 토마스 반드루넨, 다니엘 폰 딘클라지, 벤 비더만
• 2015년 (2005년) : X10: 불균일한 클러스터 컴퓨팅에 대한 객체 지향 접근법, Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Keal Ebcioglu, Christoph von Praun 및 Vivek Sarkar
• 2014년(2004년):거울:객체 지향 프로그래밍 언어의 메타 레벨 설비에 대한 설계 원칙, Gilad Bracha 및 David Ungar
• 2013년(2003년):경량 트랜잭션 언어 지원, Tim Harris 및 Keir Fraser
• 2012년 (2002년)커스텀 메모리 할당을 재검토하고 있습니다, Emery D.Berger, Benjamin G. Zorn, 그리고 Kathryn S.매킨리
• 2010년(2000년):Jalapeno JVM의 적응형 최적화, Matthew Arnold, Stephen Fink, David Grove, Michael Hind 및 Peter F.스위니
• 2009년(1999년):자바에서 잘라페뇨 구현, Bowen Alpern, C. R. Atanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark Mergen, Janice C.셰퍼드, 스티븐 스미스
• 2008년(1998년):유연한 에일리어스 보호를 위한 소유권 유형, David G. Clarke, John M. Potter 및 James Noble
• 2007년(1997년) :오브젝트 지향 언어의 콜 그래프 구성, David Grove, Greg DeFouw, Jeffrey Dean 및 Craig Chambers
• 2006년(1986~1996년) :
  • 주제 지향 프로그래밍: 순수 객체에 대한 비평, 윌리엄 해리슨과 해롤드 오셔
  • 계산반사 개념과 실험, 패티 메이스
  • Self: 심플함의 힘 David Ungar와 Randall B.스미스

가장 영향력 있는 ICFP 논문상

• 2019년(2009년):멀티코어 해스켈 런타임 지원: Simon Marlow, Simon Peyton Jones 및 Satnam Singh
• 2009년(1999년):Haskell과 XML: 범용 조합 또는 타입 베이스 번역?Malcolm Wallace와 Colin Runciman
• 2008년(1998년):카이엔 - 의존형 언어, Lennart Augustsson
• 2007년(1997년) :기능 반응 애니메이션, 코날 엘리엇 및 폴 후닥
• 2006년(1996년):최적성과 비효율성: 람다 미적분의 비용 모델이 아닌 것은 무엇입니까? Julia L. Lawall과 Harry G. Mairson

「 」를 참조해 주세요.

• 컴퓨터 사이언스상 목록

레퍼런스

외부 링크

• SIGPLAN 홈페이지