シグプラン

プログラミング言語の分野に重要かつ永続的な貢献をした個人または複数の個人を表彰する。 ^{[ 2 ] [ 3 ]}

• 2025年マーティン・オデルスキー
• 2024年：ケシャブ・ピンガリ
• 2023年：キャスリン・S・マッキンリー
• 2022年：ザビエル・ルロワ
• 2021年：ボブ・ハーパー
• 2020年：ハンス＝J・ベーム
• 2019年：アレックス・エイケン
• 2017年：トーマス・W・レップス
• 2016年：サイモン・ペイトン・ジョーンズ
• 2015年：ルカ・カルデッリ
• 2014年：ニール・D・ジョーンズ
• 2013年：パトリック・クーゾーとラディア・クーゾー
• 2012年：マティアス・フェライゼン
• 2011年：トニー・ホーア
• 2010年：ゴードン・プロトキン
• 2009年：ロッド・バーストール
• 2008年：バーバラ・リスコフ
• 2007年：ニクラウス・ヴィルト
• 2006年：ロン・サイトロン、ジーン・フェランテ、バリー・K・ローゼン、マーク・ウェグマン、ケネス・ザデック
• 2005:エリック・ガンマ、リチャード・ヘルム、ラルフ・ジョンソン、ジョン・ブリシデス
• 2004年：ジョン・バッカス
• 2003年：ジョン・C・レイノルズ
• 2002年：ジョン・マッカーシー
• 2001年：ロビン・ミルナー
• 2000年：スーザン・グラハム
• 1999年：ケン・ケネディ
• 1998年：フラン・アレン
• 1997年：ガイ・スティール

プログラミング言語の分野における若手研究者の優れた貢献を称える。^{[ 5 ]}この賞はコンピュータ科学者のロビン・ミルナーにちなんで名付けられている。

• 2025年：イシル・ディリグ
• 2024年：アルマンド・ソラール＝レザマ
• 2023年：ネイト・フォスター
• 2022年：ヴィクトル・ヴァフェイアディス
• 2021年：エミナ・トルラク
• 2020年：エラン・ヤハブ
• 2019年：マーティン・ヴェチェフ
• 2018年：ランジット・ジャラ
• 2017年：デレク・ドレイヤー
• 2016年：ステファニー・ウェイリッチ
• 2015年：デビッド・ウォーカー
• 2014年：スミット・グルワニ
• 2013年：ラース・ビルケダル
• 2012年：シュリラム・クリシュナムルティ

プログラミング言語の研究、実装、ツールに大きな影響を与えたソフトウェアシステムの開発を称えるために、機関または個人に授与される。^{[ 6 ]}

