SIGPLAN

SIGPLANは、 Association for Computing Machinery（計算機協会）のプログラミング言語に関する特別利益団体（SIG）です。このSIGは、プログラミング言語の概念とツールを、設計、実装、実践、そして理論に焦点を当てて探求しています。メンバーは、プログラミング言語の開発者、教育者、実装者、研究者、理論家、そしてユーザーです。

会議

関連ジャーナル

ニュースレター

受賞歴

プログラミング言語功績賞

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

ロビン・ミルナー若手研究者賞

プログラミング言語の分野で優れた貢献をした若手研究者を表彰する賞です。[ 5 ]この賞はコンピュータ科学者のロビン・ミルナーにちなんで名付けられました。

プログラミング言語ソフトウェア賞

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

  • 2025: Lean が Gabriel Ebner、Soonho Kong、Leo de Moura、Sebastian Ullrichに授与されました。
  • 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 Ptil、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年:グラスゴーHaskellコンパイラがSimon Peyton JonesとSimon Marlowに授与されました。
  • 2010年: LLVMがChris Lattnerに授与される

SIGPLAN博士論文賞

この賞の正式名称は、コンピュータ科学者ジョン・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年:ラスティスラフ・ボディク

SIGPLAN優秀サービス賞

最も影響力のあるPLDI論文賞

この賞は、受賞年度の10年前にPLDIで発表された論文の著者に、過去10年間の論文の影響力を認めて贈られます。[ 8 ]

  • 2025（2015年版）：ブランドン・ルシアとベンジャミン・ランズフォードによる、断続的なシステムのためのよりシンプルで安全なプログラミングと実行モデル
  • 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コンパイラのバグに対するテストケース削減( John Regehr、Yang Chen、Pascal Cuoq、Eric Eide、Chucky Ellison、Xuejun Yang著)
  • 2021年（2011年版）：「Cコンパイラのバグの発見と理解」 Xuejun Yang、Yang Chen、Eric Eide、John Regehr著
  • 2020年（2010年版）：Green: 制御近似を用いたエネルギーに配慮したプログラミングを支援するフレームワーク、 Woongki BaekとTrishul M. Chilimbi著
  • 2019年（2009年版）： FastTrack： Cormac FlanaganとStephen N. Freundによる効率的で正確な動的レース検出
  • 2018年（2008年）： Uday Bondhugula、Albert Hartono、J. Ramanujam、P. Sadayappanによる実用的な自動多面体並列化および局所性最適化ツール
  • 2017年（2007年版）: Valgrind: 重量級動的バイナリインストルメンテーションのためのフレームワーク、 Nicholas Nethercote、Julian Seward著
  • 2016年（2006年版）：「DieHard: Probabilistic Memory Safety for Unsafe Languages」、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年に対して）： Maged M. Michaelによるスケーラブルなロックフリーの動的メモリ割り当て
  • 2013年（2003年版）：「nesC言語：ネットワーク組み込みシステムへの包括的アプローチ」 David Gay、Philip Levis、 J . Robert von Behren、Matt Welsh、Eric Brewer、David E. Culler著
  • 2012 (2002 年版): Cormac Flanagan、K. Rustan M. Leino、Mark Lillibridge、Greg Nelson、James B. Saxe、Raymie Stataによる Java の拡張静的チェック
  • 2011年（2001年に対して）：Cプログラムの自動述語抽象化（ Thomas Ball、Rupak Majumdar、Todd Millstein、Sriram K. Rajamani著）
  • 2010年（2000年版）: Dynamo: 透過的な動的最適化システム、 Vasanth Bala、Evelyn Duesterwald、Sanjeev Banerji著
  • 2009年（1999年）： Matteo Frigoによる高速フーリエ変換コンパイラ
  • 2008年（1998年版）：「Cilk-5マルチスレッド言語の実装」 Matteo Frigo、Charles E. Leiserson、Keith H. Randall著
  • 2007年（1997年版）：「フローとコンテキスト依存プロファイリングによるハードウェアパフォーマンスカウンタの活用」 Glenn Ammons、Thomas Ball、James R. Larus著
  • 2006 (1996 年版): TIL: ML 用型指向最適化コンパイラ、David Tarditi、Greg Morrisett、Perry Cheng、Christopher Stone、Robert Harper、Peter Lee 著
  • 2005年（1995年版）:ジェフリー・ディーン、クレイグ・チェンバース、デイヴィッド・グローブ著『オブジェクト指向言語の選択的特殊化』
  • 2004年（1994年版）：ATOM：カスタマイズされたプログラム分析ツールを構築するためのシステム、Amitabh SrivastavaとAlan Eustace著
  • 2003年（1993年）：ハンス・ベームによる「スペース効率の良い保守的なガベージコレクション」
  • 2002年（1992年の代わりに）：Jens Knoop、Oliver Rüthing、Bernhard SteffenによるLazy Code Motion
  • 2001年（1991年版）: Michael E. WolfとMonica S. Lamによる「データ局所性最適化アルゴリズム」
  • 2000年（1990年版）：カール・ペティスとロバート・C・ハンセンによる「プロファイルガイドによるコードポジショニング」

