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://2011.splashcon.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2011.splashcon.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>VMIL 2011 - SPLASH 2011</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2011.splashcon.org";</script> <link rel="stylesheet" href="https://2011.splashcon.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2011.splashcon.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://2011.splashcon.org/getFile/9ecd05ff-528c-4e48-a4b7-65c8131fa3ab/splash.css?1597918310616" type="text/css" /><link rel="stylesheet" href="https://2011.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://2011.splashcon.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2011.splashcon.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2011.splashcon.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2011.splashcon.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2011.splashcon.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2011.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:description' content='The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at the VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, software transactional memory), transactions, etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for int ...'> <meta name='description' content='The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at the VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, software transactional memory), transactions, etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for int ...'> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ $(this).children().first().addClass('active'); } }); $(node).find('.tab-content:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).children('.active').length){ $(this).children('.tab-pane').first().addClass('active'); } }); } </script> <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='VMIL 2011 - SPLASH 2011'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2011.splashcon.org/getImage/carousel/p1.jpg?1597648576000'> </head> <body id="track"><div class="frame"><div class="logobar"><div class="container"><a href="https://2011.splashcon.org" class="navbar-brand navigate"><span class="brand-text">SPLASH 2011</span></a><div class="place">Fri 21 - Thu 27 October 2011 <a href="https://2011.splashcon.org/venue/splash-2011-venue" 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://2011.splashcon.org/venue/splash-2011-venue" class="navigate">Hotel: Hilton Portland & Executive Tower</a></li><li class="block"><a href="https://2011.splashcon.org/attending/anti-harassment-policy" class="navigate">Anti-Harassment Policy</a></li><li class="block"><a href="https://2011.splashcon.org/attending/support-program" class="navigate">Support Program</a></li><li class="block"><a href="https://2011.splashcon.org/attending/logos" class="navigate">Logos</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 2011</li><li class="block"><a href="https://2011.splashcon.org/track/oopsla-2011-papers" class="navigate">OOPSLA</a></li><li class="block"><a href="https://2011.splashcon.org/track/splash-2011-Keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://2011.splashcon.org/track/splash-2011-onward--" class="navigate">Onward! </a></li><li class="block"><a href="https://2011.splashcon.org/track/splash-2011-acm-student-research-competition" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://2011.splashcon.org/track/splash-2011-doctoral-symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2011.splashcon.org/track/splash-2011-bofs" class="navigate">BOFs</a></li><li class="block"><a href="https://2011.splashcon.org/track/splash-2011-hackathon" class="navigate">Hackathon</a></li><li class="block"><a href="https://2011.splashcon.org/track/splash-2011-panels" class="navigate">Panels</a></li><li class="block"><a href="https://2011.splashcon.org/track/splash-2011-posters" class="navigate">Posters</a></li><li class="block"><a href="https://2011.splashcon.org/track/splash-2011-rpg-2011" class="navigate">RPG 2011</a></li><li class="block"><a href="https://2011.splashcon.org/track/splash-2011-techtalks" class="navigate">TechTalks</a></li><li class="block"><a href="https://2011.splashcon.org/track/splash-2011-wavefront" class="navigate">Wavefront</a></li><li class="block"><a href="https://2011.splashcon.org/track/splash-2011-experience-reports" class="navigate">Experience Reports</a></li><li class="block"><a href="https://2011.splashcon.org/track/splash-2011-educators--and-trainers--symposium" class="navigate">Educators Symposium</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://conf.researchr.org/track/gpce-2011/gpce-2011-papers" class="navigate"><strong>GPCE</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/PLOP-2011/PLOP-2011-papers" class="navigate"><strong>PLOP</strong> </a></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2011.splashcon.org/track/agere-2011-papers" class="navigate"><strong>AGERE</strong> </a></li><li class="block"><a href="https://2011.splashcon.org/track/aoopes-2011-papers" class="navigate"><strong>AOOPES</strong> </a></li><li class="block"><a href="https://2011.splashcon.org/track/COOMP-2011-papers" class="navigate"><strong>COOMP</strong> </a></li><li class="block"><a href="https://2011.splashcon.org/track/dsm-2011-papers" class="navigate"><strong>DSM</strong> </a></li><li class="block"><a href="https://2011.splashcon.org/track/fool-2011-papers" class="navigate"><strong>FOOL</strong> </a></li><li class="block"><a href="https://2011.splashcon.org/track/freeco-2011-papers" class="navigate"><strong>FREECO</strong> </a></li><li class="block"><a href="https://2011.splashcon.org/track/green-2011-papers" class="navigate"><strong>Green</strong> </a></li><li class="block"><a href="https://2011.splashcon.org/track/neat-2011-papers" class="navigate"><strong>NEAT</strong> </a></li><li class="block"><a href="https://2011.splashcon.org/track/plastic-2011-papers" class="navigate"><strong>PLASTIC</strong> </a></li><li class="block"><a href="https://2011.splashcon.org/track/plateau-2011-papers" class="navigate"><strong>PLATEAU</strong> </a></li><li class="block"><a href="https://2011.splashcon.org/track/scheme-2011-papers" class="navigate"><strong>Scheme</strong> </a></li><li class="block"><a href="https://2011.splashcon.org/track/tmc-2011-papers" class="navigate"><strong>TMC</strong> </a></li><li class="block"><a href="https://2011.splashcon.org/track/vmil-2011-papers" class="navigate"><strong>VMIL</strong> </a></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="block"><a href="https://conf.researchr.org/track/dls-2011/dls-2011-papers" class="navigate"><strong>DLS</strong> </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 2011 Committees</li><li class="block"><a href="https://2011.splashcon.org/committee/splash-2011-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block dropdown-header">Track Committees </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://2011.splashcon.org/committee/oopsla-2011-papers-external-reviewers" class="navigate">External Reviewers</a></li><li class="block"><a href="https://2011.splashcon.org/committee/splash-2011-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://2011.splashcon.org/committee/splash-2011-onward---organization" class="navigate">Organization</a></li><li class="block"><a href="https://2011.splashcon.org/committee/splash-2011-onward---program-committee" class="navigate">Paper Program Committee</a></li><li class="block"><a href="https://2011.splashcon.org/committee/splash-2011-onward---steering-comittee" class="navigate">Steering Comittee</a></li></ul></li><li class="block"><a href="https://2011.splashcon.org/committee/splash-2011-acm-student-research-competition-acm-student-research-competition-committee" class="navigate"><strong>Student Research Competition</strong></a></li><li class="block"><a href="https://2011.splashcon.org/committee/splash-2011-doctoral-symposium" class="navigate"><strong>Doctoral Symposium</strong></a></li><li class="block"><a href="https://2011.splashcon.org/committee/splash-2011-posters-posters-committee" class="navigate"><strong>Posters</strong></a></li><li class="block"><a href="https://2011.splashcon.org/committee/splash-2011-wavefront-wavefront-committee" class="navigate"><strong>Wavefront</strong></a></li><li class="block"><a href="https://2011.splashcon.org/committee/splash-2011-experience-reports-experience-reports-committee" class="navigate"><strong>Experience Reports</strong></a></li><li class="block"><a href="https://2011.splashcon.org/committee/splash-2011-educators--and-trainers--symposium-educators--and-trainers--symposium-committee" class="navigate"><strong>Educators Symposium</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2011.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>GPCE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/gpce-2011/gpce-2011-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/gpce-2011/gpce-2011-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>PLOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/PLOP-2011/plop-2011-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>AGERE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2011.splashcon.org/committee/agere-2011-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>AOOPES</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2011.splashcon.org/committee/aoopes-2011-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>COOMP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2011.splashcon.org/committee/coomp-2011-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DSM</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2011.splashcon.org/committee/dsm-2011-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FOOL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2011.splashcon.org/committee/fool-2011-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FREECO</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2011.splashcon.org/committee/freeco-2011-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Green</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2011.splashcon.org/committee/green-2011-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>NEAT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2011.splashcon.org/committee/neat-2011-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLASTIC</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2011.splashcon.org/committee/plastic-2011-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>PLATEAU</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2011.splashcon.org/committee/plateau-2011-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scheme</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2011.splashcon.org/committee/scheme-2011-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>TMC</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2011.splashcon.org/committee/tmc-2011-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VMIL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2011.splashcon.org/committee/vmil-2011-papers-organizing-committee" class="navigate">Organizing 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>DLS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/dls-2011/dls-2011-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2011.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://2011.splashcon.org/series/splash" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></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"><a href="https://2013.splashcon.org" class="navigate">SPLASH 2013</a></li><li class="block"><a href="https://2012.splashcon.org" class="navigate">SPLASH 2012</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> SPLASH 2011</span></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-2011/https%3A%5Es%5Es2011.splashcon.org%5Estrack%5Esvmil-2011-papers" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2011.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://2011.splashcon.org" class="navigate">SPLASH 2011</a> (<a href="https://2011.splashcon.org/series/splash" class="navigate">series</a>) / </span><span class="text-muted small">VMIL 2011 (<a href="https://2011.splashcon.org/series/vmil" class="navigate">series</a>) / </span><h1>VMIL 2011</h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(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><div class="tab-content"><div id="About" class="tab-pane "><p>The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at the VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, software transactional memory), transactions, etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for integration with the run-time environment, how said mechanisms can be elegantly (and reusably) expressed at the intermediate language level (e.g., in bytecode), how their implementations can be optimized, and how virtual machine architectures might be shaped to facilitate such implementation efforts.</p> <p><strong>Url</strong> <a href="Urlhttp://www.cs.iastate.edu/~design/vmil/">http://www.cs.iastate.edu/~design/vmil/</a></p> </div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2011.splashcon.org/committee/vmil-2011-papers-organizing-committee" class="navigate">Organizing Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2011.splashcon.org/profile/christophbockisch" class="navigate"><div class="media"><span class="pull-left"><img alt="Christoph Bockisch" src="https://2011.splashcon.org/getProfileImage/christophbockisch/3592ea44-2e09-4af9-85ac-5fa4206bb6f5/micro-avatar.jpg?1718636316000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Christoph Bockisch<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Philipps-Universit盲t Marburg</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2011.splashcon.org/profile/robertdyer" class="navigate"><div class="media"><span class="pull-left"><img alt="Robert Dyer" src="https://2011.splashcon.org/getProfileImage/robertdyer/4b86448d-3782-44db-b13f-0bcf705df8bb/micro-avatar.jpg?1711462193000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Robert Dyer<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Nebraska - Lincoln</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2011.splashcon.org/profile/michaelhaupt" class="navigate"><div class="media"><span class="pull-left"><img alt="Michael Haupt" src="https://2011.splashcon.org/getProfileImage/michaelhaupt/f80e224f-abd3-44ee-a574-1496db6ab02a/micro-avatar.jpg?1711467775000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Michael Haupt<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">eBay</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2011.splashcon.org/profile/hrideshrajan" class="navigate"><div class="media"><span class="pull-left"><img alt="Hridesh Rajan" src="https://2011.splashcon.org/getProfileImage/hrideshrajan/320baba6-9040-4240-a71d-0142b26ffb16/micro-avatar.jpg?1711456802000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Hridesh Rajan<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Iowa State University, USA</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>Thu 28 Nov 16:49</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://2011.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-2011" /><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://2011.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2011"},],"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://2011.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-2011" /><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://2011.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2011"},],"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://2011.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH 2011</a></h3><div><a href="https://2011.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.67.1</a>)<br/><small><a href="https://2011.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://2011.splashcon.org/track/oopsla-2011-papers" class="navigate">OOPSLA</a><br/><a href="https://2011.splashcon.org/track/splash-2011-Keynotes" class="navigate">Keynotes</a><br/><a href="https://2011.splashcon.org/track/splash-2011-onward--" class="navigate">Onward! </a><br/><a href="https://2011.splashcon.org/track/splash-2011-acm-student-research-competition" class="navigate">Student Research Competition</a><br/><a href="https://2011.splashcon.org/track/splash-2011-doctoral-symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2011.splashcon.org/track/splash-2011-bofs" class="navigate">BOFs</a><br/><a href="https://2011.splashcon.org/track/splash-2011-hackathon" class="navigate">Hackathon</a><br/><a href="https://2011.splashcon.org/track/splash-2011-panels" class="navigate">Panels</a><br/><a href="https://2011.splashcon.org/track/splash-2011-posters" class="navigate">Posters</a><br/><a href="https://2011.splashcon.org/track/splash-2011-rpg-2011" class="navigate">RPG 2011</a><br/><a href="https://2011.splashcon.org/track/splash-2011-techtalks" class="navigate">TechTalks</a><br/><a href="https://2011.splashcon.org/track/splash-2011-wavefront" class="navigate">Wavefront</a><br/><a href="https://2011.splashcon.org/track/splash-2011-experience-reports" class="navigate">Experience Reports</a><br/><a href="https://2011.splashcon.org/track/splash-2011-educators--and-trainers--symposium" class="navigate">Educators Symposium</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/track/gpce-2011/gpce-2011-papers" class="navigate">GPCE 2011</a><br/><a href="https://conf.researchr.org/track/PLOP-2011/PLOP-2011-papers" class="navigate">PLOP 2011</a><br/><h4>Workshops</h4><a href="https://2011.splashcon.org/track/agere-2011-papers" class="navigate">AGERE 2011</a><br/><a href="https://2011.splashcon.org/track/aoopes-2011-papers" class="navigate">AOOPES 2011</a><br/><a href="https://2011.splashcon.org/track/COOMP-2011-papers" class="navigate">COOMP 2011</a><br/><a href="https://2011.splashcon.org/track/dsm-2011-papers" class="navigate">DSM 2011</a><br/><a href="https://2011.splashcon.org/track/fool-2011-papers" class="navigate">FOOL 2011</a><br/><a href="https://2011.splashcon.org/track/freeco-2011-papers" class="navigate">FREECO 2011</a><br/><a href="https://2011.splashcon.org/track/green-2011-papers" class="navigate">Green 2011</a><br/><a href="https://2011.splashcon.org/track/neat-2011-papers" class="navigate">NEAT 2011</a><br/><a href="https://2011.splashcon.org/track/plastic-2011-papers" class="navigate">PLASTIC 2011</a><br/><a href="https://2011.splashcon.org/track/plateau-2011-papers" class="navigate">PLATEAU 2011</a><br/><a href="https://2011.splashcon.org/track/scheme-2011-papers" class="navigate">Scheme 2011</a><br/><a href="https://2011.splashcon.org/track/tmc-2011-papers" class="navigate">TMC 2011</a><br/><a href="https://2011.splashcon.org/track/vmil-2011-papers" class="navigate">VMIL 2011</a><br/><h4>Co-hosted Symposia</h4><a href="https://conf.researchr.org/track/dls-2011/dls-2011-papers" class="navigate">DLS 2011</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2011.splashcon.org/venue/splash-2011-venue" class="navigate">Hotel: Hilton Portland & Executive Tower</a><br><a href="https://2011.splashcon.org/attending/anti-harassment-policy" class="navigate">Anti-Harassment Policy</a><br><a href="https://2011.splashcon.org/attending/support-program" class="navigate">Support Program</a><br><a href="https://2011.splashcon.org/attending/logos" class="navigate">Logos</a></div><div class="col-sm-2"><a href="https://2011.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; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: false}); $('.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>