• 2025年：リーン 賞は、ガブリエル・エブナー、スンホ・コン、レオ・デ・モウラ、セバスチャン・ウルリッヒに授与された。
• 2024年：Rustは、 Aaron Turon、Alex Crichton、Brian Anderson、Dave Herman、Felix S. Klock II、Graydon Hoare、Marijn Haverbeke、Nicholas D. Matsakis、Patrick Walton、Tim Chevalier、Yehuda Katz、および過去と現在のすべてのRust貢献者に授与されました。
• 2023年: OCaml賞をデヴィッド・オールソップ、フロリアン・アンジェレッティ、スティーヴン・ドラン、ダミアン・ドリジェス、アラン・フリッチュ、ジャック・ガリグ、ザビエル・ルロワ、アニル・マダヴァペディ、リュック・マランジェ、ニコラス・オジェダ・ベア、ガブリエル・シェーラー、KC・シバラマクリシュナン、ジェローム・ヴイヨン、レオ・ホワイトに受賞
• 2022: CompCert は、Xavier Leroy、Sandrine Blazy、Zayna Dargaye、Jacques-Henri Jourdan、Michael Schmidt、Bernhard Schommer、Jean-Baptiste Tristanに授与されました。
• 2021年：WebAssembly 賞がAndreas Rossberg、Derek Schuff、Bradley Nelson、JF Bastien、Ben L. Titzerに授与されました。
• 2020: Artur Klauser、Greg Lueck、Mark Charney、Gail Lyons、Geoff Lowney、Aamer Jaleel、Harish Putil、Vijay Janapa Reddi、Kim Hazelwood、S. Bharadwaj Yadavalli、Ramesh Peri、 Elena Demikhovsky、Ady Tal、Moshe Bach、Alex Skaletsky、CK Luk、Steven Wallace、Tevi にピン賞を受賞デヴァー、ロバート・ムス、ナダフ・チャクモン
• 2019: Scala 賞は、Martin Odersky、Adrian Moors、Aleksandar Prokopec、Heather Miller、Iulian Dragos、Nada Amin、Philipp Haller、Sébastien Doeraene、Tiark Rompfに授与されました。
• 2018年:イーライ・バルジライ、マティアス・フェライセン、ロバート・ブルース・フィンドラー、マシュー・フラット、シュリラム・クリシュナムルティ、ジェイ・マッカーシー、サム・トービン・ホックシュタットにラケットが授与された
• 2016年：V8
• 2015年：Z3定理証明器
• 2014年：GNUコンパイラコレクション（GCC）
• 2013年：Rocq（当時：Coq）証明支援システム
• 2012年：Jikes Research Virtual Machine (RVM)は、 Bowen Alpern、Matthew Arnold、Clement Attanasio、John Barton、Steve Blackburn、Maria Butrico、Perry Cheng、Tony Cocchi、Julian Dolby、Peter Donald、Steven Fink、Daniel Frampton、Robin Garner、David Grove、Michael Hind、Derek Lieber、Kathryn McKinley、Mark Mergen、Eliot Moss、Ton Ngo、Igor Peshansky、Filip Pizlo、Feng Qian、Ian Rogers、Vivek Sarkar、Mauricio Serrano、Janice Shepherd、Stephen Smith、Peter F. Sweeney、Martin Trapp、Kris Venstermans、John Whaley の各氏に授与されました。
• 2011年：グラスゴー・ハスケル・コンパイラー賞がサイモン・ペイトン・ジョーンズとサイモン・マーロウに授与される
• 2010年：クリス・ラットナーがLLVM賞を受賞

この賞の正式名称は、コンピュータ科学者のジョン・C・レイノルズにちなんでジョン・C・レイノルズ博士論文賞です。「プログラミング言語の分野で最も優れた博士論文の著者に毎年授与される」ものです。^{[ 7 ]}

• 2025年: ハリソン・ゴールドスタインとラシット・ニガム
• 2024年：ベンジャミン・ビクセル
• 2023年：サム・ウェストリック
• 2022年：ジェイ・P・リム（ラトガース大学）とウリ・アロン
• 2021: ガガンディープ・シンとラルフ・ユング
• 2020年：フィリップ・ニクシッチ
• 2019年：ライアン・ベケット
• 2018年：ジャスティン・シューとデビッド・メネンデス
• 2017年：ラマナ・クマール
• 2016年：シャハル・イツハキーとヴィルヘルム・ショーベリ
• 2015年：マーク・バティ
• 2014年：アーロン・トゥロン
• 2013年：パトリック・ロンドン
• 2012年：ダン・マリーノ
• 2010年：ロバート・L・ボッキーノ
• 2009: アカシュ・ライとウィリアム・ティーズ
• 2008年：マイケル・ボンドとヴィクトル・ヴァフェイアディス
• 2007年：スワラット・チョードゥリ
• 2006年：張祥宇
• 2005年：スミット・グルワニ
• 2003年：ゴッドマー・バック
• 2002年：マイケル・ヒックス
• 2001年：ラスティスラフ・ボディク