最も影響力のあるPOPL論文賞

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

  • 2025 (2015年版): Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (ラルフ・ユング、デイヴィッド・スウェイジー、フィリップ・シエツコフスキー、カスパー・パーブル・スヴェンセン、アーロン・ジョセフ・トゥロン、ラース・ビルケダル、デレク・ドレイアー著)
  • 2024 (2014年版): CakeML: 検証済みのML実装 ( 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年版）: Sumit Gulwaniによる入出力例を用いたスプレッドシートでの文字列処理の自動化
  • 2020 (2010年用):プログラム検証からプログラム合成へby Saurabh Srivastava, Sumit Gulwani, Jeffrey Foster* 2019 (2009年用):バイアブダクションによる構成形状解析by 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年版）：Luca CardelliとAndrew D. Gordon著『Anytime, Anywhere: Modal Logics for Mobile Ambients』
  • 2009年（1999年版）: JFlow: 実用的なほぼ静的な情報フロー制御、 Andrew C. Myers著
  • 2008年（1998年版）: Greg Morrisett、David Walker、Karl Crary、Neal Glew著『System Fから型付きアセンブリ言語へ』
  • 2007年（1997年版）：ジョージ・ネキュラ著『Proof-carrying Code』
  • 2006 (1996 年用):ほぼ線形時間でのポイントツー解析、Bjarne Steensgaard著
  • 2005年（1995年版）:ルカ・カルデッリ著『分散スコープを持つ言語』
  • 2004年（1994年に対して）：マッズ・トフテとジャン＝ピエール・タルピンによる、領域スタックを用いた型付き値渡しラムダ計算の実装
  • 2003年（1993年版）：サイモン・ペイトン・ジョーンズとフィリップ・ワドラーによる命令型関数型プログラミング

最も影響力のあるOOPSLA論文賞

  • 2024（2014年版）:適応型LL（*）構文解析：動的解析の威力、 Terence Parr、Sam Harwell、Kathleen Fisher著
  • 2023年（2013年分）：レオ・メイエロヴィッチとアリエル・ラブキンによるプログラミング言語の採用に関する実証分析
  • 2022 (2012年版): GPUVerify: GPUカーネルの検証ツール( Adam Betts、Nathan Chong、Alastair Donaldson、Shaz Qadeer、Paul Thomson)
  • 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 年版): Andy Georges、Dries Buytaert、Lieven Eeckhoutによる「統計的に厳密な Java パフォーマンス評価」
  • 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年版）： Tim HarrisとKeir Fraserによる軽量トランザクションの言語サポート
  • 2012年（2002年版）: Emery D. Berger、Benjamin G. Zorn、Kathryn S. McKinleyによるカスタムメモリ割り当ての再考
  • 2010 (2000 年版): Matthew Arnold、Stephen Fink、David Grove、Michael Hind、Peter F. SweeneyによるJalapeño JVM の適応型最適化
  • 2009 (1999 年版): Bowen Alpern、CR Attanasio、John J. Barton、Anthony Cocchi、Susan Flynn Hummel、Derek Lieber、Ton Ngo、Mark Mergen、Janice C. Shepherd、Stephen Smithによる「Implementing Jalapeño in Java」
  • 2008年（1998年版）:柔軟なエイリアス保護のための所有権の種類、 David G. Clarke、John M. Potter、James Noble著
  • 2007年（1997年版）:オブジェクト指向言語におけるコールグラフ構築（ David Grove、Greg DeFouw、Jeffrey Dean、Craig Chambers著）
  • 2006年（1986～1996年）
    • ウィリアム・ハリソンとハロルド・オッシャー著『主体指向プログラミング：純粋オブジェクトの批評』
    • パティ・マーズ著『計算的反射の概念と実験』
    • デイヴィッド・ウンガーとランドール・B・スミス著『Self: The Power of Simplicity』

