CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available" lang="en" dir="ltr"> <head> <meta charset="UTF-8"> <title>SIGPLAN - Wikipedia</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available";var cookie=document.cookie.match(/(?:^|; )enwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":["",""],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"dmy", "wgMonthNames":["","January","February","March","April","May","June","July","August","September","October","November","December"],"wgRequestId":"7f6ce4d1-d93c-49fa-bf14-2761362cdd66","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"SIGPLAN","wgTitle":"SIGPLAN","wgCurRevisionId":1259868158,"wgRevisionId":1259868158,"wgArticleId":1226658,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Webarchive template wayback links","Articles with short description","Short description is different from Wikidata","Articles needing additional references from August 2011","All articles needing additional references","Association for Computing Machinery Special Interest Groups"],"wgPageViewLanguage":"en","wgPageContentLanguage":"en","wgPageContentModel":"wikitext","wgRelevantPageName":"SIGPLAN","wgRelevantArticleId":1226658,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true, "wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":false,"wgFlaggedRevsParams":{"tags":{"status":{"levels":1}}},"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"en","pageLanguageDir":"ltr","pageVariantFallbacks":"en"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":false,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":20000,"wgRelatedArticlesCompat":[],"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q3412172","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false, "wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","ext.cite.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","jquery.makeCollapsible.styles":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["ext.cite.ux-enhancements","site","mediawiki.page.ready","jquery.makeCollapsible","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.ReferenceTooltips","ext.gadget.switcher","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init", "ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.cx.uls.quick.actions","wikibase.client.vector-2022","ext.checkUser.clientHints","ext.quicksurveys.init","ext.growthExperiments.SuggestedEditSession"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=en&modules=ext.cite.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cjquery.makeCollapsible.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=en&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=en&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.6"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="SIGPLAN - Wikipedia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//en.m.wikipedia.org/wiki/SIGPLAN"> <link rel="alternate" type="application/x-wiki" title="Edit this page" href="/w/index.php?title=SIGPLAN&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipedia (en)"> <link rel="EditURI" type="application/rsd+xml" href="//en.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://en.wikipedia.org/wiki/SIGPLAN"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en"> <link rel="alternate" type="application/atom+xml" title="Wikipedia Atom feed" href="/w/index.php?title=Special:RecentChanges&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-SIGPLAN rootpage-SIGPLAN skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Jump to content</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Main menu" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Main menu</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Main menu</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">hide</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigation </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Main_Page" title="Visit the main page [z]" accesskey="z"><span>Main page</span></a></li><li id="n-contents" class="mw-list-item"><a href="/wiki/Wikipedia:Contents" title="Guides to browsing Wikipedia"><span>Contents</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/Portal:Current_events" title="Articles related to current events"><span>Current events</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Special:Random" title="Visit a randomly selected article [x]" accesskey="x"><span>Random article</span></a></li><li id="n-aboutsite" class="mw-list-item"><a href="/wiki/Wikipedia:About" title="Learn about Wikipedia and how it works"><span>About Wikipedia</span></a></li><li id="n-contactpage" class="mw-list-item"><a href="//en.wikipedia.org/wiki/Wikipedia:Contact_us" title="How to contact Wikipedia"><span>Contact us</span></a></li> </ul> </div> </div> <div id="p-interaction" class="vector-menu mw-portlet mw-portlet-interaction" > <div class="vector-menu-heading"> Contribute </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-help" class="mw-list-item"><a href="/wiki/Help:Contents" title="Guidance on how to use and edit Wikipedia"><span>Help</span></a></li><li id="n-introduction" class="mw-list-item"><a href="/wiki/Help:Introduction" title="Learn how to edit Wikipedia"><span>Learn to edit</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikipedia:Community_portal" title="The hub for editors"><span>Community portal</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Special:RecentChanges" title="A list of recent changes to Wikipedia [r]" accesskey="r"><span>Recent changes</span></a></li><li id="n-upload" class="mw-list-item"><a href="/wiki/Wikipedia:File_upload_wizard" title="Add images or other media for use on Wikipedia"><span>Upload file</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Main_Page" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikipedia" src="/static/images/mobile/copyright/wikipedia-wordmark-en.svg" style="width: 7.5em; height: 1.125em;"> <img class="mw-logo-tagline" alt="The Free Encyclopedia" src="/static/images/mobile/copyright/wikipedia-tagline-en.svg" width="117" height="13" style="width: 7.3125em; height: 0.8125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Special:Search" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Search Wikipedia [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Search</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Search Wikipedia" aria-label="Search Wikipedia" autocapitalize="sentences" title="Search Wikipedia [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Special:Search"> </div> <button class="cdx-button cdx-search-input__end-button">Search</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Personal tools"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Appearance"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Change the appearance of the page's font size, width, and color" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Appearance" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Appearance</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="https://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=en.wikipedia.org&uselang=en" class=""><span>Donate</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Special:CreateAccount&returnto=SIGPLAN" title="You are encouraged to create an account and log in; however, it is not mandatory" class=""><span>Create account</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Special:UserLogin&returnto=SIGPLAN" title="You're encouraged to log in; however, it's not mandatory. [o]" accesskey="o" class=""><span>Log in</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="Log in and more options" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Personal tools" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Personal tools</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="User menu" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="https://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=en.wikipedia.org&uselang=en"><span>Donate</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Special:CreateAccount&returnto=SIGPLAN" title="You are encouraged to create an account and log in; however, it is not mandatory"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Create account</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Special:UserLogin&returnto=SIGPLAN" title="You're encouraged to log in; however, it's not mandatory. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Log in</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Pages for logged out editors <a href="/wiki/Help:Introduction" aria-label="Learn more about editing"><span>learn more</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Special:MyContributions" title="A list of edits made from this IP address [y]" accesskey="y"><span>Contributions</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Special:MyTalk" title="Discussion about edits from this IP address [n]" accesskey="n"><span>Talk</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> <div class="vector-sticky-pinned-container"> <nav id="mw-panel-toc" aria-label="Contents" data-event-name="ui.sidebar-toc" class="mw-table-of-contents-container vector-toc-landmark"> <div id="vector-toc-pinned-container" class="vector-pinned-container"> <div id="vector-toc" class="vector-toc vector-pinnable-element"> <div class="vector-pinnable-header vector-toc-pinnable-header vector-pinnable-header-pinned" data-feature-name="toc-pinned" data-pinnable-element-id="vector-toc" > <h2 class="vector-pinnable-header-label">Contents</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">hide</button> </div> <ul class="vector-toc-contents" id="mw-panel-toc-list"> <li id="toc-mw-content-text" class="vector-toc-list-item vector-toc-level-1"> <a href="#" class="vector-toc-link"> <div class="vector-toc-text">(Top)</div> </a> </li> <li id="toc-Conferences" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Conferences"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Conferences</span> </div> </a> <ul id="toc-Conferences-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Associated_journals" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Associated_journals"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Associated journals</span> </div> </a> <ul id="toc-Associated_journals-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Newsletters" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Newsletters"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Newsletters</span> </div> </a> <ul id="toc-Newsletters-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Awards" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Awards"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>Awards</span> </div> </a> <button aria-controls="toc-Awards-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>Toggle Awards subsection</span> </button> <ul id="toc-Awards-sublist" class="vector-toc-list"> <li id="toc-Programming_Languages_Achievement_Award" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Programming_Languages_Achievement_Award"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.1</span> <span>Programming Languages Achievement Award</span> </div> </a> <ul id="toc-Programming_Languages_Achievement_Award-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Robin_Milner_Young_Researcher_Award" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Robin_Milner_Young_Researcher_Award"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.2</span> <span>Robin Milner Young Researcher Award</span> </div> </a> <ul id="toc-Robin_Milner_Young_Researcher_Award-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Programming_Languages_Software_Award" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Programming_Languages_Software_Award"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.3</span> <span>Programming Languages Software Award</span> </div> </a> <ul id="toc-Programming_Languages_Software_Award-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-SIGPLAN_Doctoral_Dissertation_Award" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#SIGPLAN_Doctoral_Dissertation_Award"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.4</span> <span>SIGPLAN Doctoral Dissertation Award</span> </div> </a> <ul id="toc-SIGPLAN_Doctoral_Dissertation_Award-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-SIGPLAN_Distinguished_Service_Award" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#SIGPLAN_Distinguished_Service_Award"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.5</span> <span>SIGPLAN Distinguished Service Award</span> </div> </a> <ul id="toc-SIGPLAN_Distinguished_Service_Award-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Most_Influential_PLDI_Paper_Award" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Most_Influential_PLDI_Paper_Award"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.6</span> <span>Most Influential PLDI Paper Award</span> </div> </a> <ul id="toc-Most_Influential_PLDI_Paper_Award-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Most_Influential_POPL_Paper_Award" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Most_Influential_POPL_Paper_Award"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.7</span> <span>Most Influential POPL Paper Award</span> </div> </a> <ul id="toc-Most_Influential_POPL_Paper_Award-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Most_Influential_OOPSLA_Paper_Award" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Most_Influential_OOPSLA_Paper_Award"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.8</span> <span>Most Influential OOPSLA Paper Award</span> </div> </a> <ul id="toc-Most_Influential_OOPSLA_Paper_Award-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Most_Influential_ICFP_Paper_Award" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Most_Influential_ICFP_Paper_Award"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.9</span> <span>Most Influential ICFP Paper Award</span> </div> </a> <ul id="toc-Most_Influential_ICFP_Paper_Award-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-See_also" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#See_also"> <div class="vector-toc-text"> <span class="vector-toc-numb">5</span> <span>See also</span> </div> </a> <ul id="toc-See_also-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-References" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#References"> <div class="vector-toc-text"> <span class="vector-toc-numb">6</span> <span>References</span> </div> </a> <ul id="toc-References-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-External_links" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#External_links"> <div class="vector-toc-text"> <span class="vector-toc-numb">7</span> <span>External links</span> </div> </a> <ul id="toc-External_links-sublist" class="vector-toc-list"> </ul> </li> </ul> </div> </div> </nav> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <nav aria-label="Contents" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" > <input type="checkbox" id="vector-page-titlebar-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-titlebar-toc" class="vector-dropdown-checkbox " aria-label="Toggle the table of contents" > <label id="vector-page-titlebar-toc-label" for="vector-page-titlebar-toc-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-listBullet mw-ui-icon-wikimedia-listBullet"></span> <span class="vector-dropdown-label-text">Toggle the table of contents</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-titlebar-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">SIGPLAN</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="Go to an article in another language. Available in 2 languages" > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-2" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">2 languages</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Special_Interest_Group_on_Programming_Languages" title="Special Interest Group on Programming Languages – French" lang="fr" hreflang="fr" data-title="Special Interest Group on Programming Languages" data-language-autonym="Français" data-language-local-name="French" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/SIGPLAN" title="SIGPLAN – Portuguese" lang="pt" hreflang="pt" data-title="SIGPLAN" data-language-autonym="Português" data-language-local-name="Portuguese" class="interlanguage-link-target"><span>Português</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q3412172#sitelinks-wikipedia" title="Edit interlanguage links" class="wbc-editpage">Edit links</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Namespaces"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/SIGPLAN" title="View the content page [c]" accesskey="c"><span>Article</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Talk:SIGPLAN" rel="discussion" title="Discuss improvements to the content page [t]" accesskey="t"><span>Talk</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Change language variant" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">English</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Views"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/SIGPLAN"><span>Read</span></a></li><li id="ca-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=SIGPLAN&action=edit" title="Edit this page [e]" accesskey="e"><span>Edit</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=SIGPLAN&action=history" title="Past revisions of this page [h]" accesskey="h"><span>View history</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Tools" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Tools</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Tools</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">hide</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="More options" > <div class="vector-menu-heading"> Actions </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/SIGPLAN"><span>Read</span></a></li><li id="ca-more-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=SIGPLAN&action=edit" title="Edit this page [e]" accesskey="e"><span>Edit</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=SIGPLAN&action=history"><span>View history</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> General </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Special:WhatLinksHere/SIGPLAN" title="List of all English Wikipedia pages containing links to this page [j]" accesskey="j"><span>What links here</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Special:RecentChangesLinked/SIGPLAN" rel="nofollow" title="Recent changes in pages linked from this page [k]" accesskey="k"><span>Related changes</span></a></li><li id="t-upload" class="mw-list-item"><a href="/wiki/Wikipedia:File_Upload_Wizard" title="Upload files [u]" accesskey="u"><span>Upload file</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Special:SpecialPages" title="A list of all special pages [q]" accesskey="q"><span>Special pages</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=SIGPLAN&oldid=1259868158" title="Permanent link to this revision of this page"><span>Permanent link</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=SIGPLAN&action=info" title="More information about this page"><span>Page information</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Special:CiteThisPage&page=SIGPLAN&id=1259868158&wpFormIdentifier=titleform" title="Information on how to cite this page"><span>Cite this page</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Special:UrlQ%C4%B1sald%C4%B1c%C4%B1s%C4%B1&url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FSIGPLAN"><span>Get shortened URL</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Special:QrKodu&url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FSIGPLAN"><span>Download QR code</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> Print/export </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Special:DownloadAsPdf&page=SIGPLAN&action=show-download-screen" title="Download this page as a PDF file"><span>Download as PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=SIGPLAN&printable=yes" title="Printable version of this page [p]" accesskey="p"><span>Printable version</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> In other projects </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q3412172" title="Structured data on this page hosted by Wikidata [g]" accesskey="g"><span>Wikidata item</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Appearance"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Appearance</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">hide</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> </div> <div id="siteSub" class="noprint">From Wikipedia, the free encyclopedia</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="en" dir="ltr"><div class="shortdescription nomobile noexcerpt noprint searchaux" style="display:none">Association for Computing Machinery (ACM) special interest group</div> <style data-mw-deduplicate="TemplateStyles:r1251242444">.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}@media print{body.ns-0 .mw-parser-output .ambox{display:none!important}}</style><table class="box-More_citations_needed plainlinks metadata ambox ambox-content ambox-Refimprove" role="presentation"><tbody><tr><td class="mbox-image"><div class="mbox-image-div"><span typeof="mw:File"><a href="/wiki/File:Question_book-new.svg" class="mw-file-description"><img alt="" src="//upload.wikimedia.org/wikipedia/en/thumb/9/99/Question_book-new.svg/50px-Question_book-new.svg.png" decoding="async" width="50" height="39" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/9/99/Question_book-new.svg/75px-Question_book-new.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/9/99/Question_book-new.svg/100px-Question_book-new.svg.png 2x" data-file-width="512" data-file-height="399" /></a></span></div></td><td class="mbox-text"><div class="mbox-text-span">This article <b>needs additional citations for <a href="/wiki/Wikipedia:Verifiability" title="Wikipedia:Verifiability">verification</a></b>.<span class="hide-when-compact"> Please help <a href="/wiki/Special:EditPage/SIGPLAN" title="Special:EditPage/SIGPLAN">improve this article</a> by <a href="/wiki/Help:Referencing_for_beginners" title="Help:Referencing for beginners">adding citations to reliable sources</a>. Unsourced material may be challenged and removed.<br /><small><span class="plainlinks"><i>Find sources:</i> <a rel="nofollow" class="external text" href="https://www.google.com/search?as_eq=wikipedia&q=%22SIGPLAN%22">"SIGPLAN"</a> – <a rel="nofollow" class="external text" href="https://www.google.com/search?tbm=nws&q=%22SIGPLAN%22+-wikipedia&tbs=ar:1">news</a> <b>·</b> <a rel="nofollow" class="external text" href="https://www.google.com/search?&q=%22SIGPLAN%22&tbs=bkt:s&tbm=bks">newspapers</a> <b>·</b> <a rel="nofollow" class="external text" href="https://www.google.com/search?tbs=bks:1&q=%22SIGPLAN%22+-wikipedia">books</a> <b>·</b> <a rel="nofollow" class="external text" href="https://scholar.google.com/scholar?q=%22SIGPLAN%22">scholar</a> <b>·</b> <a rel="nofollow" class="external text" href="https://www.jstor.org/action/doBasicSearch?Query=%22SIGPLAN%22&acc=on&wc=on">JSTOR</a></span></small></span> <span class="date-container"><i>(<span class="date">August 2011</span>)</i></span><span class="hide-when-compact"><i> (<small><a href="/wiki/Help:Maintenance_template_removal" title="Help:Maintenance template removal">Learn how and when to remove this message</a></small>)</i></span></div></td></tr></tbody></table> <p><b>SIGPLAN</b> is the <a href="/wiki/Association_for_Computing_Machinery" title="Association for Computing Machinery">Association for Computing Machinery</a>'s <a href="/wiki/Special_Interest_Group" class="mw-redirect" title="Special Interest Group">Special Interest Group</a> (SIG) on <a href="/wiki/Programming_language" title="Programming language">programming languages</a>. This SIG explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are programming language developers, educators, implementers, researchers, theoreticians, and users. </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Conferences">Conferences</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=1" title="Edit section: Conferences"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/wiki/POPL" class="mw-redirect" title="POPL">Principles of Programming Languages</a> (POPL)</li> <li><a href="/wiki/PLDI" class="mw-redirect" title="PLDI">Programming Language Design and Implementation</a> (PLDI)</li> <li><a href="/wiki/International_Symposium_on_Memory_Management" title="International Symposium on Memory Management">International Symposium on Memory Management</a> (ISMM)</li> <li><a href="/w/index.php?title=Languages,_Compilers,_and_Tools_for_Embedded_Systems&action=edit&redlink=1" class="new" title="Languages, Compilers, and Tools for Embedded Systems (page does not exist)">Languages, Compilers, and Tools for Embedded Systems</a> (LCTES)</li> <li><a href="/wiki/Symposium_on_Principles_and_Practice_of_Parallel_Programming" title="Symposium on Principles and Practice of Parallel Programming">Symposium on Principles and Practice of Parallel Programming</a> (PPoPP)</li> <li><a href="/wiki/International_Conference_on_Functional_Programming" title="International Conference on Functional Programming">International Conference on Functional Programming</a> (ICFP)</li> <li><a href="/wiki/SPLASH_(conference)" title="SPLASH (conference)">Systems, Programming, Languages, and Applications: Software for Humanity</a> (SPLASH)</li> <li><a href="/wiki/OOPSLA" title="OOPSLA">Object-Oriented Programming, Systems, Languages, and Applications</a> (OOPSLA)</li> <li><a href="/wiki/HOPL" class="mw-redirect" title="HOPL">History of Programming Languages</a> (HOPL)</li> <li><a href="/w/index.php?title=Dynamic_Languages_Symposium&action=edit&redlink=1" class="new" title="Dynamic Languages Symposium (page does not exist)">Dynamic Languages Symposium</a> (DLS)</li></ul> <div class="mw-heading mw-heading2"><h2 id="Associated_journals">Associated journals</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=2" title="Edit section: Associated journals"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/w/index.php?title=ACM_Transactions_on_Architecture_and_Code_Optimization&action=edit&redlink=1" class="new" title="ACM Transactions on Architecture and Code Optimization (page does not exist)">ACM Transactions on Architecture and Code Optimization</a></li> <li><a href="/wiki/ACM_Transactions_on_Programming_Languages_and_Systems" title="ACM Transactions on Programming Languages and Systems">ACM Transactions on Programming Languages and Systems</a></li> <li><a rel="nofollow" class="external text" href="https://dl.acm.org/journal/pacmpl">Proceedings of the ACM on Programming Languages</a></li></ul> <div class="mw-heading mw-heading2"><h2 id="Newsletters">Newsletters</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=3" title="Edit section: Newsletters"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li>ACM SIGPLAN Notices - <style data-mw-deduplicate="TemplateStyles:r1238218222">.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free.id-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited.id-lock-limited a,.mw-parser-output .id-lock-registration.id-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription.id-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-free a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-limited a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-registration a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-subscription a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .cs1-ws-icon a{background-size:contain;padding:0 1em 0 0}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:var(--color-error,#d33)}.mw-parser-output .cs1-visible-error{color:var(--color-error,#d33)}.mw-parser-output .cs1-maint{display:none;color:#085;margin-left:0.3em}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}@media screen{.mw-parser-output .cs1-format{font-size:95%}html.skin-theme-clientpref-night .mw-parser-output .cs1-maint{color:#18911f}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .cs1-maint{color:#18911f}}</style><a href="/wiki/ISSN_(identifier)" class="mw-redirect" title="ISSN (identifier)">ISSN</a> <a rel="nofollow" class="external text" href="https://www.worldcat.org/search?fq=x0:jrnl&q=n2:1558-1160">1558-1160</a> <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><a href="/wiki/ISSN_(identifier)" class="mw-redirect" title="ISSN (identifier)">ISSN</a> <a rel="nofollow" class="external text" href="https://www.worldcat.org/search?fq=x0:jrnl&q=n2:0362-1340">0362-1340</a> - <a rel="nofollow" class="external text" href="https://dl.acm.org/citation.cfm?id=J706">Home page</a> at <a href="/wiki/Association_for_Computing_Machinery" title="Association for Computing Machinery">ACM</a></li> <li>Fortran Forum - <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><a href="/wiki/ISSN_(identifier)" class="mw-redirect" title="ISSN (identifier)">ISSN</a> <a rel="nofollow" class="external text" href="https://www.worldcat.org/search?fq=x0:jrnl&q=n2:1061-7264">1061-7264</a> <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><a href="/wiki/ISSN_(identifier)" class="mw-redirect" title="ISSN (identifier)">ISSN</a> <a rel="nofollow" class="external text" href="https://www.worldcat.org/search?fq=x0:jrnl&q=n2:1931-1311">1931-1311</a></li> <li>Lisp Pointers (final issue 1995) - <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><a href="/wiki/ISSN_(identifier)" class="mw-redirect" title="ISSN (identifier)">ISSN</a> <a rel="nofollow" class="external text" href="https://www.worldcat.org/search?fq=x0:jrnl&q=n2:1045-3563">1045-3563</a></li> <li>OOPS Messenger (1990–1996) - <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><a href="/wiki/ISSN_(identifier)" class="mw-redirect" title="ISSN (identifier)">ISSN</a> <a rel="nofollow" class="external text" href="https://www.worldcat.org/search?fq=x0:jrnl&q=n2:1558-0253">1558-0253</a> <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><a href="/wiki/ISSN_(identifier)" class="mw-redirect" title="ISSN (identifier)">ISSN</a> <a rel="nofollow" class="external text" href="https://www.worldcat.org/search?fq=x0:jrnl&q=n2:1055-6400">1055-6400</a></li></ul> <div class="mw-heading mw-heading2"><h2 id="Awards">Awards</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=4" title="Edit section: Awards"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading3"><h3 id="Programming_Languages_Achievement_Award">Programming Languages Achievement Award</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=5" title="Edit section: Programming Languages Achievement Award"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Recognizes an individual or individuals who has made a significant and lasting contribution to the field of programming languages. <sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup> </p> <ul><li>2024: <a href="/wiki/Keshav_K_Pingali" title="Keshav K Pingali">Keshav Pingali</a></li> <li>2023: <a href="/wiki/Kathryn_S._McKinley" title="Kathryn S. McKinley">Kathryn S. McKinley</a></li> <li>2022: <a href="/wiki/Xavier_Leroy" title="Xavier Leroy">Xavier Leroy</a></li> <li>2021: <a href="/wiki/Robert_Harper_(computer_scientist)" title="Robert Harper (computer scientist)">Bob Harper</a></li> <li>2020: <a href="/w/index.php?title=Hans-J._Boehm&action=edit&redlink=1" class="new" title="Hans-J. Boehm (page does not exist)">Hans-J. Boehm</a></li> <li>2019: <a href="/w/index.php?title=Alex_Aiken&action=edit&redlink=1" class="new" title="Alex Aiken (page does not exist)">Alex Aiken</a></li> <li>2017: <a href="/wiki/Thomas_W._Reps" title="Thomas W. Reps">Thomas W. Reps</a></li> <li>2016: <a href="/wiki/Simon_Peyton_Jones" title="Simon Peyton Jones">Simon Peyton Jones</a></li> <li>2015: <a href="/wiki/Luca_Cardelli" title="Luca Cardelli">Luca Cardelli</a></li> <li>2014: <a href="/wiki/Neil_D._Jones" title="Neil D. Jones">Neil D. Jones</a></li> <li>2013: <a href="/wiki/Patrick_Cousot" title="Patrick Cousot">Patrick Cousot</a> and <a href="/wiki/Radhia_Cousot" title="Radhia Cousot">Radhia Cousot</a></li> <li>2012: <a href="/wiki/Matthias_Felleisen" title="Matthias Felleisen">Matthias Felleisen</a></li> <li>2011: <a href="/wiki/Tony_Hoare" title="Tony Hoare">Tony Hoare</a></li> <li>2010: <a href="/wiki/Gordon_Plotkin" title="Gordon Plotkin">Gordon Plotkin</a></li> <li>2009: <a href="/wiki/Rod_Burstall" title="Rod Burstall">Rod Burstall</a></li> <li>2008: <a href="/wiki/Barbara_Liskov" title="Barbara Liskov">Barbara Liskov</a></li> <li>2007: <a href="/wiki/Niklaus_Wirth" title="Niklaus Wirth">Niklaus Wirth</a></li> <li>2006: <a href="/w/index.php?title=Ron_Cytron&action=edit&redlink=1" class="new" title="Ron Cytron (page does not exist)">Ron Cytron</a>, <a href="/wiki/Jeanne_Ferrante" title="Jeanne Ferrante">Jeanne Ferrante</a>, <a href="/w/index.php?title=Barry_K._Rosen&action=edit&redlink=1" class="new" title="Barry K. Rosen (page does not exist)">Barry K. Rosen</a>, <a href="/wiki/Mark_Wegman" class="mw-redirect" title="Mark Wegman">Mark Wegman</a>, and <a href="/w/index.php?title=Kenneth_Zadeck&action=edit&redlink=1" class="new" title="Kenneth Zadeck (page does not exist)">Kenneth Zadeck</a></li> <li>2005: <a href="/wiki/Erich_Gamma" title="Erich Gamma">Erich Gamma</a>, <a href="/wiki/Richard_Helm" title="Richard Helm">Richard Helm</a>, <a href="/wiki/Ralph_Johnson_(computer_scientist)" title="Ralph Johnson (computer scientist)">Ralph Johnson</a>, <a href="/wiki/John_Vlissides" title="John Vlissides">John Vlissides</a></li> <li>2004: <a href="/wiki/John_Backus" title="John Backus">John Backus</a></li> <li>2003: <a href="/wiki/John_C._Reynolds" title="John C. Reynolds">John C. Reynolds</a></li> <li>2002: <a href="/wiki/John_McCarthy_(computer_scientist)" title="John McCarthy (computer scientist)">John McCarthy</a></li> <li>2001: <a href="/wiki/Robin_Milner" title="Robin Milner">Robin Milner</a></li> <li>2000: <a href="/wiki/Susan_L._Graham" title="Susan L. Graham">Susan Graham</a></li> <li>1999: <a href="/wiki/Ken_Kennedy_(computer_scientist)" title="Ken Kennedy (computer scientist)">Ken Kennedy</a></li> <li>1998: <a href="/wiki/Fran_Allen" class="mw-redirect" title="Fran Allen">Fran Allen</a></li> <li>1997: <a href="/wiki/Guy_L._Steele_Jr." title="Guy L. Steele Jr.">Guy Steele</a></li></ul> <div class="mw-heading mw-heading3"><h3 id="Robin_Milner_Young_Researcher_Award">Robin Milner Young Researcher Award</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=6" title="Edit section: Robin Milner Young Researcher Award"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Recognizes outstanding contributions by young researchers in the area of programming languages.<sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup> The award is named after the computer scientist <a href="/wiki/Robin_Milner" title="Robin Milner">Robin Milner</a>. </p> <ul><li>2024: Armando Solar-Lezama</li> <li>2023: Nate Foster</li> <li>2022: Viktor Vafeiadis</li> <li>2021: Emina Torlak</li> <li>2020: Eran Yahav</li> <li>2019: <a href="/wiki/Martin_Vechev" title="Martin Vechev">Martin Vechev</a></li> <li>2018: Ranjit Jhala</li> <li>2017: <a href="/w/index.php?title=Derek_Dreyer&action=edit&redlink=1" class="new" title="Derek Dreyer (page does not exist)">Derek Dreyer</a></li> <li>2016: <a href="/wiki/Stephanie_Weirich" title="Stephanie Weirich">Stephanie Weirich</a></li> <li>2015: David Walker</li> <li>2014: <a href="/w/index.php?title=Sumit_Gulwani&action=edit&redlink=1" class="new" title="Sumit Gulwani (page does not exist)">Sumit Gulwani</a></li> <li>2013: <a href="/w/index.php?title=Lars_Birkedal&action=edit&redlink=1" class="new" title="Lars Birkedal (page does not exist)">Lars Birkedal</a></li> <li>2012: <a href="/wiki/Shriram_Krishnamurthi" title="Shriram Krishnamurthi">Shriram Krishnamurthi</a></li></ul> <div class="mw-heading mw-heading3"><h3 id="Programming_Languages_Software_Award">Programming Languages Software Award</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=7" title="Edit section: Programming Languages Software Award"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Given to an institution or individual(s) to recognize the development of a software system that has had a significant impact on programming language research, implementations, and tools.<sup id="cite_ref-6" class="reference"><a href="#cite_note-6"><span class="cite-bracket">[</span>6<span class="cite-bracket">]</span></a></sup> </p> <ul><li>2024: <a href="/wiki/Rust_(programming_language)" title="Rust (programming language)">Rust (programming language)</a><sup id="cite_ref-7" class="reference"><a href="#cite_note-7"><span class="cite-bracket">[</span>7<span class="cite-bracket">]</span></a></sup></li> <li>2023: <a href="/wiki/OCaml" title="OCaml">OCaml</a></li> <li>2022: <a href="/wiki/CompCert" title="CompCert">CompCert</a><sup id="cite_ref-8" class="reference"><a href="#cite_note-8"><span class="cite-bracket">[</span>8<span class="cite-bracket">]</span></a></sup></li> <li>2021: <a href="/wiki/WebAssembly" title="WebAssembly">WebAssembly</a><sup id="cite_ref-sigplan.org_9-0" class="reference"><a href="#cite_note-sigplan.org-9"><span class="cite-bracket">[</span>9<span class="cite-bracket">]</span></a></sup></li> <li>2020: <a href="/wiki/Pin_(computer_program)" title="Pin (computer program)">Pin (computer program)</a><sup id="cite_ref-sigplan.org_9-1" class="reference"><a href="#cite_note-sigplan.org-9"><span class="cite-bracket">[</span>9<span class="cite-bracket">]</span></a></sup></li> <li>2019: <a href="/wiki/Scala_(programming_language)" title="Scala (programming language)">Scala (programming language)</a><sup id="cite_ref-10" class="reference"><a href="#cite_note-10"><span class="cite-bracket">[</span>10<span class="cite-bracket">]</span></a></sup></li> <li>2018: <a href="/wiki/Racket_(programming_language)" title="Racket (programming language)">Racket (programming language)</a><sup id="cite_ref-:0_11-0" class="reference"><a href="#cite_note-:0-11"><span class="cite-bracket">[</span>11<span class="cite-bracket">]</span></a></sup></li> <li>2016: <a href="/wiki/V8_(JavaScript_engine)" title="V8 (JavaScript engine)">V8 (JavaScript engine)</a><sup id="cite_ref-:0_11-1" class="reference"><a href="#cite_note-:0-11"><span class="cite-bracket">[</span>11<span class="cite-bracket">]</span></a></sup></li> <li>2015: <a href="/wiki/Z3_Theorem_Prover" title="Z3 Theorem Prover">Z3 Theorem Prover</a><sup id="cite_ref-:0_11-2" class="reference"><a href="#cite_note-:0-11"><span class="cite-bracket">[</span>11<span class="cite-bracket">]</span></a></sup></li> <li>2014: <a href="/wiki/GNU_Compiler_Collection" title="GNU Compiler Collection">GNU Compiler Collection</a> (GCC)<sup id="cite_ref-:0_11-3" class="reference"><a href="#cite_note-:0-11"><span class="cite-bracket">[</span>11<span class="cite-bracket">]</span></a></sup></li> <li>2013: <a href="/wiki/Coq_(software)" title="Coq (software)">Coq</a> <a href="/wiki/Proof_assistant" title="Proof assistant">proof assistant</a><sup id="cite_ref-12" class="reference"><a href="#cite_note-12"><span class="cite-bracket">[</span>12<span class="cite-bracket">]</span></a></sup></li> <li>2012: <a href="/wiki/Jikes_Research_Virtual_Machine" class="mw-redirect" title="Jikes Research Virtual Machine">Jikes Research Virtual Machine</a> (RVM)<sup id="cite_ref-13" class="reference"><a href="#cite_note-13"><span class="cite-bracket">[</span>13<span class="cite-bracket">]</span></a></sup></li> <li>2011: <a href="/wiki/Simon_Peyton_Jones" title="Simon Peyton Jones">Simon Peyton Jones</a> and <a href="/wiki/Simon_Marlow" title="Simon Marlow">Simon Marlow</a> (<a href="/wiki/Glasgow_Haskell_Compiler" title="Glasgow Haskell Compiler">Glasgow Haskell Compiler</a>)<sup id="cite_ref-14" class="reference"><a href="#cite_note-14"><span class="cite-bracket">[</span>14<span class="cite-bracket">]</span></a></sup></li> <li>2010: <a href="/wiki/Chris_Lattner" title="Chris Lattner">Chris Lattner</a> (<a href="/wiki/LLVM" title="LLVM">LLVM</a>)<sup id="cite_ref-15" class="reference"><a href="#cite_note-15"><span class="cite-bracket">[</span>15<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-16" class="reference"><a href="#cite_note-16"><span class="cite-bracket">[</span>16<span class="cite-bracket">]</span></a></sup></li></ul> <div class="mw-heading mw-heading3"><h3 id="SIGPLAN_Doctoral_Dissertation_Award">SIGPLAN Doctoral Dissertation Award</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=8" title="Edit section: SIGPLAN Doctoral Dissertation Award"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>The full name of this award is the John C. Reynolds Doctoral Dissertation Award, after the computer scientist <a href="/wiki/John_C._Reynolds" title="John C. Reynolds">John C. Reynolds</a>. It is "presented annually to the author of the outstanding doctoral dissertation in the area of Programming Languages."<sup id="cite_ref-17" class="reference"><a href="#cite_note-17"><span class="cite-bracket">[</span>17<span class="cite-bracket">]</span></a></sup> </p> <ul><li>2024: Benjamin Bichsel</li> <li>2023: Sam Westrick</li> <li>2022: Jay P. Lim, Rutgers and Uri Alon</li> <li>2021: Gagandeep Singh and Ralf Jung</li> <li>2020: Filip Niksic</li> <li>2019: Ryan Beckett</li> <li>2018: Justin Hsu and David Menendez</li> <li>2017: Ramana Kumar</li> <li>2016: Shachar Itzhaky and Vilhelm Sjöberg</li> <li>2015: Mark Batty</li> <li>2014: Aaron Turon</li> <li>2013: Patrick Rondon</li> <li>2012: Dan Marino</li> <li>2010: Robert L. Bocchino</li> <li>2009: Akash Lai and William Thies</li> <li>2008: Michael Bond and Viktor Vafeiadis</li> <li>2007: Swarat Chaudhuri</li> <li>2006: Xiangyu Zhang</li> <li>2005: Sumit Gulwani</li> <li>2003: <a href="/w/index.php?title=Godmar_Back&action=edit&redlink=1" class="new" title="Godmar Back (page does not exist)">Godmar Back</a></li> <li>2002: <a href="/w/index.php?title=Michael_Hicks_(computer_scientist)&action=edit&redlink=1" class="new" title="Michael Hicks (computer scientist) (page does not exist)">Michael Hicks</a></li> <li>2001: <a href="/w/index.php?title=Rastislav_Bodik&action=edit&redlink=1" class="new" title="Rastislav Bodik (page does not exist)">Rastislav Bodik</a></li></ul> <div class="mw-heading mw-heading3"><h3 id="SIGPLAN_Distinguished_Service_Award">SIGPLAN Distinguished Service Award</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=9" title="Edit section: SIGPLAN Distinguished Service Award"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li>2024: Emery Berger</li> <li>2023: Talia Ringer</li> <li>2022: Mike Hicks</li> <li>2021: Ben Zorn</li> <li>2019: Jan Vitek</li> <li>2018: Zena Ariola</li> <li>2016: <a href="/wiki/Philip_Wadler" title="Philip Wadler">Phil Wadler</a></li> <li>2015: Dan Grossman</li> <li>2014: <a href="/wiki/Simon_Peyton_Jones" title="Simon Peyton Jones">Simon Peyton Jones</a></li> <li>2013: <a href="/wiki/Kathleen_Fisher" title="Kathleen Fisher">Kathleen Fisher</a></li> <li>2012: Jens Palsberg</li> <li>2011: <a href="/wiki/Kathryn_S._McKinley" title="Kathryn S. McKinley">Kathryn S. McKinley</a></li> <li>2010: Jack W. Davidson</li> <li>2009: Mamdouh Ibrahim</li> <li>2008: Michael Burke</li> <li>2007: Linda M. Northrop</li> <li>2006: <a href="/wiki/Boehm_garbage_collector" title="Boehm garbage collector">Hans Boehm</a></li> <li>2005: no award made</li> <li>2004: <a href="/w/index.php?title=Ron_Cytron&action=edit&redlink=1" class="new" title="Ron Cytron (page does not exist)">Ron Cytron</a></li> <li>2003: <a href="/wiki/Mary_Lou_Soffa" title="Mary Lou Soffa">Mary Lou Soffa</a></li> <li>2002: <a href="/wiki/Andrew_Appel" title="Andrew Appel">Andrew Appel</a></li> <li>2001: <a href="/wiki/Barbara_G._Ryder" title="Barbara G. Ryder">Barbara G. Ryder</a></li> <li>2000: <a href="/w/index.php?title=David_S._Wise&action=edit&redlink=1" class="new" title="David S. Wise (page does not exist)">David Wise</a></li> <li>1999: <a href="/w/index.php?title=Loren_Meissner&action=edit&redlink=1" class="new" title="Loren Meissner (page does not exist)">Loren Meissner</a></li> <li>1998: <a href="/wiki/Brent_Hailpern" title="Brent Hailpern">Brent Hailpern</a></li> <li>1997: <a href="/w/index.php?title=J.A.N._Lee&action=edit&redlink=1" class="new" title="J.A.N. Lee (page does not exist)">J.A.N. Lee</a> and <a href="/wiki/Jean_E._Sammet" title="Jean E. Sammet">Jean E. Sammet</a></li> <li>1996: <a href="/w/index.php?title=Dick_Wexelblat&action=edit&redlink=1" class="new" title="Dick Wexelblat (page does not exist)">Dick Wexelblat</a> and John Richards</li></ul> <div class="mw-heading mw-heading3"><h3 id="Most_Influential_PLDI_Paper_Award">Most Influential PLDI Paper Award</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=10" title="Edit section: Most Influential PLDI Paper Award"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li>2024 (for 2014): <b>FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps</b> <i>by</i> Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick McDaniel</li> <li>2023 (for 2013): <b>Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Representation in Image Processing Pipelines</b> <i>by</i> Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Frédo Durand, and Saman Amarasinghe</li> <li>2022 (for 2012): <b>Test-Case Reduction for C Compiler Bugs</b> <i>by</i> John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang</li> <li>2021 (for 2011): <b>Finding and Understanding Bugs in C Compilers</b> <i>by</i> Xuejun Yang, Yang Chen, Eric Eide, and John Regehr</li> <li>2020 (for 2010): <b>Green: A Framework for Supporting Energy-Conscious Programming using Controlled Approximation</b> <i>by</i> Woongki Baek and Trishul M. Chilimbi</li> <li>2019 (for 2009): <b>FastTrack: Efficient and Precise Dynamic Race Detection</b> <i>by</i> Cormac Flanagan and Stephen N. Freund</li> <li>2018 (for 2008): <b>A Practical Automatic Polyhedral Parallelizer and Locality Optimizer</b> <i>by</i> Uday Bondhugula, Albert Hartono, J. Ramanujam, and P. Sadayappan</li> <li>2017 (for 2007): <b>Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation</b> <i>by</i> Nicholas Nethercote, <a href="/wiki/Julian_Seward" title="Julian Seward">Julian Seward</a></li> <li>2016 (for 2006): <b>DieHard: Probabilistic Memory Safety for Unsafe Languages</b> <i>by</i> <a href="/w/index.php?title=Emery_Berger&action=edit&redlink=1" class="new" title="Emery Berger (page does not exist)">Emery Berger</a>, Benjamin Zorn</li> <li>2015 (for 2005): <b>Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation</b> <i>by</i> Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, and Kim Hazelwood</li> <li>2014 (for 2004): <b>Scalable Lock-Free Dynamic Memory Allocation</b> <i>by</i> Maged M. Michael</li> <li>2013 (for 2003): <b>The nesC Language: A Holistic Approach to Networked Embedded Systems</b> <i>by</i> David Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric Brewer, and David E. Culler</li> <li>2012 (for 2002): <b>Extended Static Checking for Java</b> <i>by</i> <a href="/w/index.php?title=Cormac_Flanagan&action=edit&redlink=1" class="new" title="Cormac Flanagan (page does not exist)">Cormac Flanagan</a>, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata</li> <li>2011 (for 2001): <b>Automatic Predicate Abstraction of C Programs</b> <i>by</i> Thomas Ball, Rupak Majumdar, Todd Millstein, and Sriram K. Rajamani</li> <li>2010 (for 2000): <b>Dynamo: A Transparent Dynamic Optimization System</b> <i>by</i> Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerji</li> <li>2009 (for 1999): <b>A Fast Fourier Transform Compiler</b> <i>by</i> Matteo Frigo</li> <li>2008 (for 1998): <b>The Implementation of the Cilk-5 Multithreaded Language</b> <i>by</i> Matteo Frigo, Charles E. Leiserson, Keith H. Randall</li> <li>2007 (for 1997): <b>Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling</b> <i>by</i> Glenn Ammons, Thomas Ball, and <a href="/wiki/James_Larus" title="James Larus">James R. Larus</a></li> <li>2006 (for 1996): <b>TIL: A Type-Directed Optimizing Compiler for ML</b> <i>by</i> <a href="/w/index.php?title=David_Tarditi&action=edit&redlink=1" class="new" title="David Tarditi (page does not exist)">David Tarditi</a>, <a href="/wiki/Greg_Morrisett" title="Greg Morrisett">Greg Morrisett</a>, <a href="/w/index.php?title=Perry_Cheng&action=edit&redlink=1" class="new" title="Perry Cheng (page does not exist)">Perry Cheng</a>, Christopher Stone, <a href="/wiki/Robert_Harper_(computer_scientist)" title="Robert Harper (computer scientist)">Robert Harper</a>, and <a href="/wiki/Peter_Lee_(computer_scientist)" title="Peter Lee (computer scientist)">Peter Lee</a></li> <li>2005 (for 1995): <b>Selective Specialization for Object-Oriented Languages</b> <i>by</i> <a href="/wiki/Jeffrey_Dean" class="mw-redirect" title="Jeffrey Dean">Jeffrey Dean</a>, <a href="/wiki/Craig_Chambers" title="Craig Chambers">Craig Chambers</a>, and <a href="/w/index.php?title=David_Grove_(computer_scientist)&action=edit&redlink=1" class="new" title="David Grove (computer scientist) (page does not exist)">David Grove</a></li> <li>2004 (for 1994): <b>ATOM: A System for Building Customized Program Analysis Tools</b> <i>by</i> <a href="/wiki/Amitabh_Srivastava" class="mw-redirect" title="Amitabh Srivastava">Amitabh Srivastava</a> and <a href="/wiki/Alan_Eustace" title="Alan Eustace">Alan Eustace</a></li> <li>2003 (for 1993): <b>Space Efficient Conservative Garbage Collection</b> <i>by</i> <a href="/wiki/Boehm_garbage_collector" title="Boehm garbage collector">Hans Boehm</a></li> <li>2002 (for 1992): <b>Lazy Code Motion</b> <i>by</i> <a href="/w/index.php?title=Jens_Knoop&action=edit&redlink=1" class="new" title="Jens Knoop (page does not exist)">Jens Knoop</a>, <a href="/w/index.php?title=Oliver_R%C3%BCthing&action=edit&redlink=1" class="new" title="Oliver Rüthing (page does not exist)">Oliver Rüthing</a>, <a href="/wiki/Bernhard_Steffen_(computer_scientist)" title="Bernhard Steffen (computer scientist)">Bernhard Steffen</a></li> <li>2001 (for 1991): <b>A Data Locality Optimizing Algorithm</b> <i>by</i> <a href="/w/index.php?title=Michael_E._Wolf&action=edit&redlink=1" class="new" title="Michael E. Wolf (page does not exist)">Michael E. Wolf</a> and <a href="/wiki/Monica_S._Lam" title="Monica S. Lam">Monica S. Lam</a></li> <li>2000 (for 1990): <b>Profile Guided Code Positioning</b> <i>by</i> <a href="/w/index.php?title=Karl_Pettis&action=edit&redlink=1" class="new" title="Karl Pettis (page does not exist)">Karl Pettis</a> and <a href="/w/index.php?title=Robert_C._Hansen&action=edit&redlink=1" class="new" title="Robert C. Hansen (page does not exist)">Robert C. Hansen</a></li></ul> <div class="mw-heading mw-heading3"><h3 id="Most_Influential_POPL_Paper_Award">Most Influential POPL Paper Award</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=11" title="Edit section: Most Influential POPL Paper Award"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li>2024 (for 2014): <b>CakeML: A Verified Implementation of ML</b> <i>by</i> Ramana Kumar, Magnus Myreen, Michael Norrish, Scott Owens</li> <li>2023 (for 2013): <b>Views: Compositional reasoning for concurrent programs</b> <i>by</i> Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson, Hongseok Yang</li> <li>2022 (for 2012): <b>Multiple facets for dynamic information flow</b> <i>by</i> Thomas H. Austin and Cormac Flanagan</li> <li>2021 (for 2011): <b>Automating string processing in spreadsheets using input-output examples</b> <i>by</i> Sumit Gulwani</li> <li>2020 (for 2010): <b>From program verification to program synthesis</b> <i>by</i> Saurabh Srivastava, Sumit Gulwani, Jeffrey Foster* 2019 (for 2009): <b>Compositional shape analysis by means of bi-abduction</b> <i>by</i> Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang</li> <li>2018 (for 2008): <b>Multiparty asynchronous session types</b> <i>by</i> Kohei Honda, Nobuko Yoshida, Marco Carbone</li> <li>2017 (for 2007): <b>JavaScript Instrumentation for Browser Security</b> <i>by</i> Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov</li> <li>2016 (for 2006): <b>Formal certification of a compiler back-end or: programming a compiler with a proof assistant</b> <i>by</i> <a href="/wiki/Xavier_Leroy" title="Xavier Leroy">Xavier Leroy</a></li> <li>2015 (for 2005): <b>Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View Update Problem</b> <i>by</i> <a href="/w/index.php?title=Nate_Foster&action=edit&redlink=1" class="new" title="Nate Foster (page does not exist)">Nate Foster</a>, Michael B. Greenwald, Jonathan T. Moore, <a href="/wiki/Benjamin_C._Pierce" title="Benjamin C. Pierce">Benjamin C. Pierce</a>, and Alan Schmitt</li> <li>2014 (for 2004): <b>Abstractions from proofs</b> <i>by</i> Thomas Henzinger, <a href="/w/index.php?title=Ranjit_Jhala&action=edit&redlink=1" class="new" title="Ranjit Jhala (page does not exist)">Ranjit Jhala</a>, Rupak Majumdar, and Kenneth McMillan</li> <li>2013 (for 2003): <b>A real-time garbage collector with low overhead and consistent utilization</b> <i>by</i> David F. Bacon, Perry Cheng, and VT Rajan</li> <li>2012 (for 2002): <b>CCured: Type-Safe Retrofitting of Legacy Code</b> <i>by</i> George C. Necula, Scott McPeak, and <a href="/w/index.php?title=Westley_Weimer&action=edit&redlink=1" class="new" title="Westley Weimer (page does not exist)">Westley Weimer</a></li> <li>2011 (for 2001): <b>BI as an Assertion Language for Mutable Data Structures</b> <i>by</i> Samin Ishtiaq and <a href="/wiki/Peter_W._O%27Hearn" class="mw-redirect" title="Peter W. O'Hearn">Peter W. O'Hearn</a></li> <li>2010 (for 2000): <b>Anytime, Anywhere: Modal Logics for Mobile Ambients</b> <i>by</i> Luca Cardelli and <a href="/wiki/Andrew_D._Gordon" title="Andrew D. Gordon">Andrew D. Gordon</a></li> <li>2009 (for 1999): <b>JFlow: Practical Mostly-Static Information Flow Control</b> <i>by</i> Andrew C. Myers</li> <li>2008 (for 1998): <b>From System F to Typed Assembly Language</b> <i>by</i> Greg Morrisett, David Walker, Karl Crary, and Neal Glew</li> <li>2007 (for 1997): <b>Proof-carrying Code</b> <i>by</i> George Necula</li> <li>2006 (for 1996): <b>Points-to Analysis in Almost Linear Time</b> <i>by</i> <a href="/w/index.php?title=Bjarne_Steensgaard&action=edit&redlink=1" class="new" title="Bjarne Steensgaard (page does not exist)">Bjarne Steensgaard</a></li> <li>2005 (for 1995): <b>A Language with Distributed Scope</b> <i>by</i> <a href="/wiki/Luca_Cardelli" title="Luca Cardelli">Luca Cardelli</a></li> <li>2004 (for 1994): <b>Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions</b> <i>by</i> <a href="/wiki/Mads_Tofte" title="Mads Tofte">Mads Tofte</a> and <a href="/w/index.php?title=Jean-Pierre_Talpin&action=edit&redlink=1" class="new" title="Jean-Pierre Talpin (page does not exist)">Jean-Pierre Talpin</a></li> <li>2003 (for 1993): <b>Imperative functional programming</b> <i>by</i> <a href="/wiki/Simon_Peyton_Jones" title="Simon Peyton Jones">Simon Peyton Jones</a> and <a href="/wiki/Philip_Wadler" title="Philip Wadler">Philip Wadler</a></li></ul> <div class="mw-heading mw-heading3"><h3 id="Most_Influential_OOPSLA_Paper_Award">Most Influential OOPSLA Paper Award</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=12" title="Edit section: Most Influential OOPSLA Paper Award"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li>2024 (for 2014): <b>Adaptive LL(*) parsing: the power of dynamic analysis</b> <i>by</i> Terence Parr, Sam Harwell, and Kathleen Fisher</li> <li>2023 (for 2013): <b>Empirical analysis of programming language adoption</b> <i>by</i> Leo Meyerovich and Ariel Rabkin</li> <li>2022 (for 2012): <b>GPUVerify: a verifier for GPU kernels</b> <i>by</i> Adam Betts, Nathan Chong, Alastair Donaldson, Shaz Qadeer, and Paul Thomson</li> <li>2021 (for 2011): <b>SugarJ: library-based syntactic language extensibility</b> <i>by</i> Sebastian Erdweg, Tillmann Rendel, Christian Kästner, and Klaus Ostermann</li> <li>2020 (for 2010): <b>The spoofax language workbench: rules for declarative specification of languages and IDEs</b> <i>by</i> Lennart C.L. Kats and Eelco Visser</li> <li>2019 (for 2009): <b>Flapjax: a programming language for Ajax applications</b> <i>by</i> Leo A. Meyerovich, Arjun Guha, Jacob Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi</li> <li>2018 (for 2008): <b>jStar: towards practical verification for Java</b> <i>by</i> Dino Distefano and Matthew Parkinson</li> <li>2017 (for 2007): <b>Statistically Rigorous Java Performance Evaluation</b> <i>by</i> Andy Georges, <a href="/wiki/Dries_Buytaert" title="Dries Buytaert">Dries Buytaert</a>, Lieven Eeckhout</li> <li>2016 (for 2006): T<b>he DaCapo benchmarks: Java benchmarking development and analysis</b> <i>by</i> 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</li> <li>2015 (for 2005): <b>X10: An Object-Oriented Approach to Non-Uniform Cluster Computing</b> <i>by</i> Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, and Vivek Sarkar</li> <li>2014 (for 2004): <b>Mirrors: Design Principles for Meta-level Facilities of Object-Oriented Programming Languages</b> <i>by</i> Gilad Bracha and David Ungar</li> <li>2013 (for 2003): <b>Language Support for Lightweight Transactions</b> <i>by</i> Tim Harris and Keir Fraser</li> <li>2012 (for 2002): <b>Reconsidering Custom Memory Allocation</b> <i>by</i> Emery D. Berger, Benjamin G. Zorn, and Kathryn S. McKinley</li> <li>2010 (for 2000): <b>Adaptive Optimization in the Jalapeño JVM</b> <i>by</i> Matthew Arnold, Stephen Fink, David Grove, Michael Hind, and Peter F. Sweeney</li> <li>2009 (for 1999): <b>Implementing Jalapeño in Java</b> <i>by</i> Bowen Alpern, C. R. Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark Mergen, Janice C. Shepherd, and Stephen Smith</li> <li>2008 (for 1998): <b>Ownership Types for Flexible Alias Protection</b> <i>by</i> David G. Clarke, John M. Potter, and James Noble</li> <li>2007 (for 1997): <b>Call Graph Construction in Object-Oriented Languages</b> <i>by</i> David Grove, Greg DeFouw, Jeffrey Dean, and Craig Chambers</li> <li>2006 (for 1986–1996): <ul><li><b>Subject Oriented Programming: A Critique of Pure Objects</b> <i>by</i> William Harrison and Harold Ossher</li> <li><b>Concepts and Experiments in Computational Reflection</b> <i>by</i> Pattie Maes</li> <li><b>Self: The Power of Simplicity</b> <i>by</i> David Ungar and Randall B. Smith</li></ul></li></ul> <div class="mw-heading mw-heading3"><h3 id="Most_Influential_ICFP_Paper_Award">Most Influential ICFP Paper Award</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=13" title="Edit section: Most Influential ICFP Paper Award"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li>2024 (for 2014): <b>Refinement Types for Haskell</b> <i>by</i> Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton-Jones</li> <li>2023 (for 2013): <b>Handlers in Action</b> <i>by</i> Ohad Kammar, Sam Lindley and Nicolas Oury</li> <li>2022 (for 2012): <b>Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems</b> <i>by</i> Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell and David Mazières</li> <li>2021 (for 2011): <b>Frenetic: A Network Programming Language</b> <i>by</i> Nate Foster, Rob Harrison, Michael Freedman, Christopher Monsanto, Jennifer Rexford, Alex Story, and David Walker</li> <li>2020 (for 2010): <b>Abstracting Abstract Machines</b> <i>by</i> David Van Horn and Matthew Might</li> <li>2019 (for 2009): <b>Runtime Support for Multicore Haskell</b> <i>by</i> Simon Marlow, Simon Peyton Jones, and Satnam Singh</li> <li>2018 (for 2008): <b>Parametric Higher-order Abstract Syntax for Mechanized Semantics</b> <i>by</i> Adam Chlipala</li> <li>2017 (for 2007): <b>Ott: Effective Tool Support for the Working Semanticist</b> <i>by</i> Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, and Rok Strniša</li> <li>2016 (for 2006): <b>Simple Unification-based Type Inference for GADTs</b> <i>by</i> Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn</li> <li>2015 (for 2005): <b>Associated Type Synonyms</b> <i>by</i> Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones</li> <li>2014 (for 2004): <b>Scrap More Boilerplate: Reflection, Zips, and Generalised Casts</b> <i>by</i> Ralf Lämmel and Simon Peyton Jones</li> <li>2013 (for 2003): <b>MLF: Raising ML to the Power of System F</b> <i>by</i> Didier Le Botlan and Didier Rémy</li> <li>2012 (for 2002): <b>Contracts for Higher-order Functions</b> <i>by</i> Robert Findler and Matthias Felleisen</li> <li>2011 (for 2001): <b>Recursive Structures for Standard ML</b> <i>by</i> Claudio Russo</li> <li>2010 (for 2000): <b>Quickcheck: A Lightweight Tool for Random Testing of Haskell Programs</b> <i>by</i> Koen Claessen and John Hughes</li> <li>2009 (for 1999): <b>Haskell and XML: Generic combinators or type-based translation?</b> <i>by</i> Malcolm Wallace and Colin Runciman</li> <li>2008 (for 1998): <b>Cayenne — A Language with Dependent Types</b> <i>by</i> Lennart Augustsson</li> <li>2007 (for 1997): <b>Functional Reactive Animation</b> <i>by</i> Conal Elliott and Paul Hudak</li> <li>2006 (for 1996): <b>Optimality and Inefficiency: What isn't a Cost Model of the Lambda Calculus?</b> <i>by</i> <a href="/wiki/Julia_Lawall" title="Julia Lawall">Julia L. Lawall</a> and Harry G. Mairson</li></ul> <div class="mw-heading mw-heading2"><h2 id="See_also">See also</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=14" title="Edit section: See also"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/wiki/List_of_computer_science_awards" title="List of computer science awards">List of computer science awards</a></li></ul> <div class="mw-heading mw-heading2"><h2 id="References">References</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=15" title="Edit section: References"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r1239543626">.mw-parser-output .reflist{margin-bottom:0.5em;list-style-type:decimal}@media screen{.mw-parser-output .reflist{font-size:90%}}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}</style><div class="reflist"> <div class="mw-references-wrap mw-references-columns"><ol class="references"> <li id="cite_note-1"><span class="mw-cite-backlink"><b><a href="#cite_ref-1">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://www.sigplan.org/Awards/Achievement/">"SIGPLAN Programming Languages Achievement Award"</a>. ACM SIGPLAN.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=SIGPLAN+Programming+Languages+Achievement+Award&rft.pub=ACM+SIGPLAN&rft_id=https%3A%2F%2Fwww.sigplan.org%2FAwards%2FAchievement%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASIGPLAN" class="Z3988"></span></span> </li> <li id="cite_note-2"><span class="mw-cite-backlink"><b><a href="#cite_ref-2">^</a></b></span> <span class="reference-text">This link provides information on all awardees.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup></span> </li> <li id="cite_note-3"><span class="mw-cite-backlink"><b><a href="#cite_ref-3">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20240222201224/https://www.sigplan.org/Awards/Achievement/">"SIGPLAN Programming Languages Achievement Award"</a>. ACM SIGPLAN. Archived from <a rel="nofollow" class="external text" href="https://www.sigplan.org/Awards/Achievement/">the original</a> on 2024-02-22.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=SIGPLAN+Programming+Languages+Achievement+Award&rft.pub=ACM+SIGPLAN&rft_id=https%3A%2F%2Fwww.sigplan.org%2FAwards%2FAchievement%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASIGPLAN" class="Z3988"></span></span> </li> <li id="cite_note-4"><span class="mw-cite-backlink"><b><a href="#cite_ref-4">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="http://www.sigplan.org/Awards/Milner/">"SIGPLAN Robin Milner Young Researcher Award"</a>. <i>www.sigplan.org</i>. ACM SIGPLAN<span class="reference-accessdate">. Retrieved <span class="nowrap">2024-07-08</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=www.sigplan.org&rft.atitle=SIGPLAN+Robin+Milner+Young+Researcher+Award&rft_id=http%3A%2F%2Fwww.sigplan.org%2FAwards%2FMilner%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASIGPLAN" class="Z3988"></span></span> </li> <li id="cite_note-5"><span class="mw-cite-backlink"><b><a href="#cite_ref-5">^</a></b></span> <span class="reference-text">This link provides information on all awardees.<sup id="cite_ref-4" class="reference"><a href="#cite_note-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup></span> </li> <li id="cite_note-6"><span class="mw-cite-backlink"><b><a href="#cite_ref-6">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20240605064115/https://www.sigplan.org/Awards/Software/">"SIGPLAN Programming Languages Software Award"</a>. ACM SIGPLAN. Archived from <a rel="nofollow" class="external text" href="https://www.sigplan.org/Awards/Software//">the original</a> on 2024-06-05.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=SIGPLAN+Programming+Languages+Software+Award&rft.pub=ACM+SIGPLAN&rft_id=https%3A%2F%2Fwww.sigplan.org%2FAwards%2FSoftware%2F%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASIGPLAN" class="Z3988"></span></span> </li> <li id="cite_note-7"><span class="mw-cite-backlink"><b><a href="#cite_ref-7">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://www.sigplan.org/Awards/Software/">"Programming Languages Software Award"</a><span class="reference-accessdate">. Retrieved <span class="nowrap">2024-07-12</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Programming+Languages+Software+Award&rft_id=https%3A%2F%2Fwww.sigplan.org%2FAwards%2FSoftware%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASIGPLAN" class="Z3988"></span></span> </li> <li id="cite_note-8"><span class="mw-cite-backlink"><b><a href="#cite_ref-8">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://www.sigplan.org/Awards/Software/">"Programming Languages Software Award"</a><span class="reference-accessdate">. Retrieved <span class="nowrap">2022-10-27</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Programming+Languages+Software+Award&rft_id=https%3A%2F%2Fwww.sigplan.org%2FAwards%2FSoftware%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASIGPLAN" class="Z3988"></span></span> </li> <li id="cite_note-sigplan.org-9"><span class="mw-cite-backlink">^ <a href="#cite_ref-sigplan.org_9-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-sigplan.org_9-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://www.sigplan.org/Awards/Software/">"Programming Languages Software Award"</a><span class="reference-accessdate">. Retrieved <span class="nowrap">2021-10-05</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Programming+Languages+Software+Award&rft_id=https%3A%2F%2Fwww.sigplan.org%2FAwards%2FSoftware%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASIGPLAN" class="Z3988"></span></span> </li> <li id="cite_note-10"><span class="mw-cite-backlink"><b><a href="#cite_ref-10">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFLuterbacher2019" class="citation web cs1">Luterbacher, Celia (25 June 2019). <a rel="nofollow" class="external text" href="https://actu.epfl.ch/news/scala-programming-language-wins-sigplan-award/">"Scala programming language wins SIGPLAN award"</a><span class="reference-accessdate">. Retrieved <span class="nowrap">2019-06-25</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Scala+programming+language+wins+SIGPLAN+award&rft.date=2019-06-25&rft.aulast=Luterbacher&rft.aufirst=Celia&rft_id=https%3A%2F%2Factu.epfl.ch%2Fnews%2Fscala-programming-language-wins-sigplan-award%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASIGPLAN" class="Z3988"></span></span> </li> <li id="cite_note-:0-11"><span class="mw-cite-backlink">^ <a href="#cite_ref-:0_11-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-:0_11-1"><sup><i><b>b</b></i></sup></a> <a href="#cite_ref-:0_11-2"><sup><i><b>c</b></i></sup></a> <a href="#cite_ref-:0_11-3"><sup><i><b>d</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="http://www.sigplan.org/Awards/Software/">"Programming Languages Software Award"</a>. <i>www.sigplan.org</i><span class="reference-accessdate">. Retrieved <span class="nowrap">2018-12-02</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=www.sigplan.org&rft.atitle=Programming+Languages+Software+Award&rft_id=http%3A%2F%2Fwww.sigplan.org%2FAwards%2FSoftware%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASIGPLAN" class="Z3988"></span></span> </li> <li id="cite_note-12"><span class="mw-cite-backlink"><b><a href="#cite_ref-12">^</a></b></span> <span class="reference-text"><a rel="nofollow" class="external text" href="http://www.sigplan.org/node/220">2013: The Coq proof assistant</a> <a rel="nofollow" class="external text" href="https://web.archive.org/web/20130703091436/http://www.sigplan.org/node/220">Archived</a> 2013-07-03 at the <a href="/wiki/Wayback_Machine" title="Wayback Machine">Wayback Machine</a>. SIGPLAN. Retrieved on 2013-08-20.</span> </li> <li id="cite_note-13"><span class="mw-cite-backlink"><b><a href="#cite_ref-13">^</a></b></span> <span class="reference-text"><a rel="nofollow" class="external text" href="http://www.sigplan.org/Awards/Software/2012">2012: Jikes Research Virtual Machine (RVM)</a> <a rel="nofollow" class="external text" href="https://web.archive.org/web/20130703034150/http://www.sigplan.org/Awards/Software/2012">Archived</a> 2013-07-03 at the <a href="/wiki/Wayback_Machine" title="Wayback Machine">Wayback Machine</a>. SIGPLAN. Retrieved on 2013-08-20.</span> </li> <li id="cite_note-14"><span class="mw-cite-backlink"><b><a href="#cite_ref-14">^</a></b></span> <span class="reference-text"><a rel="nofollow" class="external text" href="http://www.sigplan.org/Awards/Software/2011">2011: Simon Peyton Jones and Simon Marlow</a>. SIGPLAN. Retrieved on 2013-08-20.</span> </li> <li id="cite_note-15"><span class="mw-cite-backlink"><b><a href="#cite_ref-15">^</a></b></span> <span class="reference-text"><a rel="nofollow" class="external text" href="http://www.sigplan.org/Awards/Software/2010">2010: Chris Lattner</a>. SIGPLAN. Retrieved on 2013-08-20.</span> </li> <li id="cite_note-16"><span class="mw-cite-backlink"><b><a href="#cite_ref-16">^</a></b></span> <span class="reference-text"><a rel="nofollow" class="external text" href="http://www.nondot.org/sabre/Resume.html">ACM SIGPLAN Programming Languages Software Award in 2010</a> in recognition of his work on <a href="/wiki/LLVM" title="LLVM">LLVM</a>.</span> </li> <li id="cite_note-17"><span class="mw-cite-backlink"><b><a href="#cite_ref-17">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="http://www.sigplan.org/Awards/Dissertation/">"John C. Reynolds Doctoral Dissertation Award"</a>. <i>www.sigplan.org</i><span class="reference-accessdate">. Retrieved <span class="nowrap">2017-01-16</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=www.sigplan.org&rft.atitle=John+C.+Reynolds+Doctoral+Dissertation+Award&rft_id=http%3A%2F%2Fwww.sigplan.org%2FAwards%2FDissertation%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3ASIGPLAN" class="Z3988"></span></span> </li> </ol></div></div> <div class="mw-heading mw-heading2"><h2 id="External_links">External links</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=SIGPLAN&action=edit&section=16" title="Edit section: External links"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a rel="nofollow" class="external text" href="http://www.sigplan.org/">SIGPLAN homepage</a></li></ul> <div class="navbox-styles"><style data-mw-deduplicate="TemplateStyles:r1129693374">.mw-parser-output .hlist dl,.mw-parser-output .hlist ol,.mw-parser-output .hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li{display:none}.mw-parser-output .hlist dt::after{content:": "}.mw-parser-output .hlist dd::after,.mw-parser-output .hlist li::after{content:" · ";font-weight:bold}.mw-parser-output .hlist dd:last-child::after,.mw-parser-output .hlist dt:last-child::after,.mw-parser-output .hlist li:last-child::after{content:none}.mw-parser-output .hlist dd dd:first-child::before,.mw-parser-output .hlist dd dt:first-child::before,.mw-parser-output .hlist dd li:first-child::before,.mw-parser-output .hlist dt dd:first-child::before,.mw-parser-output .hlist dt dt:first-child::before,.mw-parser-output .hlist dt li:first-child::before,.mw-parser-output .hlist li dd:first-child::before,.mw-parser-output .hlist li dt:first-child::before,.mw-parser-output .hlist li li:first-child::before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child::after,.mw-parser-output .hlist dd dt:last-child::after,.mw-parser-output .hlist dd li:last-child::after,.mw-parser-output .hlist dt dd:last-child::after,.mw-parser-output .hlist dt dt:last-child::after,.mw-parser-output .hlist dt li:last-child::after,.mw-parser-output .hlist li dd:last-child::after,.mw-parser-output .hlist li dt:last-child::after,.mw-parser-output .hlist li li:last-child::after{content:")";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li::before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child::before,.mw-parser-output .hlist dt ol>li:first-child::before,.mw-parser-output .hlist li ol>li:first-child::before{content:" ("counter(listitem)"\a0 "}</style><style data-mw-deduplicate="TemplateStyles:r1236075235">.mw-parser-output .navbox{box-sizing:border-box;border:1px solid #a2a9b1;width:100%;clear:both;font-size:88%;text-align:center;padding:1px;margin:1em auto 0}.mw-parser-output .navbox .navbox{margin-top:0}.mw-parser-output .navbox+.navbox,.mw-parser-output .navbox+.navbox-styles+.navbox{margin-top:-1px}.mw-parser-output .navbox-inner,.mw-parser-output .navbox-subgroup{width:100%}.mw-parser-output .navbox-group,.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow{padding:0.25em 1em;line-height:1.5em;text-align:center}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background-color:#fdfdfd}.mw-parser-output .navbox-list{line-height:1.5em;border-color:#fdfdfd}.mw-parser-output .navbox-list-with-group{text-align:left;border-left-width:2px;border-left-style:solid}.mw-parser-output tr+tr>.navbox-abovebelow,.mw-parser-output tr+tr>.navbox-group,.mw-parser-output tr+tr>.navbox-image,.mw-parser-output tr+tr>.navbox-list{border-top:2px solid #fdfdfd}.mw-parser-output .navbox-title{background-color:#ccf}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background-color:#ddf}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background-color:#e6e6ff}.mw-parser-output .navbox-even{background-color:#f7f7f7}.mw-parser-output .navbox-odd{background-color:transparent}.mw-parser-output .navbox .hlist td dl,.mw-parser-output .navbox .hlist td ol,.mw-parser-output .navbox .hlist td ul,.mw-parser-output .navbox td.hlist dl,.mw-parser-output .navbox td.hlist ol,.mw-parser-output .navbox td.hlist ul{padding:0.125em 0}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}body.skin--responsive .mw-parser-output .navbox-image img{max-width:none!important}@media print{body.ns-0 .mw-parser-output .navbox{display:none!important}}</style></div><div role="navigation" class="navbox" aria-labelledby="Association_for_Computing_Machinery" style="padding:3px"><table class="nowraplinks hlist mw-collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1129693374"><style data-mw-deduplicate="TemplateStyles:r1239400231">.mw-parser-output .navbar{display:inline;font-size:88%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar a>span,.mw-parser-output .navbar a>abbr{text-decoration:inherit}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}html.skin-theme-clientpref-night .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}@media(prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}}@media print{.mw-parser-output .navbar{display:none!important}}</style><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-view"><a href="/wiki/Template:Association_for_Computing_Machinery" title="Template:Association for Computing Machinery"><abbr title="View this template">v</abbr></a></li><li class="nv-talk"><a href="/wiki/Template_talk:Association_for_Computing_Machinery" title="Template talk:Association for Computing Machinery"><abbr title="Discuss this template">t</abbr></a></li><li class="nv-edit"><a href="/wiki/Special:EditPage/Template:Association_for_Computing_Machinery" title="Special:EditPage/Template:Association for Computing Machinery"><abbr title="Edit this template">e</abbr></a></li></ul></div><div id="Association_for_Computing_Machinery" style="font-size:114%;margin:0 4em"><a href="/wiki/Association_for_Computing_Machinery" title="Association for Computing Machinery">Association for Computing Machinery</a></div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Association_for_Computing_Machinery#Special_Interest_Groups" title="Association for Computing Machinery">Special Interest Groups</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/SIGACCESS" title="SIGACCESS">SIGACCESS</a></li> <li><a href="/wiki/ACM_SIGACT" title="ACM SIGACT">SIGACT</a></li> <li>SIGAda</li> <li><a href="/wiki/SIGAI" title="SIGAI">SIGAI</a></li> <li>SIGAPP</li> <li><a href="/wiki/ACM_SIGARCH" title="ACM SIGARCH">SIGARCH</a></li> <li>SIGBED</li> <li>SIGBio</li> <li>SIGCAS</li> <li><a href="/wiki/SIGCHI" title="SIGCHI">SIGCHI</a></li> <li><a href="/wiki/SIGCOMM" title="SIGCOMM">SIGCOMM</a></li> <li><a href="/wiki/SIGCSE" title="SIGCSE">SIGCSE</a></li> <li><a href="/wiki/Special_Interest_Group_on_Design_Automation" title="Special Interest Group on Design Automation">SIGDA</a></li> <li><a href="/wiki/SIGDOC" title="SIGDOC">SIGDOC</a></li> <li>SIGecom</li> <li>SIGEVO</li> <li><a href="/wiki/ACM_SIGGRAPH" title="ACM SIGGRAPH">SIGGRAPH</a></li> <li><a href="/wiki/ACM_SIGHPC" title="ACM SIGHPC">SIGHPC</a></li> <li><a href="/wiki/Special_Interest_Group_on_Information_Retrieval" title="Special Interest Group on Information Retrieval">SIGIR</a></li> <li>SIGITE</li> <li><a href="/wiki/SIGKDD" class="mw-redirect" title="SIGKDD">SIGKDD</a></li> <li><a href="/wiki/ACM_SIGLOG" title="ACM SIGLOG">SIGLOG</a></li> <li><a href="/wiki/SIGMETRICS" title="SIGMETRICS">SIGMETRICS</a></li> <li>SIGMICRO</li> <li>SIGMIS</li> <li><a href="/wiki/SIGMM" class="mw-redirect" title="SIGMM">SIGMM</a></li> <li><a href="/wiki/SIGMOBILE" title="SIGMOBILE">SIGMOBILE</a></li> <li><a href="/wiki/SIGMOD" title="SIGMOD">SIGMOD</a></li> <li><a href="/wiki/ACM_SIGOPS" title="ACM SIGOPS">SIGOPS</a></li> <li><a class="mw-selflink selflink">SIGPLAN</a></li> <li>SIGSAC</li> <li><a href="/wiki/SIGSAM" title="SIGSAM">SIGSAM</a></li> <li><a href="/wiki/SIGSIM" class="mw-redirect" title="SIGSIM">SIGSIM</a></li> <li><a href="/wiki/SIGSOFT" title="SIGSOFT">SIGSOFT</a></li> <li>SIGSPATIAL</li> <li><a href="/wiki/SIGUCCS" title="SIGUCCS">SIGUCCS</a></li> <li><a href="/wiki/ACM_SIGWEB" title="ACM SIGWEB">SIGWEB</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Association_for_Computing_Machinery#Awards" title="Association for Computing Machinery">Awards</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:1%">ACM</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Turing_Award" title="Turing Award">Turing Award</a></li> <li><a href="/wiki/ACM_Fellow" title="ACM Fellow">ACM Fellowship</a></li> <li><a href="/wiki/ACM-AAAI_Allen_Newell_Award" class="mw-redirect" title="ACM-AAAI Allen Newell Award">ACM-AAAI Allen Newell Award</a></li> <li><a href="/wiki/Association_for_Computing_Machinery#Athena_Lectures" title="Association for Computing Machinery">Athena Lecturer Award</a></li> <li><a href="/wiki/Eckert%E2%80%93Mauchly_Award" title="Eckert–Mauchly Award">Eckert–Mauchly Award</a></li> <li><a href="/wiki/ACM_Eugene_L._Lawler_Award" title="ACM Eugene L. Lawler Award">Eugene L. Lawler Award</a></li> <li><a href="/wiki/ACM_Doctoral_Dissertation_Award" title="ACM Doctoral Dissertation Award">ACM Doctoral Dissertation Award</a></li> <li><a href="/wiki/Gordon_Bell_Prize" title="Gordon Bell Prize">Gordon Bell Prize</a></li> <li><a href="/wiki/Grace_Murray_Hopper_Award" title="Grace Murray Hopper Award">Grace Murray Hopper Award</a></li> <li><a href="/wiki/Ken_Kennedy_Award" title="Ken Kennedy Award">Ken Kennedy Award</a></li> <li><a href="/wiki/Paris_Kanellakis_Award" title="Paris Kanellakis Award">Paris Kanellakis Theory and Practice Award</a></li> <li><a href="/wiki/ACM_Prize_in_Computing" title="ACM Prize in Computing">ACM Prize in Computing</a></li> <li><a href="/wiki/ACM_Software_System_Award" title="ACM Software System Award">ACM Software System Award</a></li> <li><a href="/wiki/SIAM/ACM_Prize_in_Computational_Science_and_Engineering" class="mw-redirect" title="SIAM/ACM Prize in Computational Science and Engineering">SIAM/ACM Prize in Computational Science and Engineering</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">SIGs</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/CHI_Academy" title="CHI Academy">CHI Academy</a></li> <li><a href="/wiki/G%C3%B6del_Prize" title="Gödel Prize">Gödel Prize</a></li> <li><a href="/wiki/Knuth_Prize" title="Knuth Prize">Knuth Prize</a></li> <li><a href="/wiki/Steven_A._Coons_Award" class="mw-redirect" title="Steven A. Coons Award">Steven A. Coons Award</a></li></ul> </div></td></tr></tbody></table><div></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Association_for_Computing_Machinery#Publications" title="Association for Computing Machinery">Publications</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Journal_of_the_ACM" title="Journal of the ACM">Journal of the ACM</a></li> <li><a href="/wiki/Communications_of_the_ACM" title="Communications of the ACM">Communications of the ACM</a></li> <li><a href="/wiki/RISKS_Digest" title="RISKS Digest">RISKS Digest</a></li> <li><a href="/wiki/ACM_Digital_Library" class="mw-redirect" title="ACM Digital Library">ACM Digital Library</a></li> <li><a href="/wiki/ACM_Computing_Surveys" title="ACM Computing Surveys">ACM Computing Surveys</a></li> <li><a href="/wiki/Computers_in_Entertainment" title="Computers in Entertainment">Computers in Entertainment</a></li> <li><a href="/wiki/ACM_Interactions" title="ACM Interactions">ACM Interactions</a></li> <li><a href="/wiki/ACM_Queue" title="ACM Queue">ACM Queue</a></li> <li><a href="/wiki/XRDS_(magazine)" title="XRDS (magazine)">ACM XRDS</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Association_for_Computing_Machinery#Conferences" title="Association for Computing Machinery">Conferences</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/ACM_Multimedia" title="ACM Multimedia">ACM-MM</a></li> <li><a href="/wiki/AAAI/ACM_Conference_on_AI,_Ethics,_and_Society" title="AAAI/ACM Conference on AI, Ethics, and Society">AIES</a></li> <li><a href="/wiki/International_Conference_on_Architectural_Support_for_Programming_Languages_and_Operating_Systems" title="International Conference on Architectural Support for Programming Languages and Operating Systems">ASPLOS</a></li> <li><a href="/wiki/Conference_on_Human_Factors_in_Computing_Systems" title="Conference on Human Factors in Computing Systems">CHI</a></li> <li><a href="/wiki/Conference_on_Information_and_Knowledge_Management" title="Conference on Information and Knowledge Management">CIKM</a></li> <li><a href="/wiki/Design_Automation_Conference" title="Design Automation Conference">DAC</a></li> <li><a href="/wiki/Distributed_Event-Based_Systems" title="Distributed Event-Based Systems">DEBS</a></li> <li><a href="/wiki/ACM_Conference_on_Fairness,_Accountability,_and_Transparency" title="ACM Conference on Fairness, Accountability, and Transparency">FAccT</a></li> <li><a href="/wiki/Federated_Computing_Research_Conference" title="Federated Computing Research Conference">FCRC</a></li> <li><a href="/wiki/Genetic_and_Evolutionary_Computation_Conference" title="Genetic and Evolutionary Computation Conference">GECCO</a></li> <li><a href="/wiki/Grace_Hopper_Celebration_of_Women_in_Computing" title="Grace Hopper Celebration of Women in Computing">GHC</a></li> <li><a href="/wiki/History_of_Programming_Languages" class="mw-redirect" title="History of Programming Languages">HOPL</a></li> <li><a href="/wiki/Hot_Chips" class="mw-redirect" title="Hot Chips">Hot Chips</a></li> <li><a href="/w/index.php?title=Conference_on_Hypertext_and_Hypermedia&action=edit&redlink=1" class="new" title="Conference on Hypertext and Hypermedia (page does not exist)">Hypertext</a></li> <li><a href="/wiki/Conference_on_Embedded_Networked_Sensor_Systems" title="Conference on Embedded Networked Sensor Systems">SenSys</a></li> <li><a href="/wiki/International_Symposium_on_Computer_Architecture" title="International Symposium on Computer Architecture">ISCA</a></li> <li><a href="/wiki/International_Symposium_on_Memory_Management" title="International Symposium on Memory Management">ISMM</a></li> <li><a href="/wiki/International_Symposium_on_Physical_Design" title="International Symposium on Physical Design">ISPD</a></li> <li><a href="/wiki/International_Symposium_on_Symbolic_and_Algebraic_Computation" title="International Symposium on Symbolic and Algebraic Computation">ISSAC</a></li> <li><a href="/wiki/Joint_Conference_on_Digital_Libraries" title="Joint Conference on Digital Libraries">JCDL</a></li> <li><a href="/wiki/International_Symposium_on_Microarchitecture" title="International Symposium on Microarchitecture">MICRO</a></li> <li><a href="/wiki/International_Conference_on_Mobile_Computing_and_Networking" title="International Conference on Mobile Computing and Networking">MobiCom</a></li> <li><a href="/wiki/Programming_Language_Design_and_Implementation" class="mw-redirect" title="Programming Language Design and Implementation">PLDI</a></li> <li><a href="/wiki/Symposium_on_Principles_of_Distributed_Computing" title="Symposium on Principles of Distributed Computing">PODC</a></li> <li><a href="/wiki/Symposium_on_Principles_of_Database_Systems" title="Symposium on Principles of Database Systems">PODS</a></li> <li><a href="/wiki/Symposium_on_Principles_of_Programming_Languages" title="Symposium on Principles of Programming Languages">POPL</a></li> <li><a href="/wiki/Symposium_on_Principles_and_Practice_of_Parallel_Programming" title="Symposium on Principles and Practice of Parallel Programming">PPoPP</a></li> <li><a href="/wiki/ACM_Conference_on_Recommender_Systems" title="ACM Conference on Recommender Systems">RecSys</a></li> <li><a href="/wiki/ACM/IEEE_Supercomputing_Conference" title="ACM/IEEE Supercomputing Conference">SC</a></li> <li><a href="/wiki/SIGCOMM" title="SIGCOMM">SIGCOMM</a></li> <li><a href="/wiki/SIGCSE_Technical_Symposium_on_Computer_Science_Education" title="SIGCSE Technical Symposium on Computer Science Education">SIGCSE</a></li> <li><a href="/wiki/SIGGRAPH" title="SIGGRAPH">SIGGRAPH</a></li> <li><a href="/wiki/Symposium_on_Computational_Geometry" title="Symposium on Computational Geometry">SoCG</a></li> <li><a href="/wiki/Symposium_on_Discrete_Algorithms" title="Symposium on Discrete Algorithms">SODA</a></li> <li><a href="/wiki/Symposium_on_Operating_Systems_Principles" title="Symposium on Operating Systems Principles">SOSP</a></li> <li><a href="/wiki/Symposium_on_Parallelism_in_Algorithms_and_Architectures" title="Symposium on Parallelism in Algorithms and Architectures">SPAA</a></li> <li><a href="/wiki/SPLASH_(conference)" title="SPLASH (conference)">SPLASH</a></li> <li><a href="/wiki/Symposium_on_Theory_of_Computing" title="Symposium on Theory of Computing">STOC</a></li> <li><a href="/wiki/Richard_Tapia_Celebration_of_Diversity_in_Computing" title="Richard Tapia Celebration of Diversity in Computing">TAPIA</a></li> <li><a href="/wiki/ACM_Symposium_on_User_Interface_Software_and_Technology" title="ACM Symposium on User Interface Software and Technology">UIST</a></li> <li><a href="/wiki/ACM/IEEE_Virtual_Reality_International_Conference" title="ACM/IEEE Virtual Reality International Conference">VRIC</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Educational programs</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/ACM-W" title="ACM-W">ACM-W</a></li> <li><a href="/wiki/ACM_International_Collegiate_Programming_Contest" class="mw-redirect" title="ACM International Collegiate Programming Contest">ACM International Collegiate Programming Contest</a></li> <li><a href="/wiki/ACM_Student_Research_Competition" title="ACM Student Research Competition">ACM Student Research Competition</a></li> <li><a href="/wiki/Upsilon_Pi_Epsilon" title="Upsilon Pi Epsilon">Upsilon Pi Epsilon</a></li></ul> </div></td></tr></tbody></table></div> <div class="navbox-styles"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1129693374"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1236075235"></div><div role="navigation" class="navbox authority-control" aria-labelledby="Authority_control_databases_frameless&#124;text-top&#124;10px&#124;alt=Edit_this_at_Wikidata&#124;link=https&#58;//www.wikidata.org/wiki/Q3412172#identifiers&#124;class=noprint&#124;Edit_this_at_Wikidata" style="padding:3px"><table class="nowraplinks hlist mw-collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><div id="Authority_control_databases_frameless&#124;text-top&#124;10px&#124;alt=Edit_this_at_Wikidata&#124;link=https&#58;//www.wikidata.org/wiki/Q3412172#identifiers&#124;class=noprint&#124;Edit_this_at_Wikidata" style="font-size:114%;margin:0 4em"><a href="/wiki/Help:Authority_control" title="Help:Authority control">Authority control databases</a> <span class="mw-valign-text-top noprint" typeof="mw:File/Frameless"><a href="https://www.wikidata.org/wiki/Q3412172#identifiers" title="Edit this at Wikidata"><img alt="Edit this at Wikidata" src="//upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/10px-OOjs_UI_icon_edit-ltr-progressive.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/15px-OOjs_UI_icon_edit-ltr-progressive.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/20px-OOjs_UI_icon_edit-ltr-progressive.svg.png 2x" data-file-width="20" data-file-height="20" /></a></span></div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">International</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://isni.org/isni/0000000123238482">ISNI</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/128802907">VIAF</a></span></li></ul></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">National</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/75333-6">Germany</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n82047295">United States</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://catalogue.bnf.fr/ark:/12148/cb12281414g">France</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://data.bnf.fr/ark:/12148/cb12281414g">BnF data</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://nla.gov.au/anbd.aut-an35000831">Australia</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://www.nli.org.il/en/authorities/987007422909605171">Israel</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://cantic.bnc.cat/registre/981058513063806706">Catalonia</a></span></li></ul></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Academics</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://ci.nii.ac.jp/author/DA00183283?l=en">CiNii</a></span></li></ul></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Other</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://www.idref.fr/080631010">IdRef</a></span></li></ul></div></td></tr></tbody></table></div>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?useformat=desktop&type=1x1&usesul3=0" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Retrieved from "<a dir="ltr" href="https://en.wikipedia.org/w/index.php?title=SIGPLAN&oldid=1259868158">https://en.wikipedia.org/w/index.php?title=SIGPLAN&oldid=1259868158</a>"</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Help:Category" title="Help:Category">Category</a>: <ul><li><a href="/wiki/Category:Association_for_Computing_Machinery_Special_Interest_Groups" title="Category:Association for Computing Machinery Special Interest Groups">Association for Computing Machinery Special Interest Groups</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Hidden categories: <ul><li><a href="/wiki/Category:Webarchive_template_wayback_links" title="Category:Webarchive template wayback links">Webarchive template wayback links</a></li><li><a href="/wiki/Category:Articles_with_short_description" title="Category:Articles with short description">Articles with short description</a></li><li><a href="/wiki/Category:Short_description_is_different_from_Wikidata" title="Category:Short description is different from Wikidata">Short description is different from Wikidata</a></li><li><a href="/wiki/Category:Articles_needing_additional_references_from_August_2011" title="Category:Articles needing additional references from August 2011">Articles needing additional references from August 2011</a></li><li><a href="/wiki/Category:All_articles_needing_additional_references" title="Category:All articles needing additional references">All articles needing additional references</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> This page was last edited on 27 November 2024, at 14:38<span class="anonymous-show"> (UTC)</span>.</li> <li id="footer-info-copyright">Text is available under the <a href="/wiki/Wikipedia:Text_of_the_Creative_Commons_Attribution-ShareAlike_4.0_International_License" title="Wikipedia:Text of the Creative Commons Attribution-ShareAlike 4.0 International License">Creative Commons Attribution-ShareAlike 4.0 License</a>; additional terms may apply. By using this site, you agree to the <a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use" class="extiw" title="foundation:Special:MyLanguage/Policy:Terms of Use">Terms of Use</a> and <a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy" class="extiw" title="foundation:Special:MyLanguage/Policy:Privacy policy">Privacy Policy</a>. Wikipedia® is a registered trademark of the <a rel="nofollow" class="external text" href="https://wikimediafoundation.org/">Wikimedia Foundation, Inc.</a>, a non-profit organization.</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Privacy policy</a></li> <li id="footer-places-about"><a href="/wiki/Wikipedia:About">About Wikipedia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikipedia:General_disclaimer">Disclaimers</a></li> <li id="footer-places-contact"><a href="//en.wikipedia.org/wiki/Wikipedia:Contact_us">Contact Wikipedia</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Code of Conduct</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Developers</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/en.wikipedia.org">Statistics</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Cookie statement</a></li> <li id="footer-places-mobileview"><a href="//en.m.wikipedia.org/w/index.php?title=SIGPLAN&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Mobile view</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-59b954b7fb-cwr65","wgBackendResponseTime":138,"wgPageParseReport":{"limitreport":{"cputime":"0.458","walltime":"0.623","ppvisitednodes":{"value":2647,"limit":1000000},"postexpandincludesize":{"value":61937,"limit":2097152},"templateargumentsize":{"value":5245,"limit":2097152},"expansiondepth":{"value":14,"limit":100},"expensivefunctioncount":{"value":2,"limit":500},"unstrip-depth":{"value":1,"limit":20},"unstrip-size":{"value":66911,"limit":5000000},"entityaccesscount":{"value":1,"limit":400},"timingprofile":["100.00% 531.237 1 -total"," 23.23% 123.401 1 Template:Reflist"," 23.03% 122.340 1 Template:Short_description"," 17.51% 93.030 10 Template:Cite_web"," 17.50% 92.961 1 Template:Association_for_Computing_Machinery"," 17.05% 90.592 2 Template:Navbox"," 16.14% 85.766 7 Template:ISSN"," 13.56% 72.031 10 Template:Main_other"," 12.86% 68.342 1 Template:SDcat"," 11.91% 63.267 1 Template:More_citations_needed"]},"scribunto":{"limitreport-timeusage":{"value":"0.269","limit":"10.000"},"limitreport-memusage":{"value":6419352,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-87b8b8f58-5ds8g","timestamp":"20241204133557","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"SIGPLAN","url":"https:\/\/en.wikipedia.org\/wiki\/SIGPLAN","sameAs":"http:\/\/www.wikidata.org\/entity\/Q3412172","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q3412172","author":{"@type":"Organization","name":"Contributors to Wikimedia projects"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2004-11-30T12:14:58Z","dateModified":"2024-11-27T14:38:28Z","headline":"Association of Computing Machinery (ACM) special interest group"}</script> </body> </html>