• 2024年：エメリー・バーガー
• 2023年：タリア・リンガー
• 2022年：マイク・ヒックス
• 2021年：ベン・ゾーン
• 2019年：ヤン・ヴィテク
• 2018年：ゼナ・アリオラ
• 2016年：フィル・ワドラー
• 2015年：ダン・グロスマン
• 2014年：サイモン・ペイトン・ジョーンズ
• 2013年：キャスリーン・フィッシャー
• 2012年：イェンス・パルスバーグ
• 2011年：キャスリン・S・マッキンリー
• 2010年：ジャック・W・デビッドソン
• 2009年：マムドゥ・イブラヒム
• 2008年：マイケル・バーク
• 2007年：リンダ・M・ノースロップ
• 2006年：ハンス・ベーム
• 2005年：受賞者なし
• 2004年：ロン・サイトロン
• 2003年：メアリー・ルー・ソファー
• 2002年：アンドリュー・アペル
• 2001年：バーバラ・G・ライダー
• 2000年：デビッド・ワイズ
• 1999年：ローレン・マイスナー
• 1998年：ブレント・ヘイルパーン
• 1997: JAN リーとジーン E. サメット
• 1996年：ディック・ウェクセルブラットとジョン・リチャーズ

受賞年の10年前にPLDIで発表された論文の著者に、過去10年間の影響力を認めて贈られる。^{[ 8 ]}

• 2025年（2015年版）：断続システムのためのよりシンプルで安全なプログラミングおよび実行モデル （ Brandon LuciaおよびBenjamin Ransford著）
• 2024年（2014年版）：FlowDroid：Androidアプリ向けの高精度なコンテキスト、フロー、フィールド、オブジェクトセンシティブかつライフサイクル対応の汚染分析（著者： Steven Arzt、Siegfried Rasthofer、Christian Fritz、Eric Bodden、Alexandre Bartel、Jacques Klein、Yves Le Traon、Damien Octeau、Patrick McDaniel）
• 2023年（2013年版）：Halide：画像処理パイプラインにおける並列性、局所性、表現を最適化するための言語とコンパイラ（著者： Jonathan Ragan-Kelley、Connelly Barnes、Andrew Adams、Sylvain Paris、Frédo Durand、Saman Amarasinghe）
• 2022年（2012年版）：Cコンパイラのバグに対するテストケース削減（ジョン・レゲール、ヤン・チェン、パスカル・クオク、エリック・アイデ、チャッキー・エリソン、シュエジュン・ヤン著）
• 2021年（2011年版）：Cコンパイラにおけるバグの発見と理解（著者： Xuejun Yang、Yang Chen、Eric Eide、John Regehr）
• 2020年（2010年分）：グリーン：制御近似を用いたエネルギー効率の高いプログラミングを支援するフレームワーク （ Woongki Baek、Trishul M. Chilimbi著）
• 2019年（2009年版）：FastTrack：効率的かつ高精度な動的レース検出（コーマック・フラナガン、スティーブン・N・フロイント著）
• 2018年（2008年版）： Uday Bondhugula、Albert Hartono、J. Ramanujam、P. Sadayappanによる実用的な自動多面体並列化および局所性最適化アルゴリズム
• 2017年（2007年版）：Valgrind：重量級動的バイナリ計測のためのフレームワーク （ニコラス・ネザーコート、ジュリアン・シーワード著）
• 2016年（2006年版）：DieHard：安全でない言語のための確率的メモリ安全性（エメリー・バーガー、ベンジャミン・ゾーン著）
• 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年版）： Maged M. Michaelによる「スケーラブルなロックフリー動的メモリ割り当て」
• 2013年（2003年版）：『nesC言語：ネットワーク組み込みシステムへの包括的アプローチ』、著者： David Gay、Philip Levis、J. Robert von Behren、Matt Welsh、Eric Brewer、David E. Culler
• 2012年（2002年版）：Javaの拡張静的チェック（Cormac Flanagan、K. Rustan M. Leino、Mark Lillibridge、Greg Nelson、James B. Saxe、Raymie Stata著）
• 2011年（2001年版）： トーマス・ボール、ルパック・マジュムダル、トッド・ミルスタイン、スリラム・K・ラジャマニ著「Cプログラムの自動述語抽象化」
• 2010年（2000年版）：Dynamo：透明性の高い動的最適化システム （ Vasanth Bala、Evelyn Duesterwald、Sanjeev Banerji著）
• 2009年（1999年版）： マッテオ・フリゴによる高速フーリエ変換コンパイラ
• 2008年（1998年版）： Matteo Frigo、Charles E. Leiserson、Keith H. Randall著「Cilk-5マルチスレッド言語の実装」
• 2007年（1997年版）：フローとコンテキスト依存のプロファイリングによるハードウェアパフォーマンスカウンタの活用 （ グレン・アモンズ、トーマス・ボール、ジェームズ・R・ラルス著）
• 2006年（1996年版）： TIL： David Tarditi、Greg Morrisett、Perry Cheng、Christopher Stone、Robert Harper、Peter LeeによるML向け型指向最適化コンパイラ
• 2005年（1995年版）：ジェフリー・ディーン、クレイグ・チェンバース、デビッド・グローブ著『オブジェクト指向言語のための選択的特殊化』
• 2004年（1994年版）：ATOM：カスタマイズされたプログラム解析ツールを構築するためのシステム（著者：Amitabh Srivastava、Alan Eustace）
• 2003年（1993年版）：ハンス・ベーム著『省スペースで節約型のごみ収集』
• 2002年（1992年版）：イェンス・クヌープ、オリバー・リューシング、ベルンハルト・シュテフェンによる「Lazy Code Motion」
• 2001年（1991年版）：マイケル・E・ウルフとモニカ・S・ラムによるデータ局所性最適化アルゴリズム
• 2000年（1990年版）：カール・ペティスとロバート・C・ハンセンによるプロファイルガイド式コード配置