最も影響力のあるICFP論文賞

  • 2024 (2014 年版): Niki Vazou、Eric L. Seidel、Ranjit Jhala、Dimitrios Vytiniotis、Simon Peyton-JonesによるHaskell のリファインメント型
  • 2023年（2013年版）：オハッド・カマー、サム・リンドリー、ニコラス・オーリーによる「Handlers in Action」
  • 2022年（2012年分）：「同時情報フローシステムにおける隠れた終了とタイミングチャネルへの対処」Deian Stefan、Alejandro Russo、Pablo Buiras、Amit Levy、John C. Mitchell、David Mazières著
  • 2021年（2011年版）: Frenetic: A Network Programming Language （ネイト・フォスター、ロブ・ハリソン、マイケル・フリードマン、クリストファー・モンサント、ジェニファー・レックスフォード、アレックス・ストーリー、デビッド・ウォーカー著）
  • 2020年（2010年に対して）：デビッド・ヴァン・ホーンとマシュー・マイト著『抽象化機械』
  • 2019 (2009 年版): Simon Marlow、Simon Peyton Jones、Satnam Singhによる「マルチコア Haskell のランタイム サポート」
  • 2018年（2008年に対して）：アダム・クリパラ著『機械化された意味論のためのパラメトリック高階抽象構文』
  • 2017年（2007年版）：Ott: 実用的なセマンティシストのための効果的なツールサポート、Peter Sewell、Francesco Zappa Nardelli、Scott Owens、Gilles Peskine、Thomas Ridge、Susmit Sarkar、Rok Strniša著
  • 2016年（2006年に対して）：Simon Peyton Jones、Dimitrios Vytiniotis、Stephanie Weirich、Geoffrey WashburnによるGADTのためのシンプルな統一ベースの型推論
  • 2015年（2005年版）：Manuel MT Chakravarty、Gabriele Keller、Simon Peyton Jonesによる「Associated Type Synonyms」
  • 2014年（2004年版）:ラルフ・レメルとサイモン・ペイトン・ジョーンズ著『Scrap More Boilerplate: Reflection, Zips, and Generalised Casts』
  • 2013年（2003年版）: MLF: MLをシステムFの力で動かす、ディディエ・ル・ボトランとディディエ・レミ著
  • 2012年（2002年に対して）：ロバート・フィンドラーとマティアス・フェライゼン著『高階関数の契約』
  • 2011年（2001年版）: Claudio Russo著『Recursive Structures for Standard ML』
  • 2010年（2000年版）: Koen ClaessenとJohn Hughesによる「Quickcheck: Haskellプログラムのランダムテストのための軽量ツール」
  • 2009年（1999年版）：「HaskellとXML：ジェネリックコンビネータか型ベースの翻訳か？ 」 Malcolm WallaceとColin Runciman著
  • 2008年（1998年版）：Cayenne — 依存型を持つ言語 、 Lennart Augustsson著
  • 2007年（1997年の代わりに）：コナル・エリオットとポール・ハダックによる機能的リアクティブアニメーション
  • 2006年（1996年版）：「最適性と非効率性：ラムダ計算のコストモデルではないものとは何か？」ジュリア・L・ラウォール、ハリー・G・メアソン著

参照

参考文献

  1. ^ 「SIGPLANプログラミング言語功績賞」。ACM SIGPLAN。
  2. ^このリンクでは受賞者全員の情報が掲載されています。 [ 1 ]
  3. ^ 「SIGPLANプログラミング言語功績賞」 ACM SIGPLAN。 2024年2月22日時点のオリジナルよりアーカイブ。
  4. ^ 「SIGPLAN Robin Milner Young Researcher Award」 . www.sigplan.org . ACM SIGPLAN. 2025年7月7日時点のオリジナルよりアーカイブ。 2025年7月7日閲覧。
  5. ^このリンクでは受賞者全員の情報が掲載されています。 [ 4 ]
  6. ^ 「プログラミング言語ソフトウェア賞」 ACM SIGPLAN。2025年7月6日時点のオリジナルよりアーカイブ。2025年7月6日閲覧。
  7. ^ 「ジョン・C・レイノルズ博士論文賞」 www.sigplan.org . 2025年7月2日時点のオリジナルよりアーカイブ。 2025年7月7日閲覧。
  8. ^ 「最も影響力のあるPLDI論文賞」 ACM SIGPLAN。2025年7月7日時点のオリジナルよりアーカイブ。 2025年7月7日閲覧。
  9. ^ 「最も影響力のあるPOPL論文賞」 ACM SIGPLAN。2025年7月7日時点のオリジナルよりアーカイブ。 2025年7月7日閲覧。
「 https://en.wikipedia.org/w/index.php?title=SIGPLAN&oldid=1324325186」から取得