CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://pldi15.sigplan.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://pldi15.sigplan.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>PLDI 2015</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://pldi15.sigplan.org";</script> <link rel="stylesheet" href="https://pldi15.sigplan.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://pldi15.sigplan.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://pldi15.sigplan.org/getFile/86f57892-8ae3-45e1-be20-2343d043638f/pldi2015-logobar.css?1424247010987" type="text/css" /><link rel="stylesheet" href="https://pldi15.sigplan.org/stylesheets/owl-carousel/owl.theme.css?f23cf727e4fcca9a5470658da5e755c9" type="text/css" /><link rel="stylesheet" href="https://pldi15.sigplan.org/stylesheets/owl-carousel/owl.carousel.css?0371b5a2d50e985b09b7d337edc0dc9f" type="text/css" /><link rel="stylesheet" href="https://pldi15.sigplan.org/stylesheets/owl-carousel/owl.transitions.css?b1bdaeac4065bf67a7d7a06213192964" type="text/css" /><link rel="stylesheet" href="https://pldi15.sigplan.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://pldi15.sigplan.org/javascript/owl-carousel/owl.carousel.min.js?88d0fe722f04973e2888b58a63aa0570"></script> <script type="text/javascript" src="https://pldi15.sigplan.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://pldi15.sigplan.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://pldi15.sigplan.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://pldi15.sigplan.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://pldi15.sigplan.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://pldi15.sigplan.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta name='description' content='PLDI 2015 is the 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation. The full PLDI 2015 proceedings are freely available at http://sigplan.org/OpenTOC/pldi16.html. PLDI is a premier forum for all areas of programming language research, including the design, implementation, theory, and efficient use of languages. PLDI’s emphases include innovative and creative approaches to compile-time and runtime technology, novel language designs and features, and results from implementations. PLDI 2015 is part of FCRC 2015, a spectrum of affiliated research conferenc ...'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='PLDI 2015 is the 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation. The full PLDI 2015 proceedings are freely available at http://sigplan.org/OpenTOC/pldi16.html. PLDI is a premier forum for all areas of programming language research, including the design, implementation, theory, and efficient use of languages. PLDI’s emphases include innovative and creative approaches to compile-time and runtime technology, novel language designs and features, and results from implementations. PLDI 2015 is part of FCRC 2015, a spectrum of affiliated research conferenc ...'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='PLDI 2015'> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://pldi15.sigplan.org" class="navbar-brand navigate"><span class="brand-text">PLDI 2015</span></a><div class="place">Sat 13 - Wed 17 June 2015 <a href="https://pldi15.sigplan.org/venue/portland-occ" class="navigate">Portland, Oregon, United States</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://pldi15.sigplan.org/venue/portland-occ" class="navigate">Venue: Oregon Convention Center</a></li><li class="block"><a href="https://pldi15.sigplan.org/venue/ExchangeBallroom" class="navigate">Venue: Exchange Ballroom</a></li><li class="block"><a href="https://pldi15.sigplan.org/attending/Hotels" class="navigate">Hotel and Travel Information</a></li><li class="block"><a href="https://pldi15.sigplan.org/attending/student-travel-support" class="navigate">Student Travel Support</a></li><li class="block"><a href="https://pldi15.sigplan.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://pldi15.sigplan.org/attending/sigplan-conference-anti-harassment-policy" class="navigate">SIGPLAN Conference Anti-Harassment Policy</a></li><li class="block"><a href="https://pldi15.sigplan.org/attending/Student+Volunteers" class="navigate">Student Volunteers</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block"><a href="https://pldi15.sigplan.org/program/program-pldi2015/" class="navigate">PLDI Program</a></li><li class="block"><a href="https://pldi15.sigplan.org/program/program-pldi2015/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="block"><a href="https://pldi15.sigplan.org/program/program-pldi2015/" data-fltr-type="date" data-fltr-val="Sat 13 Jun 2015" class="navigate">Sat 13 Jun</a></li><li class="block"><a href="https://pldi15.sigplan.org/program/program-pldi2015/" data-fltr-type="date" data-fltr-val="Sun 14 Jun 2015" class="navigate">Sun 14 Jun</a></li><li class="block"><a href="https://pldi15.sigplan.org/program/program-pldi2015/" data-fltr-type="date" data-fltr-val="Mon 15 Jun 2015" class="navigate">Mon 15 Jun</a></li><li class="block"><a href="https://pldi15.sigplan.org/program/program-pldi2015/" data-fltr-type="date" data-fltr-val="Tue 16 Jun 2015" class="navigate">Tue 16 Jun</a></li><li class="block"><a href="https://pldi15.sigplan.org/program/program-pldi2015/" data-fltr-type="date" data-fltr-val="Wed 17 Jun 2015" class="navigate">Wed 17 Jun</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">PLDI 2015</li><li class="block"><a href="https://pldi15.sigplan.org/track/FCRC+Plenary+Speakers" class="navigate">FCRC Plenary Speakers</a></li><li class="block"><a href="https://pldi15.sigplan.org/track/PLDI+2015+Artifact+Evaluation" class="navigate">Artifact Evaluation</a></li><li class="block"><a href="https://pldi15.sigplan.org/track/pldi2015-workshops" class="navigate">Tutorials</a></li><li class="block"><a href="https://pldi15.sigplan.org/track/pldi2015-papers" class="navigate">Research Papers</a></li><li class="block"><a href="https://pldi15.sigplan.org/track/Student+Research+Competition" class="navigate">Student Research Competition</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ARRAY</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/ARRAY-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> ARRAY</a></li><li class="block"><a href="https://pldi15.sigplan.org/track/ARRAY-2015-papers" class="navigate"><strong>ARRAY</strong> </a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>CHIUW</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/CHIUW-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> CHIUW</a></li><li class="block"><a href="https://pldi15.sigplan.org/track/CHIUW-2015-papers" class="navigate"><strong>CHIUW</strong> </a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLOOC</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/PLOOC-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> PLOOC</a></li><li class="block"><a href="https://pldi15.sigplan.org/track/PLOOC-2015-papers" class="navigate"><strong>PLOOC</strong> </a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SOAP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/SOAP-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> SOAP</a></li><li class="block"><a href="https://pldi15.sigplan.org/track/SOAP-2015-papers" class="navigate"><strong>SOAP</strong> </a></li></ul></li><li class="block"><a href="https://pldi15.sigplan.org/track/wax2015" class="navigate"><strong>WAX</strong> </a></li><li class="block"><a href="https://pldi15.sigplan.org/track/WOW-2015-papers" class="navigate"><strong>WOW</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>X10</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/X10-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> X10</a></li><li class="block"><a href="https://pldi15.sigplan.org/track/X10-2015-papers" class="navigate"><strong>X10</strong> </a></li></ul></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scala</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/scala-2015" class="navigate"><span class="glyphicon glyphicon-home"></span> Scala</a></li><li class="block"><a href="https://pldi15.sigplan.org/track/scala-2015-papers" class="navigate"><strong>Scala</strong> </a></li></ul></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">PLDI 2015 Committees</li><li class="block"><a href="https://pldi15.sigplan.org/committee/pldi2015-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://pldi15.sigplan.org/committee/pldi-2015-artifact-evaluation-committee" class="navigate"><strong>Artifact Evaluation</strong></a></li><li class="block"><a href="https://pldi15.sigplan.org/committee/pldi2015-papers-program-committee" class="navigate"><strong>Research Papers</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://pldi15.sigplan.org/committee/pldi2015-papers-external-review-committee" class="navigate"><strong>Research Papers</strong> <small>External Review Committee</small></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://pldi15.sigplan.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ARRAY</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://pldi15.sigplan.org/committee/array-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>CHIUW</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://pldi15.sigplan.org/committee/chiuw-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLOOC</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://pldi15.sigplan.org/committee/plooc-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SOAP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://pldi15.sigplan.org/committee/soap-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>WAX</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://pldi15.sigplan.org/committee/wax-2015-papers-organizers" class="navigate">Organizers</a></li><li class="block"><a href="https://pldi15.sigplan.org/committee/wax-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>WOW</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://pldi15.sigplan.org/committee/wow-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>X10</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://pldi15.sigplan.org/committee/x10-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scala</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://pldi15.sigplan.org/committee/scala-2015-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://pldi15.sigplan.org/search//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://pldi15.sigplan.org/series/pldi" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://pldi25.sigplan.org" class="navigate">PLDI 2025</a></li><li class="block"><a href="https://pldi24.sigplan.org" class="navigate">PLDI 2024</a></li><li class="block"><a href="https://pldi23.sigplan.org" class="navigate">PLDI 2023</a></li><li class="block"><a href="https://pldi22.sigplan.org" class="navigate">PLDI 2022</a></li><li class="block"><a href="https://pldi21.sigplan.org" class="navigate">PLDI 2021</a></li><li class="block"><a href="https://pldi20.sigplan.org" class="navigate">PLDI 2020</a></li><li class="block"><a href="https://pldi19.sigplan.org" class="navigate">PLDI 2019</a></li><li class="block"><a href="https://pldi18.sigplan.org" class="navigate">PLDI 2018</a></li><li class="block"><a href="https://pldi17.sigplan.org" class="navigate">PLDI 2017</a></li><li class="block"><a href="https://pldi16.sigplan.org" class="navigate">PLDI 2016</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> PLDI 2015</span></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/pldi2015/https%3A%5Es%5Espldi15.sigplan.org%5Es" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://pldi15.sigplan.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="row"><div class="col-sm-7"><div class="row"><div class="col-sm-12"><div class="page-header"><h3>PLDI 2015</h3></div><p>PLDI 2015 is the <strong>36th annual ACM SIGPLAN conference on Programming Language Design and Implementation</strong>.</p> <p>The full PLDI 2015 proceedings are freely available at <a href="http://sigplan.org/OpenTOC/pldi16.html">http://sigplan.org/OpenTOC/pldi16.html</a>.</p> <p>PLDI is a premier forum for all areas of programming language research, including the design, implementation, theory, and efficient use of languages. PLDI’s emphases include innovative and creative approaches to compile-time and runtime technology, novel language designs and features, and results from implementations.</p> <p>PLDI 2015 is part of <a href="http://fcrc.acm.org/" title="FCRC 2015">FCRC 2015</a>, a spectrum of affiliated research conferences and workshops organized into a week long coordinated meeting that will be held June 12-20, 2015 in Portland Oregon.</p> </div></div><div class="row"><div class="col-sm-12"><h3>PLDI Distinguished Papers</h3><div id="89cf96dc51d11ad8e1a9cec8cd21d042wrapper"><div id="89cf96dc51d11ad8e1a9cec8cd21d042"><a href="https://pldi15.sigplan.org/details/pldi2015-papers/5/Automatically-Improving-Accuracy-for-Floating-Point-Expressions" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Pavel Panchekha" src="https://pldi15.sigplan.org/getProfileImage/pavelpanchekha/753789c0-fdc3-4d20-8d3c-f11a571aba45/avatar.jpg?1713278642000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Automatically Improving Accuracy for Floating Point Expressions</h5><h6><i>Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock</i></h6></div></div></div></a><a href="https://pldi15.sigplan.org/details/pldi2015-papers/46/Diagnosing-Type-Errors-with-Class" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Danfeng Zhang" src="https://pldi15.sigplan.org/getProfileImage/danfengzhang/6eb87743-0994-4ff3-be1e-dbfb34429946/avatar.jpg?1714676265000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Diagnosing Type Errors with Class</h5><h6><i>Danfeng Zhang, Andrew Myers, Dimitrios Vytiniotis, Simon Peyton Jones</i></h6></div></div></div></a><a href="https://pldi15.sigplan.org/details/pldi2015-papers/31/Provably-Correct-Peephole-Optimizations-with-Alive" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Nuno P. Lopes" src="https://pldi15.sigplan.org/getProfileImage/nunoplopes/51903af2-1afa-498e-95d4-72829128f32c/avatar.jpg?1711464469000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Provably Correct Peephole Optimizations with Alive</h5><h6><i>Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#89cf96dc51d11ad8e1a9cec8cd21d042").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#89cf96dc51d11ad8e1a9cec8cd21d042wrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#89cf96dc51d11ad8e1a9cec8cd21d042 .' + cl + ',#89cf96dc51d11ad8e1a9cec8cd21d042 .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#89cf96dc51d11ad8e1a9cec8cd21d042 .' + cl).css('height', maxHeight); }); }); </script></div></div><div class="row"><div class="col-sm-12"><h3>PLDI Distinguished Artifact</h3><div id="bba7265459f631a2b9db582ff9d93b40wrapper"><div id="bba7265459f631a2b9db582ff9d93b40"><a href="https://pldi15.sigplan.org/details/pldi2015-papers/36/FlashRelate-Extracting-Relational-Data-from-Semi-Structured-Spreadsheets-Using-Examp" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Dan Barowy" src="https://pldi15.sigplan.org/getProfileImage/danbarowy/fe412de4-be15-454b-b9f8-fd4797f2466f/avatar.jpg?1711576134000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples</h5><h6><i>Dan Barowy, Sumit Gulwani, Ted Hart, Benjamin Zorn</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#bba7265459f631a2b9db582ff9d93b40").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#bba7265459f631a2b9db582ff9d93b40wrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#bba7265459f631a2b9db582ff9d93b40 .' + cl + ',#bba7265459f631a2b9db582ff9d93b40 .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#bba7265459f631a2b9db582ff9d93b40 .' + cl).css('height', maxHeight); }); }); </script></div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Student Research Competition Winners</h3></div><p>Congratulations to the Student Research Competition Winners!</p> <h4><a href="#graduate" id="graduate" class="anchor-link">Graduate</a></h4> <ol> <li>Swarnendu Biswas, Ohio State: Low Overhead Region Conflict Detection</li> <li>Jake Roemer, Ohio State: Effective Scheduling for Adversarial Memory</li> <li>Adarsh Yoga, Rutgers: Precise Detection of Atomicity Violations</li> </ol> <h4><a href="#undergraduate" id="undergraduate" class="anchor-link">Undergraduate</a></h4> <ol> <li>Jeevana Inala, MIT: Type Assisted Synthesis of Programs with Algebraic Data types</li> <li>Alex Reinking, Yale: A type-directed approach to program repair</li> <li>Jack Feser, Rice: Unification and Partial Eval. For Component-Based Synthesis</li> </ol> </div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Video Talk Abstracts</h3></div><p>Binge watch PLDI’15 video talk abstracts! Compilations are available for:</p> <ul> <li><a href="https://drive.google.com/file/d/0B7iRCsp7iT4xYThXWHd3dGw2MUE/view?usp=sharing">All talks</a></li> <li><a href="https://drive.google.com/file/d/0B7iRCsp7iT4xVHdndDhFSV9WYTQ/view?usp=sharing">Monday</a></li> <li><a href="https://drive.google.com/file/d/0B7iRCsp7iT4xUGN0a3pTUk1XcTQ/view?usp=sharing">Tuesday</a></li> <li><a href="https://drive.google.com/file/d/0B7iRCsp7iT4xeHhzOFRuWW0zam8/view?usp=sharing">Wednesday</a></li> <li><a href="https://drive.google.com/open?id=0B7iRCsp7iT4xdDRVakVFRnMzRDA&authuser=0">People’s Choice Awards: Your choice of the top 10 PLDI video abstracts</a></li> </ul> </div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Special Events at PLDI</h3></div><p>In addition to technical talks, there are several special events happening at PLDI.</p> <ul> <li><a href="http://conf.researchr.org/event/pldi2015/pldi2015-papers-welcome-reception-and-poster-session">Welcome Reception and Poster Session</a> (Sunday 19:30-21:00).</li> <li><a href="http://conf.researchr.org/event/pldi2015/pldi2015-papers-sigplan-awards-luncheon">SIGPLAN Awards Luncheon</a> (Monday: 12:30-14:00)</li> <li><a href="http://conf.researchr.org/event/pldi2015/pldi2015-papers-sigplan-open-meeting">SIGPLAN Townhall Meeting</a> (Tuesday 16:30-17:30)</li> <li><a href="http://conf.researchr.org/event/pldi2015/pldi2015-papers-pldi-banquet">PLDI Banquet</a> (Tuesday 18:30-22:00; Banquet ticket required).</li> </ul> </div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Practices of PLDI</h3></div><p>SIGPLAN solicits feedback on the Practices of PLDI, a report that documents the salient features of running the PLDI conference and evaluating submitted papers. A link to the document in PDF (<a href="https://goo.gl/ROVOGr">https://goo.gl/ROVOGr</a>) and to an editable GDOC (<a href="http://goo.gl/XGJwZA">http://goo.gl/XGJwZA</a>).</p> </div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Author and Reviewer Surveys</h3></div><p>We are using surveys to help us improve PLDI. Results of the surveys given to authors and reviewers are now available at <a href="http://conf.researchr.org/track/pldi2015/pldi2015-papers#Surveys">http://conf.researchr.org/track/pldi2015/pldi2015-papers#Surveys</a></p> </div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Sponsors</h3></div><p>PLDI 2015 is sponsored by ACM SIGPLAN.</p> <p><a href="http://www.acm.org"><img src="http://conf.researchr.org/getImage/pldi2015/orig/acm-logo.png" alt="ACM Logo"></a></p> <p><a href="http://www.acm.org/sigplan"><img src="http://conf.researchr.org/getImage/pldi2015/orig/sigplan.png" alt="SIGPLAN Logo"></a></p> </div></div></div><div class="col-sm-4 col-sm-offset-1 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-road"></span> PLDI 2015 Tracks</div></div><div class="panel-body"><div class="all-tracks"><a href="https://pldi15.sigplan.org/track/FCRC+Plenary+Speakers" class="text-muted navigate">FCRC Plenary Speakers</a> | <a href="https://pldi15.sigplan.org/track/PLDI+2015+Artifact+Evaluation" class="text-muted navigate">PLDI 2015 Artifact Evaluation</a> | <a href="https://pldi15.sigplan.org/track/pldi2015-workshops" class="text-muted navigate">PLDI 2015 Tutorials</a> | <a href="https://pldi15.sigplan.org/track/pldi2015-papers" class="text-muted navigate">Research Papers</a> | <a href="https://pldi15.sigplan.org/track/Student+Research+Competition" class="text-muted navigate">Student Research Competition</a><br><a href="javascript:var btn=$('#tracks-in-navbar:not(.open)>a'); if(btn){ if(!btn.is(':visible')){$('.navbar-toggle').click();} } btn.click(); $('html, body').animate({scrollTop: $(btn).offset().top}, 200); void(0);" class="small">Show all tracks</a></div></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-bullhorn"></span> <a href="https://pldi15.sigplan.org/news" class="navigate">Featured News</a></div></div><table class="table table-hover"><tr href="https://pldi15.sigplan.org/news#Top-10-Video-Abstracts" class="clickable-row"><td>Top 10 Video Abstracts<span class="pull-right"><small class="text-muted">Thu 18 Jun 2015</small></span></td></tr><tr href="https://pldi15.sigplan.org/news#Follow-@PLDI-and-#pldi15" class="clickable-row"><td>Follow @PLDI and #pldi15<span class="pull-right"><small class="text-muted">Sat 13 Jun 2015</small></span></td></tr><tr href="https://pldi15.sigplan.org/news#PLDI-Papers-Now-Available" class="clickable-row"><td>PLDI Papers Now Available<span class="pull-right"><small class="text-muted">Fri 5 Jun 2015</small></span></td></tr><tr href="https://pldi15.sigplan.org/news#Childcare-available-at-FCRC" class="clickable-row"><td>Childcare available at FCRC<span class="pull-right"><small class="text-muted">Mon 1 Jun 2015</small></span></td></tr><tr href="https://pldi15.sigplan.org/news#Student-Volunteers-Wanted" class="clickable-row"><td>Student Volunteers Wanted<span class="pull-right"><small class="text-muted">Tue 5 May 2015</small></span></td></tr><tr href="https://pldi15.sigplan.org/news#Student-travel-support" class="clickable-row"><td>Student travel support<span class="pull-right"><small class="text-muted">Fri 24 Apr 2015</small></span></td></tr><tr href="https://pldi15.sigplan.org/news#PLDI-Registration-Open" class="clickable-row"><td>PLDI Registration Open<span class="pull-right"><small class="text-muted">Sat 28 Mar 2015</small></span></td></tr><tr href="https://pldi15.sigplan.org/news#Accepted-PLDI-papers-posted" class="clickable-row"><td>Accepted PLDI papers posted<span class="pull-right"><small class="text-muted">Wed 18 Feb 2015</small></span></td></tr><tr href="https://pldi15.sigplan.org/news#FCRC-housing-is-now-open" class="clickable-row"><td>FCRC housing is now open<span class="pull-right"><small class="text-muted">Fri 9 Jan 2015</small></span></td></tr></table></div><div class="panel panel-warning"><div class="panel-heading clearfix"><div class="panel-title">Supporters</div></div><table class="table table-hover"><tr href="http://nsf.gov" title="NSF" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="NSF" src="https://pldi15.sigplan.org/getLogo/4226bff4-4fa7-4e24-b4c1-1fb76f6d59ba?1429811839000" class="outputimage"/></span></td><td></td></tr><tr href="http://research.microsoft.com" title="Microsoft Research" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Microsoft Research" src="https://pldi15.sigplan.org/getLogo/36ce7fed-0c3a-438f-a2fb-f350cfd88926?1423148590000" class="outputimage"/></span></td><td>Gold</td></tr><tr href="https://www.google.com" title="Google" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Google" src="https://pldi15.sigplan.org/getLogo/42f4328d-781f-4a91-8e52-62af81994e53?1429811832000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="http://www.research.ibm.com" title="IBM Research" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="IBM Research" src="https://pldi15.sigplan.org/getLogo/8d63fdcf-1ae0-489b-b199-135f2cca0cbc?1423767142000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="http://www.intel.com/content/www/us/en/research/intel-research.html" title="Intel" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Intel" src="https://pldi15.sigplan.org/getLogo/d77045c4-8008-4cde-916f-c264ea9eb0d7?1423767123000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="https://labs.oracle.com" title="Oracle Labs" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Oracle Labs" src="https://pldi15.sigplan.org/getLogo/27ef56c0-5c7e-4a8f-92fa-ac51714202df?1423149092000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="http://www.facebook.com" title="Facebook" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Facebook" src="https://pldi15.sigplan.org/getLogo/90317be5-e17a-487a-91a9-25eb7881cb98?1426555527000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="http://www.grammatech.com/" title="GrammaTech" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="GrammaTech" src="https://pldi15.sigplan.org/getLogo/610f33c1-c2df-4e2f-9e9a-988f5124543c?1429560898000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="http://www.hp.com" title="HP" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="HP" src="https://pldi15.sigplan.org/getLogo/f9af1215-fe44-4b7d-9350-8c6340ab5e7f?1423149180000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="http://www.sra.samsung.com" title="Samsung Research America" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Samsung Research America" src="https://pldi15.sigplan.org/getLogo/9550c569-5e02-4662-bf55-19c937c9fa70?1424808551000" class="outputimage"/></span></td><td>Bronze</td></tr></table></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Sun 6 Apr 05:18</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://pldi15.sigplan.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="pldi2015" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://pldi15.sigplan.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"pldi2015"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://pldi15.sigplan.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="pldi2015" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://pldi15.sigplan.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"pldi2015"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://pldi15.sigplan.org" class="navigate"><span class="glyphicon glyphicon-home"></span> PLDI 2015</a></h3><div></div><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.69.0</a>)<br/><small><a href="https://pldi15.sigplan.org/support" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://pldi15.sigplan.org/track/FCRC+Plenary+Speakers" class="navigate">FCRC Plenary Speakers</a><br/><a href="https://pldi15.sigplan.org/track/PLDI+2015+Artifact+Evaluation" class="navigate">Artifact Evaluation</a><br/><a href="https://pldi15.sigplan.org/track/pldi2015-workshops" class="navigate">Tutorials</a><br/><a href="https://pldi15.sigplan.org/track/pldi2015-papers" class="navigate">Research Papers</a><br/><a href="https://pldi15.sigplan.org/track/Student+Research+Competition" class="navigate">Student Research Competition</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://conf.researchr.org/home/ARRAY-2015" class="navigate">ARRAY 2015</a><br/><a href="https://conf.researchr.org/home/CHIUW-2015" class="navigate">CHIUW 2015</a><br/><a href="https://conf.researchr.org/home/PLOOC-2015" class="navigate">PLOOC 2015</a><br/><a href="https://conf.researchr.org/home/SOAP-2015" class="navigate">SOAP 2015</a><br/><a href="https://pldi15.sigplan.org/track/wax2015" class="navigate">WAX 2015</a><br/><a href="https://pldi15.sigplan.org/track/WOW-2015-papers" class="navigate">WOW 2015</a><br/><a href="https://conf.researchr.org/home/X10-2015" class="navigate">X10 2015</a><br/><h4>Co-hosted Symposia</h4><a href="https://conf.researchr.org/home/scala-2015" class="navigate">Scala 2015</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://pldi15.sigplan.org/venue/portland-occ" class="navigate">Venue: Oregon Convention Center</a><br><a href="https://pldi15.sigplan.org/venue/ExchangeBallroom" class="navigate">Venue: Exchange Ballroom</a><br><a href="https://pldi15.sigplan.org/attending/Hotels" class="navigate">Hotel and Travel Information</a><br><a href="https://pldi15.sigplan.org/attending/student-travel-support" class="navigate">Student Travel Support</a><br><a href="https://pldi15.sigplan.org/attending/Registration" class="navigate">Registration</a><br><a href="https://pldi15.sigplan.org/attending/sigplan-conference-anti-harassment-policy" class="navigate">SIGPLAN Conference Anti-Harassment Policy</a><br><a href="https://pldi15.sigplan.org/attending/Student+Volunteers" class="navigate">Student Volunteers</a></div><div class="col-sm-2"></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>