受賞年の10年前にPOPLで発表された論文の著者に、過去10年間の影響力を認めて贈られる。^{[ 9 ]}

• 2025 (2015年版): Iris: 並行推論のための直交基底としてのモノイドと不変量、著者: Ralf Jung、David Swasey、Filip Sieczkowski、Kasper Paabøl Svendsen、Aaron Joseph Turon、Lars Birkedal、Derek Dreyer
• 2024年（2014年版）：CakeML：機械学習の検証済み実装（著者： Ramana Kumar、Magnus Myreen、Michael Norrish、Scott Owens）
• 2023年（2013年分）：閲覧数：並行プログラムの構成的推論（ Thomas Dinsdale-Young、Lars Birkedal、Philippa Gardner、Matthew Parkinson、Hongseok Yang著）
• 2022年（2012年版）：トーマス・H・オースティンとコーマック・フラナガンによる動的な情報フローの多面的な側面
• 2021年（2011年版）： スミット・グルワニ著「スプレッドシートにおける文字列処理の自動化：入出力例を用いた解説」
• 2020年（2010年分）：プログラム検証からプログラム合成へ（ Saurabh Srivastava、Sumit Gulwani、Jeffrey Foster*著） 2019年（2009年分）：双方向アブダクションによる構成的形状解析（ Cristiano Calcagno、Dino Distefano、Peter W. O'Hearn、Hongseok Yang著）
• 2018年（2008年版）：多者間非同期セッションタイプ（本田耕平、吉田信子、マルコ・カルボーネ著）
• 2017年（2007年版）：Dachuan Yu、Ajay Chander、Nayeem Islam、Igor Serikov著「ブラウザセキュリティのためのJavaScript計測」
• 2016年（2006年版）：コンパイラバックエンドの形式認証、または証明支援システムを用いたコンパイラのプログラミング（著者：Xavier Leroy）
• 2015年（2005年版）：双方向ツリー変換のためのコンビネータ：ビュー更新問題への言語学的アプローチ 著者：Nate Foster、Michael B. Greenwald、Jonathan T. Moore、Benjamin C. Pierce、Alan Schmitt
• 2014年（2004年分）： トーマス・ヘンジンガー、ランジット・ジャラ、ルパック・マジュムダル、ケネス・マクミランによる証明からの抽象化
• 2013年（2003年版）：オーバーヘッドが少なく、利用率が一定のリアルタイムガベージコレクタ（ David F. Bacon、Perry Cheng、VT Rajan著）
• 2012年（2002年版）：CCured：レガシーコードの型安全な改修（著者： George C. Necula、Scott McPeak、Westley Weimer）
• 2011年（2001年版）：サミン・イシュティアックとピーター・W・オハーンによる「可変データ構造のためのアサーション言語としてのBI」
• 2010年（2000年版）：いつでもどこでも：モバイル環境のためのモーダルロジック（ルカ・カルデッリ、アンドリュー・D・ゴードン著）
• 2009年（1999年版）：JFlow：実用的なほぼ静的な情報フロー制御（ Andrew C. Myers著）
• 2008年（1998年版）：System Fから型付きアセンブリ言語へ 著者： Greg Morrisett、David Walker、Karl Crary、Neal Glew
• 2007年（1997年版）：ジョージ・ネキュラ著『証明コード』
• 2006 (1996 年用):ほぼ線形時間でのポイントツー解析、Bjarne Steensgaard著
• 2005年（1995年版）：ルカ・カルデッリ著『分散スコープを持つ言語』
• 2004年（1994年版）：Mads TofteとJean-Pierre Talpinによる、領域スタックを用いた型付き値渡しラムダ計算の実装
• 2003年（1993年版）：サイモン・ペイトン・ジョーンズとフィリップ・ワドラーによる『命令型関数型プログラミング』

