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://2013.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2013.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>SPLASH 2013 - Posters - SPLASH 2013</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2013.splashcon.org";</script> <link rel="stylesheet" href="https://2013.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2013.splashcon.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2013.splashcon.org/getFile/474741e5-5ec0-4bb8-bdb0-1c2998cf94f3/main.css?1519308135845" type="text/css" /><link rel="stylesheet" href="https://2013.splashcon.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://2013.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2013.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2013.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2013.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2013.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2013.splashcon.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></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 prefix='og: http://ogp.me/ns#' property='og:title' content='SPLASH 2013 - Posters - SPLASH 2013'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='The poster session provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community.'> <meta name='description' content='The poster session provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community.'> <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:image' content='https://2013.splashcon.org/getImage/carousel/carousel-collage-v3.png?1519209383000'> </head> <body id="track"><div class="frame"><div class="logobar"><div class="container"><a href="https://2013.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2013</span></a><div class="place">Sat 26 - Thu 31 October 2013 <a href="https://2013.splashcon.org/venue/splash-2013-venue" class="navigate">Indianapolis, 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://2013.splashcon.org/venue/splash-2013-venue" class="navigate">Hotel: Hyatt Regency</a></li><li class="block"><a href="https://2013.splashcon.org/attending/awards" class="navigate">Awards</a></li><li class="block"><a href="https://2013.splashcon.org/attending/splash%2713-general-chairs%27-welcome" class="navigate">General Chairs' Welcome</a></li><li class="block"><a href="https://2013.splashcon.org/attending/oopsla%E2%80%9913-chair%E2%80%99s-welcome" class="navigate">OOPSLA PC Chair’s Welcome</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">SPLASH 2013</li><li class="block"><a href="https://2013.splashcon.org/track/splash-2013-ACM-SRC" class="navigate">ACM SRC</a></li><li class="block"><a href="https://2013.splashcon.org/track/splash-2013-Demonstrations" class="navigate">Demonstrations</a></li><li class="block"><a href="https://2013.splashcon.org/track/splash-2013-Doctoral-Symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2013.splashcon.org/track/splash-2013-Keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://2013.splashcon.org/track/oopsla-2013-papers" class="navigate">OOPSLA</a></li><li class="block"><a href="https://2013.splashcon.org/track/splash-2013-OOPSLA-Artifacts" class="navigate">OOPSLA Artifacts</a></li><li class="block"><a href="https://2013.splashcon.org/track/splash-2013-Panels" class="navigate">Panels</a></li><li class="block"><a href="https://2013.splashcon.org/track/splash-2013-Posters" class="navigate">Posters</a></li><li class="block"><a href="https://2013.splashcon.org/track/splash-2013-SPLASH-E" class="navigate">SPLASH-E</a></li><li class="block"><a href="https://2013.splashcon.org/track/splash-2013-SPLASH-I" class="navigate">SPLASH-I</a></li><li class="block"><a href="https://2013.splashcon.org/track/splash-2013-Student-Volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2013.splashcon.org/track/splash-2013-Tutorials" class="navigate">Tutorials</a></li><li class="block"><a href="https://2013.splashcon.org/track/splash-2013-Wavefront" class="navigate">Wavefront</a></li><li class="block"><a href="https://2013.splashcon.org/track/splash-2013-Wavefront-Experience" class="navigate">Wavefront Experience</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="block"><a href="https://2013.splashcon.org/track/dls-2013-papers" class="navigate"><strong>DLS</strong> Research Papers</a></li><li class="block"><a href="https://2013.splashcon.org/track/gpce-2013-papers" class="navigate"><strong>GPCE</strong> Research Papers</a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Onward!</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2013.splashcon.org/track/onward-2013-papers" class="navigate"><strong>Onward!</strong> Research Papers</a></li><li class="block"><a href="https://2013.splashcon.org/track/onward-2013-Onward-Essays" class="navigate"><strong>Onward!</strong> Essays</a></li></ul></li><li class="block"><a href="https://2013.splashcon.org/track/sle-2013-papers" class="navigate"><strong>SLE</strong> Research Papers</a></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">SPLASH 2013 Committees</li><li class="block"><a href="https://2013.splashcon.org/committee/splash-2013-general" class="navigate">General</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://2013.splashcon.org/committee/splash-2013-acm-src-committee" class="navigate"><strong>ACM SRC</strong></a></li><li class="block"><a href="https://2013.splashcon.org/committee/splash-2013-demonstrations-committee" class="navigate"><strong>Demonstrations</strong></a></li><li class="block"><a href="https://2013.splashcon.org/committee/splash-2013-doctoral-symposium-committee" class="navigate"><strong>Doctoral Symposium</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>OOPSLA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2013.splashcon.org/committee/splash-2013-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://2013.splashcon.org/committee/oopsla-2013-papers-external-review-committee" class="navigate">External Review Committee</a></li></ul></li><li class="block"><a href="https://2013.splashcon.org/committee/splash-2013-oopsla-artifacts-artifacts" class="navigate"><strong>OOPSLA Artifacts</strong></a></li><li class="block"><a href="https://2013.splashcon.org/committee/splash-2013-posters-committee" class="navigate"><strong>Posters</strong></a></li><li class="block"><a href="https://2013.splashcon.org/committee/splash-2013-splash-e-committee" class="navigate"><strong>SPLASH-E</strong></a></li><li class="block"><a href="https://2013.splashcon.org/committee/splash-2013-student-volunteers-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://2013.splashcon.org/committee/splash-2013-tutorials-committee" class="navigate"><strong>Tutorials</strong></a></li><li class="block"><a href="https://2013.splashcon.org/committee/splash-2013-wavefront-committee" class="navigate"><strong>Wavefront</strong></a></li><li class="block"><a href="https://2013.splashcon.org/committee/splash-2013-wavefront-experience-committee" class="navigate"><strong>Wavefront Experience</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2013.splashcon.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">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DLS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2013.splashcon.org/committee/dls-2013-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>GPCE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2013.splashcon.org/committee/gpce-2013-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>Onward!</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2013.splashcon.org/committee/onward-2013-papers-program-committee" class="navigate"><strong>Research Papers</strong></a></li><li class="block"><a href="https://2013.splashcon.org/committee/onward-2013-onward-essays-committee" class="navigate"><strong>Onward! Essays</strong></a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SLE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2013.splashcon.org/committee/sle-2013-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2013.splashcon.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://2013.splashcon.org/series/splash" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"></li><li class="block"><a href="https://2025.splashcon.org" class="navigate">SPLASH 2025</a></li><li class="block"><a href="https://2024.splashcon.org" class="navigate">SPLASH 2024</a></li><li class="block"><a href="https://2023.splashcon.org" class="navigate">SPLASH 2023</a></li><li class="block"><a href="https://2022.splashcon.org" class="navigate">SPLASH 2022</a></li><li class="block"><a href="https://2021.splashcon.org" class="navigate">SPLASH 2021</a></li><li class="block"><a href="https://2020.splashcon.org" class="navigate">SPLASH 2020</a></li><li class="block"><a href="https://2019.splashcon.org" class="navigate">SPLASH 2019</a></li><li class="block"><a href="https://2018.splashcon.org" class="navigate">SPLASH 2018</a></li><li class="block"><a href="https://2017.splashcon.org" class="navigate">SPLASH 2017</a></li><li class="block"><a href="https://2016.splashcon.org" class="navigate">SPLASH 2016</a></li><li class="block"><a href="https://2015.splashcon.org" class="navigate">SPLASH 2015</a></li><li class="block"><a href="https://2014.splashcon.org" class="navigate">SPLASH 2014</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2013</span></li><li class="block"><a href="https://2012.splashcon.org" class="navigate">SPLASH 2012</a></li><li class="block"><a href="https://2011.splashcon.org" class="navigate">SPLASH 2011</a></li><li class="block"></li><li class="block"><a href="http://splashcon.org/2010/" target="_blank" class="navigate">SPLASH 2010 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"></li><li class="block"><a href="http://www.oopsla.org/oopsla2009/" target="_blank" class="navigate">OOPSLA 2009 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2008/" target="_blank" class="navigate">OOPSLA 2008 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2007/index.php?page=home/" target="_blank" class="navigate">OOPSLA 2007 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2006/program.html" target="_blank" class="navigate">OOPSLA 2006 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2005/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2005 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2004/ShowPage.do?id=Home" target="_blank" class="navigate">OOPSLA 2004 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/oopsla2003/files/" target="_blank" class="navigate">OOPSLA 2003 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2002/" target="_blank" class="navigate">OOPSLA 2002 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2001/" target="_blank" class="navigate">OOPSLA 2001 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.oopsla.org/2000/" target="_blank" class="navigate">OOPSLA 2000 <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/splash-2013/https%3A%5Es%5Es2013.splashcon.org%5Estrack%5Essplash-2013-Posters" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2013.splashcon.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://2013.splashcon.org" class="navigate">SPLASH 2013</a> (<a href="https://2013.splashcon.org/series/splash" class="navigate">series</a>) / </span><h1>Posters<span class="pull-right small h1">SPLASH 2013</span></h1></div><div class="row"><div class="col-sm-8"><p>The poster session provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community.</p> <h2>Call for contributions</h2><p><p><strong>Authors of all papers accepted to SPLASH 2013 are invited to participate in the Poster Session by emailing the title of the poster, name of the conference which accepted it and a list of authors and affiliations to posters@splashcon.org.</strong></p> <p>The poster session provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering <em>any</em> aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties. Posters can be independent presentations or associated with one of the other parts of SPLASH. <br></p> <div class=""> <table class="view cfp-submission-summary" cellspacing="0"> <tbody><tr> <th colspan="2">Submission Summary</th> </tr> <tr> <td>Due on:</td> <td>September 24, 2013</td> </tr> <tr> <td>Format:</td> <td>Now inviting all accepted papers</td> </tr> <tr> <td>Contact:</td> <td> Emina Torlak and K. R. Jayaram (chair)</td> </tr> </tbody></table> <p>The ACM International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) is sponsored by ACM SIGPLAN.</p> <p>SPLASH is the home of OOPSLA Research Papers, Onward!, and the Dynamic Languages Symposium, among other events.</p><h3>Scope</h3> <p>We invite submissions that:</p> <ol> <li>present early work that is not yet ready for submission to a refereed conference or journal</li> <li>identify new research problems, preferably with empirical evidence</li> <li>showcase open-source tools and technologies developed by the author(s)</li> <li>describe student research projects, especially Masters/PhD dissertation proposals. We encourage students to participate in the <a href="/track/splash-2013/splash-2013-ACM-SRC">ACM Student Research Competition</a> and PhD students to participate in the <a href="/track/splash-2013/splash-2013-Doctoral-Symposium">Doctoral Symposium</a>.</li> <li>summarize a technical paper that has been accepted (or “potentially accepted” pending revisions) to OOPSLA, Onward! or Wavefront 2013. This provides authors of accepted technical papers with opportunities to increase the visibility of their papers and to engage in more personal one-on-one discussions.</li> </ol> <h3>Submissions</h3> <p>**Update 7th September 2013. We are inviting authors of accepted technical papers to present a poster — we hope that this will provide authors an opportunity to increase the visibility of their papers and engage in more one-on-one discussions.</p> <p>To confirm your participation, you only have to send us an email at posters@splashcon.org with the title of your accepted paper, list of authors and the conference where it was accepted before 5pm PDT on September 24. You have time until the conference to get your actual poster ready.**</p> <p>Posters will be evaluated both on their contributions and on how effectively they communicate those contributions. All poster proposals, except those describing technical papers accepted to OOPSLA, Onward! or Wavefront 2013 should submit a .zip or .tar.gz file that contains the following two files in PDF format:</p> <ol> <li>A 2-page extended abstract, in the ACM SIGPLAN Proceedings format with 10pt font, suitable for inclusion in the SPLASH 2013 Conference Companion. (pdf format)</li> <li>The poster itself in pdf format. The maximum dimensions of the poster can be A0 size. These are the maximum dimensions, feel free to make the poster smaller.</li> </ol> <p><strong>If your technical paper is accepted to OOPSLA, Onward! or Wavefront 2013, you need not submit the 2-page extended abstract. Just submit the poster.</strong></p> <p>If your paper was “potentially accepted” to OOPSLA, Onward! or Wavefront 2013, please submit both the extended abstract and the poster. If your poster is selected and paper is rejected, we will publish the extended abstract in the SPLASH 2013 Conference Companion.</p> <p>The extended abstract can have a maximum length of 2 pages. If you need to submit supplementary material, please either post it on the web as a technical report or include a separate pdf file inside the zip or tar.gz file that you are submitting. Please note that supplementary material is reviewed at the discretion of the program committee.</p> <p>Poster authors are required to attend the scheduled interactive poster session, staying with their poster so that they can discuss their work with conference attendees. Poster authors may post an informal schedule along with their poster, listing times when they plan to be available for discussion later on during the conference. Sign-up sheets allow interested viewers to obtain further information. All posters will have an associated message board, on which viewers can post comments, ideas, and questions and on which poster authors will be able to post responses.</p><div class=""><h3>For More Information</h3> <p>For additional information, clarification, or answers to questions please contact the Posters Chair, Emina Torlak and K. R. Jayaram at posters@splashcon.org.</p></div> </div> </p><h2>Program</h2><p><style> .name {font-weight: bold;} </style> <ol> <li><div class="title">The Yin and Yang of Heterogeneous Hardware: Can Software Survive?</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Kathryn S. McKinley</span>, <span class="affiliation">Microsoft</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">The Poor Man's Proof Assistant: Using Prolog to Develop Formal Language Theoretic Proofs</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Joey Eremondi</span>, <span class="affiliation">U Saskatchewan</span>, <span class="country">Canada</span></div> </div> </div> </li> <li><div class="title">Dictionary-Base Query Recommendation for Local Code Search</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Xi Ge</span>, <span class="affiliation">North Carolina State U</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">A Screen-Oriented Representation for Mobile Applications</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Aharon Abadi</span>, <span class="affiliation">IBM</span>, <span class="country">Israel</span></div> <div class="participant"><span class="name">Yishai A. Feldman</span>, <span class="affiliation">IBM</span>, <span class="country">Israel</span></div> <div class="participant"><span class="name">Konstantin Shagin</span>, <span class="affiliation">IBM</span>, <span class="country">Israel</span></div> </div> </div> </li> <li><div class="title">Hardware and Software Support for Fine-Grained Memory Access Control and Encapsulation in C++</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Eugen Leontie</span>, <span class="affiliation">George Washington U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Gedare Bloom</span>, <span class="affiliation">George Washington U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Rahul Simha</span>, <span class="affiliation">George Washington U</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Source Code Management for Projectional Editing</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">David H. Lorenz</span>, <span class="affiliation">Open U</span>, <span class="country">Israel</span></div> <div class="participant"><span class="name">Boaz Rosenan</span>, <span class="affiliation">Open U</span>, <span class="country">Israel</span></div> </div> </div> </li> <li><div class="title">Migration from Deprecated API in Java</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Roman Štrobl</span>, <span class="affiliation">Czech Technical U Prague</span>, <span class="country">Czech Republic</span></div> <div class="participant"><span class="name">Zdenek Tronícek</span>, <span class="affiliation">Czech Technical U Prague</span>, <span class="country">Czech Republic</span></div> </div> </div> </li> <li><div class="title">On Testing the Source Compatibility in Java</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Jan Hýbl</span>, <span class="affiliation">Czech Technical U Prague</span>, <span class="country">Czech Republic</span></div> <div class="participant"><span class="name">Zdenek Tronícek</span>, <span class="affiliation">Czech Technical U Prague</span>, <span class="country">Czech Republic</span></div> </div> </div> </li> <li><div class="title">Concurrent OOP with Agents</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Alessandro Ricci</span>, <span class="affiliation">U Bologna</span>, <span class="country">Italy</span></div> <div class="participant"><span class="name">Andrea Santi</span>, <span class="affiliation">U Bologna</span>, <span class="country">Italy</span></div> </div> </div> </li> <li><div class="title">PyLOM: A Language and Run-Time System for Planning Applications</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Scotty Smith</span>, <span class="affiliation">George Washington U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Gedare Bloom</span>, <span class="affiliation">George Washington U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Rahul Simha</span>, <span class="affiliation">George Washington U</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Model-driven Generative Framework for Automated OMG DDS Performance Testing in the Cloud</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Kyoungho An</span>, <span class="affiliation">Vanderbilt U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Takayuki Kuroda</span>, <span class="affiliation">Vanderbilt U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Aniruddha Gokhale</span>, <span class="affiliation">Vanderbilt U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Sumant Tambe</span>, <span class="affiliation">Real-Time Innovations</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Andrea Sorbini</span>, <span class="affiliation">Real-Time Innovations</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">On The Implications of Language Constructs for Concurrent Execution in the Energy Efficiency of Multicore Applications</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Gustavo Pinto</span>, <span class="affiliation">Federal U Pernambuco</span>, <span class="country">Brazil</span></div> <div class="participant"><span class="name">Fernando Castor-Filho</span>, <span class="affiliation">Federal U Pernambuco</span>, <span class="country">Brazil</span></div> </div> </div> </li> <li><div class="title">Open Pattern Matching for C++</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Yuriy Solodkyy</span>, <span class="affiliation">Texas A&M U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Gabriel Dos Reis</span>, <span class="affiliation">Texas A&M U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Bjarne Stroustrup</span>, <span class="affiliation">Texas A&M U</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Isolation for Nested Task-Parallelism (OOPSLA'13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Jisheng Zhao</span>, <span class="affiliation">Rice U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Roberto Lublinerman</span>, <span class="affiliation">Google</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Zoran Budimlic</span>, <span class="affiliation">Rice U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Swarat Chaudhuri</span>, <span class="affiliation">Rice U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Vivek Sarkar</span>, <span class="affiliation">Rice U</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Efficient Concurrency-Bug Detection Across Inputs (OOPSLA'13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Dongdong Deng</span>, <span class="affiliation">U Wisconsin Madison</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Wei Zhang</span>, <span class="affiliation">U Wisconsin Madison</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Shan Lu</span>, <span class="affiliation">U Wisconsin Madison</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels. (OOPSLA '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Nathan Chong</span>, <span class="affiliation">Imperial College London</span>, <span class="country">UK</span></div> <div class="participant"><span class="name">Alastair Donaldson</span>, <span class="affiliation">Imperial College London</span>, <span class="country">UK</span></div> <div class="participant"><span class="name">Paul H.J. Kelly</span>, <span class="affiliation">Imperial College London</span>, <span class="country">UK</span></div> <div class="participant"><span class="name">Jeroen Ketema</span>, <span class="affiliation">Imperial College London</span>, <span class="country">UK</span></div> <div class="participant"><span class="name">Shaz Qadeer</span>, <span class="affiliation">Microsoft</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Blame Prediction</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Dries Harnie</span>, <span class="affiliation">Vrije U Brussel</span>, <span class="country">Belgium</span></div> <div class="participant"><span class="name">Christophe Scholliers</span>, <span class="affiliation">Vrije U Brussel</span>, <span class="country">Belgium</span></div> <div class="participant"><span class="name">Wolfgang De Meuter</span>, <span class="affiliation">Vrije U Brussel</span>, <span class="country">Belgium</span></div> </div> </div> </li> <li><div class="title">Flexible Access Control Policies with Delimited Histories (OOPSLA '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Gregor Richards</span>, <span class="affiliation">Purdue U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Christian Hammer</span>, <span class="affiliation">Saarland U</span>, <span class="country">Germany</span></div> <div class="participant"><span class="name">Suresh Jagannathan</span>, <span class="affiliation">Purdue U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Francesco Zappa Nardelli</span>, <span class="affiliation">INRIA</span>, <span class="country">France</span></div> <div class="participant"><span class="name">Jan Vitek</span>, <span class="affiliation">Purdue U</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Design Considerations in Developing a Mobile Application for Scalable and Decentralized Publish/Subscribe-based Weather Alert System</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Violetta Vylegzhanina</span>, <span class="affiliation">Vanderbilt U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">David Harmon Brett</span>, <span class="affiliation">Vanderbilt U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name"> Aniruddha Gokhale</span>, <span class="affiliation">Vanderbilt U</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Turning Nondeterminism into Parallelism (OOPSLA '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Omer Tripp</span>, <span class="affiliation">Tel Aviv U</span>, <span class="country">Israel</span></div> <div class="participant"><span class="name">Eric Koskinen</span>, <span class="affiliation">New York U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Mooly Sagiv</span>, <span class="affiliation">Tel Aviv U</span>, <span class="country">Israel</span></div> </div> </div> </li> <li><div class="title">Investigating Preprocessor-Based Syntax Errors (GPCE '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Flávio Medeiros</span>, <span class="affiliation">Federal U Campina Grande</span>, <span class="country">Brazil</span></div> <div class="participant"><span class="name">Màrcio Ribeiro </span>, <span class="affiliation">Federal U Alagoas</span>, <span class="country">Brazil</span></div> <div class="participant"><span class="name">Rohit Gheyi</span>, <span class="affiliation">Federal U Campina Grande</span>, <span class="country">Brazil</span></div> </div> </div> </li> <li><div class="title">Purely Visual and Hybrid Visual/Textual Formula Composition: A Usability Study Plan (PROMOTO Workshop paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Annemarie Harzl</span>, <span class="affiliation">Graz U Technology</span>, <span class="country">Austria</span></div> <div class="participant"><span class="name">Vesna Krnjic</span>, <span class="affiliation">Graz U Technology</span>, <span class="country">Austria</span></div> <div class="participant"><span class="name">Franz Schreiner</span>, <span class="affiliation">Graz U Technology</span>, <span class="country">Austria</span></div> <div class="participant"><span class="name">Wolfgang Slany</span>, <span class="affiliation">Graz U Technology</span>, <span class="country">Austria</span></div> </div> </div> </li> <li><div class="title">A Scratch-like visual programming system for Microsoft Windows Phone 8 (PROMOTO Workshop paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Annemarie Harzl</span>, <span class="affiliation">Graz U Technology</span>, <span class="country">Austria</span></div> <div class="participant"><span class="name">Philipp Neidhöfer</span>, <span class="affiliation">Graz U Technology</span>, <span class="country">Austria</span></div> <div class="participant"><span class="name">Valentin Rock</span>, <span class="affiliation">Graz U Technology</span>, <span class="country">Austria</span></div> <div class="participant"><span class="name">Maximilian Schafzahl</span>, <span class="affiliation">Graz U Technology</span>, <span class="country">Austria</span></div> <div class="participant"><span class="name">Wolfgang Slany</span>, <span class="affiliation">Graz U Technology</span>, <span class="country">Austria</span></div> </div> </div> </li> <li><div class="title">All about the 'with' Statement in JavaScript: Removing 'with' Statements in JavaScript Applications (DLS '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Changhee Park</span>, <span class="affiliation">KAIST</span>, <span class="country">South Korea</span></div> <div class="participant"><span class="name">Hongki Lee</span>, <span class="affiliation">KAIST</span>, <span class="country">South Korea</span></div> <div class="participant"><span class="name">Sukyoung Ryu</span>, <span class="affiliation">KAIST</span>, <span class="country">South Korea</span></div> </div> </div> </li> <li><div class="title">Supporting Large Scale Model Transformation Reuse (GPCE '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Fábio Basso</span>, <span class="affiliation">Federal U Rio de Janeiro</span>, <span class="country">Brazil</span></div> <div class="participant"><span class="name">Raquel Pillat</span>, <span class="affiliation">Federal U Rio de Janeiro</span>, <span class="country">Brazil</span></div> <div class="participant"><span class="name">Toacy C. Oliveira</span>, <span class="affiliation">Federal U Rio de Janeiro</span>, <span class="country">Brazil</span></div> <div class="participant"><span class="name">Leandro B. Becker</span>, <span class="affiliation">Federal U Santa Catarina</span>, <span class="country">Brazil</span></div> </div> </div> </li> <li><div class="title">On the Simplicity of Synthesizing Linked Data Structure Operations (GPCE '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Darya Kurilova</span>, <span class="affiliation">Carnegie Mellon U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Derek Rayside</span>, <span class="affiliation">U Waterloo</span>, <span class="country">Canada</span></div> </div> </div> </li> <li><div class="title">TruSSCom – Proposal for Trustworthy Service Representation Selection and Negotiation for Integrating Software Systems (Doctoral Symposium)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Lahiru Gallege</span>, <span class="affiliation">Indiana U - Purdue U Indianapolis (IUPUI)</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Dimithu Gamage</span>, <span class="affiliation">Indiana U - Purdue U Indianapolis (IUPUI)</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">James H. Hill</span>, <span class="affiliation">Indiana U - Purdue U Indianapolis (IUPUI)</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Rajeev R. Raje</span>, <span class="affiliation">Indiana U - Purdue U Indianapolis (IUPUI)</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Model-driven Performance Estimation, Deployment, and Resource Management for Cloud-hosted Services (DSM'13 Workshop) </div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Faruk Caglar</span>, <span class="affiliation">Vanderbilt U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Kyoungho An</span>, <span class="affiliation">Vanderbilt U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Shashank Shekhar</span>, <span class="affiliation">Vanderbilt U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name"> Aniruddha Gokhale</span>, <span class="affiliation">Vanderbilt U</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Evaluating Domain-Driven Architectural Designs for Windows Phone 8 Mobile Application (Workshop paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Retta Shiferaw Siyoum</span>, <span class="affiliation">U Gothenberg</span>, <span class="country">Sweden</span></div> <div class="participant"><span class="name">Mozhan Soltani</span>, <span class="affiliation">U Gothenberg</span>, <span class="country">Sweden</span></div> </div> </div> </li> <li><div class="title">Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries (GPCE '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Georg Ofenbeck</span>, <span class="affiliation">ETH Zurich</span>, <span class="country">Switzerland</span></div> <div class="participant"><span class="name">Tiark Rompf</span>, <span class="affiliation">EPFL</span>, <span class="country">Switzerland</span></div> <div class="participant"><span class="name">Alen Stojanov</span>, <span class="affiliation">ETH Zurich</span>, <span class="country">Switzerland</span></div> <div class="participant"><span class="name">Martin Odersky</span>, <span class="affiliation">EPFL</span>, <span class="country">Switzerland</span></div> <div class="participant"><span class="name">Markus Püschel</span>, <span class="affiliation">ETH Zürich</span>, <span class="country">Switzerland</span></div> </div> </div> </li> <li><div class="title">Evaluating Domain-Driven Architectural Designs for Windows Phone 8 Mobile Applications </div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Retta Shiferaw Siyoum</span>, <span class="affiliation">U Gothenberg</span>, <span class="country">Sweden</span></div> <div class="participant"><span class="name">Mozhan Soltani</span>, <span class="affiliation">U Gothenberg</span>, <span class="country">Sweden</span></div> </div> </div> </li> <li><div class="title">MDE-based Sensor Management and Verification for a Self-Driving Miniature Vehicle (DSM'13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Md Abdullah Al Mamun</span>, <span class="affiliation">Chalmers U Technology</span>, <span class="country">Sweden</span></div> <div class="participant"><span class="name">Christian Berger</span>, <span class="affiliation">U Gothenberg</span>, <span class="country">Sweden</span></div> <div class="participant"><span class="name">Jörgen Hansson</span>, <span class="affiliation">Chalmers U Technology</span>, <span class="country">Sweden</span></div> </div> </div> </li> <li><div class="title">Touch-enabled Programming for the Lab of Things (PROMOTO '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Zheng Dong</span>, <span class="affiliation">Indiana U Bloomington</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Arjmand Samuel</span>, <span class="affiliation">Microsoft</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Scalable, Example-Based Refactorings with Refaster (WRT'13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Louis Wasserman</span>, <span class="affiliation">Google</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Automated Assessment of Students’ Testing Skills for Improving Correctness of Their Code (Doctoral Symposium)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Zalia Shams</span>, <span class="affiliation">Virginia Tech</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">A Secure Play Store for Android</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Feng Shen</span>, <span class="affiliation">SUNY Buffalo</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Madeup: A Mobile Development Environment for Programming 3-D Models (PROMOTO Workshop)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Chris Johnson</span>, <span class="affiliation">U Wisconsin Eau Claire</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Ball-Larus Path Profiling Across Multiple Loop Iterations (OOPSLA'13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Daniele C. D'Elia</span>, <span class="affiliation">Sapienza U Rome</span>, <span class="country">Italy</span></div> <div class="participant"><span class="name">Camil Demetrescu</span>, <span class="affiliation">Sapienza U Rome</span>, <span class="country">Italy</span></div> </div> </div> </li> <li><div class="title">Improved Type Specialization for Dynamic Scripting Languages (DLS '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Madhukar Kedlaya</span>, <span class="affiliation">U California Santa Barbara</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Jared Roesch</span>, <span class="affiliation">U California Santa Barbara</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Behnam Robatmili</span>, <span class="affiliation">Qualcomm</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Mehrdad Reshadi</span>, <span class="affiliation">Qualcomm</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Ben Hardekopf</span>, <span class="affiliation">U California Santa Barbara</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Type Refinement for Static Analysis of JavaScript (DLS '13 Paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Vineeth Kashyap</span>, <span class="affiliation">U California Santa Barbara</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">John Sarracino</span>, <span class="affiliation">U California Santa Barbara & Harvey Mudd College</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">John Wagner</span>, <span class="affiliation">U California Santa Barbara</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Ben Wiedermann</span>, <span class="affiliation">Harvey Mudd College</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Ben Hardekopf</span>, <span class="affiliation">U California Santa Barbara</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Transforming Introductory Computer Science Projects via Real-Time Web Data (SPLASH-E '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Austin Cory Bart</span>, <span class="affiliation">Virginia Tech</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Eli Tilevich</span>, <span class="affiliation">Virginia Tech</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Clifford A. Shaffer</span>, <span class="affiliation">Virginia Tech</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Tony Allevato</span>, <span class="affiliation">Virginia Tech</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Simin Hall</span>, <span class="affiliation">Virginia Tech</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Parse Views with Boolean Grammars (Parsing@SLE '13)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Andrew Stevenson</span>, <span class="affiliation">Queen's U</span>, <span class="country">Canada</span></div> <div class="participant"><span class="name">James R. Cordy</span>, <span class="affiliation">Queen's U</span>, <span class="country">Canada</span></div> </div> </div> </li> <li><div class="title">A Page Coherency Protocol for Popcorn Replicated-kernel Operating System (SPLASH MARC'13)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Marina Sadini</span>, <span class="affiliation">Virginia Tech</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Antonio Barbalace</span>, <span class="affiliation">Virginia Tech</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Binoy Ravindran</span>, <span class="affiliation">Virginia Tech</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Francesco Quaglia</span>, <span class="affiliation">Virginia Tech </span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Extensible Type-Driven Parsing for Embedded DSLs in Wyvern (Parsing @ SLE '13)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Cyrus Omar</span>, <span class="affiliation">Carnegie Mellon U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Benjamin Chung</span>, <span class="affiliation">Carnegie Mellon U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Darya Kurilova</span>, <span class="affiliation">Carnegie Mellon U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Ligia Nistor</span>, <span class="affiliation">Carnegie Mellon U</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Alex Potanin</span>, <span class="affiliation">Victoria U Wellington</span>, <span class="country">New Zealand</span></div> <div class="participant"><span class="name">Jonathan Aldrich</span>, <span class="affiliation">Carnegie Mellon U</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">An approach for Supporting OpenMP on the Intel SCC</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Hayder Al-Khalissi</span>, <span class="affiliation">TU Braunschweig</span>, <span class="country">Germany</span></div> <div class="participant"><span class="name">Andrea Marongiu</span>, <span class="affiliation">U Bologna</span>, <span class="country">Italy</span></div> <div class="participant"><span class="name">Mladen Berekovic</span>, <span class="affiliation">TU Braunschweig</span>, <span class="country">Germany</span></div> </div> </div> </li> <li><div class="title">Program Slicing to Understand Software Generators (FOSD Workshop)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Max Lillack</span>, <span class="affiliation">U Leipzig</span>, <span class="country">Germany</span></div> <div class="participant"><span class="name">Johannes Muller</span>, <span class="affiliation">U Leipzig</span>, <span class="country">Germany</span></div> <div class="participant"><span class="name">Ulrich Eisenecker</span>, <span class="affiliation">U Leipzig</span>, <span class="country">Germany</span></div> </div> </div> </li> <li><div class="title">Reified Type Parameters Using Java Annotations (GPCE '13)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Prodromos Gerakios</span>, <span class="affiliation">U Athens</span>, <span class="country">Greece</span></div> <div class="participant"><span class="name">Aggelos Biboudis</span>, <span class="affiliation">U Athens</span>, <span class="country">Greece</span></div> <div class="participant"><span class="name">Yannis Smaragdakis</span>, <span class="affiliation">U Athens</span>, <span class="country">Greece</span></div> </div> </div> </li> <li><div class="title">Enhancing Binding-based User Interfaces with Transaction Support</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Nicolás Passerini </span>, <span class="affiliation">U Nacional de Quilmes</span>, <span class="country">Argentina</span></div> <div class="participant"><span class="name">Javier Fernandes</span>, <span class="affiliation">U Nacional de Quilmes</span>, <span class="country">Argentina</span></div> <div class="participant"><span class="name">Ronny De Jesus</span>, <span class="affiliation">U Nacional de Quilmes</span>, <span class="country">Argentina</span></div> <div class="participant"><span class="name">Pablo Tesone</span>, <span class="affiliation">U Nacional de Oeste</span>, <span class="country">Argentina</span></div> <div class="participant"><span class="name">Leonardo Gassman</span>, <span class="affiliation">U Nacional de Quilmes</span>, <span class="country">Argentina</span></div> </div> </div> </li> <li><div class="title">Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications (Onward '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Aleksandar Milicevic</span>, <span class="affiliation">MIT</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Milos Gligoric</span>, <span class="affiliation">U Illinois Urbana Champaign</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Darko Marinov</span>, <span class="affiliation">U Illinois Urbana Champaign</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Daniel Jackson</span>, <span class="affiliation">MIT</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics (OOPSLA '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Brian Demsky</span>, <span class="affiliation">U California Irvine</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Brian Norris</span>, <span class="affiliation">U California Irvine</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware (OOPSLA '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Michael Carbin</span>, <span class="affiliation">MIT</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Sasa Misailovic</span>, <span class="affiliation">MIT</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Martin Rinard</span>, <span class="affiliation">MIT</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">What's Wrong with Git? A Conceptual Design Analysis (Onward! '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Santiago Perez De Rosso</span>, <span class="affiliation">MIT</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Daniel Jackson</span>, <span class="affiliation">MIT</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Software Evolution to Domain-Specific Languages (SLE '13 paper)</div> <div class="participants"><div class="participants"></div> </div> </li> <li><div class="title">Evaluating the Benefits of Using Domain-Specific Modeling Languages - an Experience Report (DSM '13)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Timo Wegeler</span>, <span class="affiliation">Fraunhofer FOKUS</span>, <span class="country">Germany</span></div> <div class="participant"><span class="name">Friederike Gutzeit</span>, <span class="affiliation">Fraunhofer FOKUS</span>, <span class="country">Germany</span></div> <div class="participant"><span class="name">Aurele Destailleur</span>, <span class="affiliation">Fraunhofer FOKUS</span>, <span class="country">Germany</span></div> <div class="participant"><span class="name">Bernhard Dock</span>, <span class="affiliation">Klopotek & Partner GmbH</span>, <span class="country">Germany</span></div> </div> </div> </li> <li><div class="title">Program Transformation Techniques Applied to Languages Used in High Performance Computing</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Songqing Yue</span>, <span class="affiliation">U Alabama</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Cast Insertion Strategies for Gradually-Typed Objects (DLS '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Esteban Allende</span>, <span class="affiliation">U Chile</span>, <span class="country">Chile</span></div> <div class="participant"><span class="name">Johan Fabry</span>, <span class="affiliation">U Chile</span>, <span class="country">Chile</span></div> <div class="participant"><span class="name">Éric Tanter</span>, <span class="affiliation">U Chile</span>, <span class="country">Chile</span></div> </div> </div> </li> <li><div class="title">MIT App Inventor: Enabling Personal Mobile Computing</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Shaileen C. Pokress</span>, <span class="affiliation">MIT</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">José Dominguez</span>, <span class="affiliation">MIT</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">The Power of Interoperability: Why Objects Are Inevitable</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Jonathan Aldrich</span>, <span class="affiliation">Carnegie Mellon U</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Upgrading Fortran source code using automatic refactoring</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Dominic Orchard</span>, <span class="affiliation">U Cambridge</span>, <span class="country">UK</span></div> <div class="participant"><span class="name">Andy Rice</span>, <span class="affiliation">U Cambridge</span>, <span class="country">UK</span></div> </div> </div> </li> <li><div class="title">Teaching Induction with Functional Programming and A Proof Assistant</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Peter-Michael Osera</span>, <span class="affiliation">U Pennsylvania</span>, <span class="country">USA</span></div> <div class="participant"><span class="name">Steve Zdancewic</span>, <span class="affiliation">U Pennsylvania</span>, <span class="country">USA</span></div> </div> </div> </li> <li><div class="title">Supporting Many-to-Many Communication (AGERE '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Hongxing Geng</span>, <span class="affiliation">U Saskatchewan</span>, <span class="country">Canada</span></div> <div class="participant"><span class="name">Nadeem Jamali</span>, <span class="affiliation">U Saskatchewan</span>, <span class="country">Canada</span></div> </div> </div> </li> <li><div class="title">Improving the Performance of Actor Model Runtime Environments on Multicore and Manycore Platforms (AGERE '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Emilio Francesquini</span>, <span class="affiliation">University of Sao Paulo</span>, <span class="country">Brazil</span></div> <div class="participant"><span class="name">Alfredo Goldman</span>, <span class="affiliation">University of Sao Paulo</span>, <span class="country">Brazil</span></div> <div class="participant"><span class="name">Jean-François Mehaut </span>, <span class="affiliation">Laboratoire d'Informatique de Grenoble</span>, <span class="country">France</span></div> </div> </div> </li> <li><div class="title">Tanks: Multiple reader, single writer actors (AGERE '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Joeri De Koster</span>, <span class="affiliation">Vrije Universiteit Brussel</span>, <span class="country">Belgium</span></div> <div class="participant"><span class="name">Stefan Marr</span>, <span class="affiliation">Software Languages Lab, Vrije Universiteit Brussel</span>, <span class="country">Belgium</span></div> <div class="participant"><span class="name">Theo D'Hondt</span>, <span class="affiliation">Vrije Universiteit Brussel</span>, <span class="country">Belgium</span></div> <div class="participant"><span class="name">Tom Van Cutsem</span>, <span class="affiliation">Vrije Universiteit Brussel</span>, <span class="country">Belgium</span></div> </div> </div> </li> <li><div class="title">Model Checking and Performance Evaluation of Timed Rebeca Models Using McErlang</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Haukur Kristinsson</span></div> <div class="participant"><span class="name">Ali Jafari</span></div> <div class="participant"><span class="name">Ehsan Khamespanah</span></div> <div class="participant"><span class="name">Brynjar Magnússon</span></div> <div class="participant"><span class="name">Marjan Sirjani</span></div> </div> </div> </li> <li><div class="title">Taking Off the Gloves with Reference Counting Immix</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Rifat Shahriyar</span>, <span class="affiliation">Australian National U</span>, <span class="country">Australia</span></div> </div> </div> </li> <li><div class="title">Native Actors - A Scalable Software Platform for Distributed, Heterogeneous Environments (AGERE '13 paper)</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Dominik Charousset</span></div> <div class="participant"><span class="name">Thomas C. Schmidt</span></div> <div class="participant"><span class="name">Raphael Hiesgen</span></div> <div class="participant"><span class="name">Matthias Wählisch</span></div> </div> </div> </li> <li><div class="title">Efficient and Fully Abstract Routing of Futures in Object Network Overlays</div> <div class="participants"><div class="participants"><div class="participant"><span class="name">Mads Dam</span>, <span class="affiliation">KTH Royal Institute of Technology, Stockholm</span>, <span class="country">Sweden</span></div> <div class="participant"><span class="name">Karl Palmskog</span>, <span class="affiliation">KTH Royal Institute of Technology, Stockholm</span>, <span class="country">Sweden</span></div> </div> </div> </li> </ol> </p></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2013.splashcon.org/committee/splash-2013-posters-committee" class="navigate">Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2013.splashcon.org/profile/ademolapeteradejokun" class="navigate"><div class="media"><span class="pull-left"><img alt="Ademola Peter Adejokun" src="https://2013.splashcon.org/getProfileImage/ademolapeteradejokun/61dda906-675c-427e-ac08-78aa67250cf2/micro-avatar.jpg?1711564844000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ademola Peter Adejokun<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Lockheed Martin Aeronautics Company</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2013.splashcon.org/profile/krjayaram" class="navigate"><div class="media"><span class="pull-left"><img alt="K R Jayaram" src="https://2013.splashcon.org/getProfileImage/krjayaram/b42b3aea-df6a-4799-acac-3ddd9d8a34c7/micro-avatar.jpg?1711517823000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">K R Jayaram<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IBM Research, USA</span></h5><h5 class="media-heading"><small></small></h5></div></div></a></li><li class="list-group-item"><a href="https://2013.splashcon.org/profile/nicksumner" class="navigate"><div class="media"><span class="pull-left"><img alt="Nick Sumner" src="https://2013.splashcon.org/getProfileImage/nicksumner/ab140465-6834-43be-8753-b052c0c781dd/micro-avatar.jpg?1711550562000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Nick Sumner<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Simon Fraser University</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2013.splashcon.org/profile/eminatorlak" class="navigate"><div class="media"><span class="pull-left"><img alt="Emina Torlak" src="https://2013.splashcon.org/getProfileImage/eminatorlak/c162cc80-5569-470d-be24-28121637a1fc/micro-avatar.jpg?1711475815000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Emina Torlak<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Washington</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Wed 26 Feb 16:56</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://2013.splashcon.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="splash-2013" /><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://2013.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2013"},],"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://2013.splashcon.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="splash-2013" /><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://2013.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2013"},],"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://2013.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2013</a></h3><div><a href="https://2013.splashcon.org/contact" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></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://2013.splashcon.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://2013.splashcon.org/track/splash-2013-ACM-SRC" class="navigate">ACM SRC</a><br/><a href="https://2013.splashcon.org/track/splash-2013-Demonstrations" class="navigate">Demonstrations</a><br/><a href="https://2013.splashcon.org/track/splash-2013-Doctoral-Symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2013.splashcon.org/track/splash-2013-Keynotes" class="navigate">Keynotes</a><br/><a href="https://2013.splashcon.org/track/oopsla-2013-papers" class="navigate">OOPSLA</a><br/><a href="https://2013.splashcon.org/track/splash-2013-OOPSLA-Artifacts" class="navigate">OOPSLA Artifacts</a><br/><a href="https://2013.splashcon.org/track/splash-2013-Panels" class="navigate">Panels</a><br/><a href="https://2013.splashcon.org/track/splash-2013-Posters" class="navigate">Posters</a><br/><a href="https://2013.splashcon.org/track/splash-2013-SPLASH-E" class="navigate">SPLASH-E</a><br/><a href="https://2013.splashcon.org/track/splash-2013-SPLASH-I" class="navigate">SPLASH-I</a><br/><a href="https://2013.splashcon.org/track/splash-2013-Student-Volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2013.splashcon.org/track/splash-2013-Tutorials" class="navigate">Tutorials</a><br/><a href="https://2013.splashcon.org/track/splash-2013-Wavefront" class="navigate">Wavefront</a><br/><a href="https://2013.splashcon.org/track/splash-2013-Wavefront-Experience" class="navigate">Wavefront Experience</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://2013.splashcon.org/track/dls-2013-papers" class="navigate">DLS 2013</a><br/><a href="https://2013.splashcon.org/track/gpce-2013-papers" class="navigate">GPCE 2013</a><br/><a href="https://2013.splashcon.org/track/onward-2013-papers" class="navigate">Onward! 2013</a><br/><a href="https://2013.splashcon.org/track/sle-2013-papers" class="navigate">SLE 2013</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2013.splashcon.org/venue/splash-2013-venue" class="navigate">Hotel: Hyatt Regency</a><br><a href="https://2013.splashcon.org/attending/awards" class="navigate">Awards</a><br><a href="https://2013.splashcon.org/attending/splash%2713-general-chairs%27-welcome" class="navigate">General Chairs' Welcome</a><br><a href="https://2013.splashcon.org/attending/oopsla%E2%80%9913-chair%E2%80%99s-welcome" class="navigate">OOPSLA PC Chair’s Welcome</a></div><div class="col-sm-2"><a href="https://2013.splashcon.org/signup" class="navigate">Sign Up</a></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>