• 2024年（2014年版）：適応型LL(*)構文解析：動的解析の力（テレンス・パー、サム・ハーウェル、キャスリーン・フィッシャー著）
• 2023年（2013年分）：レオ・メエロヴィッチとアリエル・ラブキンによるプログラミング言語採用に関する実証分析
• 2022年（2012年版）：GPUカーネル検証ツール「GPUVerify」、 アダム・ベッツ、ネイサン・チョン、アラステア・ドナルドソン、シャズ・カディール、ポール・トムソン著
• 2021年（2011年版）：SugarJ：ライブラリベースの構文言語拡張性 （ Sebastian Erdweg、Tillmann Rendel、Christian Kästner、Klaus Ostermann著）
• 2020年（2010年版）：スプーファックス言語ワークベンチ：言語とIDEの宣言的仕様に関するルール（ Lennart CL KatsおよびEelco Visser著）
• 2019年（2009年版）：Flapjax：Ajaxアプリケーションのためのプログラミング言語、著者： Leo A. Meyerovich、Arjun Guha、Jacob Baskin、Gregory H. Cooper、Michael Greenberg、Aleks Bromfield、Shriram Krishnamurthi
• 2018年（2008年版）：jStar：Javaの実践的な検証に向けて （ Dino DistefanoおよびMatthew Parkinson著）
• 2017年（2007年版）：統計的に厳密なJavaパフォーマンス評価（ Andy Georges、Dries Buytaert、Lieven Eeckhout著）
• 2016年（2006年版）：DaCapoベンチマーク：Javaベンチマークの開発と分析 Stephen M. Blackburn、Robin Garner、Chris Hoffmann、Asjad M. Khan、Kathryn S. McKinley、Rotem Bentzur、Amer Diwan、Daniel Feinberg、Daniel Frampton、Samuel Z. Guyer、Martin Hirzel、Antony Hosking、Maria Jump、Han Lee、J. Eliot B. Moss、Aashish Phansalkar、Darko Stefanović、Thomas VanDrunen、Daniel von Dincklage、Ben Wiedermann
• 2015年（2005年版）：X10：非均一クラスタコンピューティングへのオブジェクト指向アプローチ（著者： Philippe Charles、Christian Grothoff、Vijay Saraswat、Christopher Donawa、Allan Kielstra、Kemal Ebcioglu、Christoph von Praun、Vivek Sarkar）
• 2014年（2004年版）：ミラー：オブジェクト指向プログラミング言語のメタレベル機能の設計原則 （ ギラッド・ブラチャ、デビッド・ウンガー著）
• 2013年（2003年版）： ティム・ハリスとキア・フレイザーによる軽量トランザクションのための言語サポート
• 2012年（2002年版）：カスタムメモリ割り当ての再考 著者： Emery D. Berger、Benjamin G. Zorn、Kathryn S. McKinley
• 2010年（2000年版）：Jalapeño JVMにおける適応型最適化（著者： Matthew Arnold、Stephen Fink、David Grove、Michael Hind、Peter F. Sweeney）
• 2009年（1999年版）：JavaにおけるJalapeñoの実装 著者： Bowen Alpern、CR Attanasio、John J. Barton、Anthony Cocchi、Susan Flynn Hummel、Derek Lieber、Ton Ngo、Mark Mergen、Janice C. Shepherd、Stephen Smith
• 2008年（1998年版）：柔軟なエイリアス保護のための所有権タイプ（ David G. Clarke、John M. Potter、James Noble著）
• 2007年（1997年版）：『オブジェクト指向言語における呼び出しグラフ構築』（著者： David Grove、Greg DeFouw、Jeffrey Dean、Craig Chambers）
• 2006年（1986年～1996年分）：
  • 主題指向プログラミング：純粋オブジェクトへの批判（ ウィリアム・ハリソン、ハロルド・オッシャー著）
  • パティ・マエス著『計算的リフレクションの概念と実験』
  • 自己：シンプルさの力（デビッド・ウンガー、ランドール・B・スミス著）

• 2024年（2014年版）：Haskellのリファインメント型（ Niki Vazou、Eric L. Seidel、Ranjit Jhala、Dimitrios Vytiniotis、Simon Peyton-Jones著）
• 2023年（2013年版）：オハド・カンマー、サム・リンドリー、ニコラス・ウーリーによる『ハンドラーズ・イン・アクション』
• 2022年（2012年版）：並行情報フローシステムにおける隠蔽された終端とタイミングチャネルへの対処 著者： Deian Stefan、Alejandro Russo、Pablo Buiras、Amit Levy、John C. Mitchell、David Mazières
• 2021年（2011年版）：Frenetic：ネットワークプログラミング言語（著者： Nate Foster、Rob Harrison、Michael Freedman、Christopher Monsanto、Jennifer Rexford、Alex Story、David Walker）
• 2020年（2010年版）：『抽象機械の抽象化』、デイビッド・ヴァン・ホーン、マシュー・マイト著
• 2019年（2009年版）：マルチコアHaskellのランタイムサポート（サイモン・マーロウ、サイモン・ペイトン・ジョーンズ、サトナム・シン著）
• 2018年（2008年版）：アダム・クリパラ著『機械化された意味論のためのパラメトリック高階抽象構文』
• 2017年（2007年版）：Ott：作業セマンティクス研究者のための効果的なツールサポート（著者： Peter Sewell、Francesco Zappa Nardelli、Scott Owens、Gilles Peskine、Thomas Ridge、Susmit Sarkar、Rok Strniša）
• 2016年（2006年版）：サイモン・ペイトン・ジョーンズ、ディミトリオス・ヴィティニオティス、ステファニー・ウェイリッチ、ジェフリー・ウォッシュバーンによるGADTのためのシンプルな統一ベースの型推論
• 2015年（2005年版）：関連タイプの同義語（ Manuel MT Chakravarty、Gabriele Keller、Simon Peyton Jones著）
• 2014年（2004年版）：スクラップ・モア・ボイラープレート：反射、ジップ、一般化されたキャスト（ラルフ・レンメル、サイモン・ペイトン・ジョーンズ著）
• 2013年（2003年版）：MLF：機械学習をSystem Fのパワーに引き上げる（ディディエ・ル・ボトラン、ディディエ・レミー著）
• 2012年（2002年版）：ロバート・フィンドラーとマティアス・フェライゼンによる高階関数の契約
• 2011年（2001年版）：クラウディオ・ルッソ著『Standard MLの再帰構造』
• 2010年（2000年版）：Quickcheck：Haskellプログラムのランダムテストのための軽量ツール （ Koen ClaessenおよびJohn Hughes著）
• 2009年（1999年版）：HaskellとXML：汎用コンビネータか型ベースの変換か？ （マルコム・ウォレス、コリン・ランシマン著）
• 2008年（1998年版）：カイエンヌ ― 依存型を持つ言語、 レナート・オーガストソン著
• 2007年（1997年版）：コナル・エリオットとポール・フダックによる機能的リアクティブアニメーション
• 2006年（1996年版）：最適性と非効率性：ラムダ計算のコストモデルではないものは何か？（ジュリア・L・ローウォール、ハリー・G・メアソン著）