benchmarks.html

<!DOCTYPE html>
<html lang="en"><head><meta charset="UTF-8" />
<meta name="description" contents="Gradual Typing Across the Spectrum" />
<meta name="keywords" content="programming, language, gradual, typing" />
<title>Gradual Typing Across the Spectrum</title>
<link rel="stylesheet" href="css/bootstrap.min.css" /><link rel="stylesheet" href="css/animate.css" /><link rel="stylesheet" href="css/custom.css" />
<link href="http://fonts.googleapis.com/css?family=Ubuntu:300" rel="stylesheet" type="text/css" />
<link href="http://fonts.googleapis.com/css?family=PT+Sans" rel="stylesheet" type="text/css" />
<link rel="shortcut icon" type="image/x-icon" size="16x16" href="images/logo/gtp-2.ico" /> <script src="js/wow.min.js"></script>
<script type="text/javascript" src="js/jquery.min.js"></script><script type="text/javascript" src="js/bootstrap.min.js"></script><script type="text/javascript" src="js/custom.js"></script><script type="text/javascript" src="js/stellar.js"></script></head>
<div class="body" data-stellar-background-ratio="1.5"></div>
<div class="main-header-container"><div class="shadow-back"><div class="main-logo"><img class="img-responsive pull-left" alt="" src="images/logo/gtp-2.png" /></div>
<div class="main-header"><h1>Gradual Typing Across the Spectrum</h1></div></div></div>
<body id="top"><div id="menu" class="menu-fixed"><span id="menu-icon"><span class="glyphicon glyphicon-menu-hamburger"></span></span>
<ul><li class="" data-src="./images/menu/item_1.png"><a href="index.html">Home</a></li><li class="" data-src="./images/menu/item_2.png"><a href="about.html">About</a></li><li class="" data-src="./images/menu/item_3.png"><a href="projects.html">Projects</a></li><li class="active" data-src="./images/menu/item_4.png"><a href="benchmarks.html">Benchmarks</a></li><li class="" data-src="./images/menu/item_5.png"><a href="people.html">People</a></li><li class="" data-src="./images/menu/item_6.png"><a href="contact.html">Contact</a></li></ul></div>
<div class="body-content">  <div id="content"><h3 class="red-back-big">Benchmarks</h3><div class="col-md-12"><h3 id="reticulated-python" class="gray-back">Reticulated Python</h3>
<div class="col-md-12 card"><p><a href="https://github.com/nuprl/retic_performance?path=benchmarks" class="project-link" target="_blank">https://github.com/nuprl/retic_performance?path=benchmarks</a></p>
<p>Suite of Python programs adapted from:
 case studies reported by <a href="https://dl.acm.org/citation.cfm?id=2661101">Vitousek, Kent, Siek, and Baker</a>;
 the module-level evaluation of <a href="http://popl17.sigplan.org/event/popl-2017-papers-big-types-in-little-runtime">Big Types in Little Runtime</a>;
 and open-source programs.
Each function in these benchmarks may be typed or untyped.
In other words, for a program with 10 functions the benchmark explores
 1024 configurations of gradual typing.</p>
Appeared in:
<ul><li><a href="https://popl18.sigplan.org/event/pepm-2018-on-the-cost-of-type-tag-soundness">On the Cost of Type-Tag Soundness</a>. <a href="http://ccs.neu.edu/home/types">Ben Greenman</a> and <a href="http://github.com/migeed-z">Zeina Migeed</a>. <a href="https://popl18.sigplan.org/track/PEPM-2018">PEPM 2018</a></li></ul></div></div><div class="col-md-12"><h3 id="typed-racket" class="gray-back">Typed Racket</h3>
<div class="col-md-12 card"><p><a href="https://github.com/bennn/gtp-benchmarks" class="project-link" target="_blank">https://github.com/bennn/gtp-benchmarks</a></p>
<p>Suite of Typed Racket programs adapted from open-source projects.
Each module in these benchmarks may be typed or untyped.</p>
Appeared in:
<ul><li><a href="http://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf">Is Sound Gradual Typing Dead?</a>. <a href="http://ccs.neu.edu/home/asumu">Asumu Takikawa</a>, <a href="https://github.com/dfeltey">Daniel Feltey</a>, <a href="http://ccs.neu.edu/home/types">Ben Greenman</a>, <a href="http://maxsnew.github.io">Max S. New</a>, <a href="http://janvitek.org">Jan Vitek</a>, and <a href="www.ccs.neu.edu/home/matthias">Matthias Felleisen</a>. <a href="http://conf.researchr.org/home/POPL-2016">POPL 2016</a></li><li><a href="https://dl.acm.org/citation.cfm?doid=3152284.3133878">Sound Gradual Typing Only Mostly Dead</a>. <a href="http://www.crest.iu.edu/node/194">Spenser Bauman</a>, <a href="http://cfbolz.de/">Carl-Friedrich Bolz-Tereick</a>, <a href="http://wphomes.soic.indiana.edu/jsiek/">Jeremy Siek</a>, and <a href="http://homes.soic.indiana.edu/samth">Sam Tobin-Hochstadt</a>. <a href="https://2017.splashcon.org/track/splash-2017-OOPSLA">OOPSLA 2017</a></li></ul></div></div></div>
<div id="sponsors" class="col-md-12"><center><h4 class="red-back"></h4></center></div>
<footer class="col-md-12"><div class="container text-center"><hr />
<div class="copyright"><p class="text-center">© Copyright Programming Research Laboratory 2016-2017
| made by <a href="http://www.catchexception.cz/" target="_blank"> Catchexception s.r.o.</a>
| source on <a href="https://github.com/nuprl/gtp">GitHub</a></p></div>
<a href="#top" title="To Top"><span class="glyphicon glyphicon-chevron-up"></span></a></div></footer>
<script type="text/javascript">$(document).on('click', '.list', function (e) {
var ul = $(this).parent('li').find('ul');
ul.toggleClass('active');
var i = 1;
ul.children('li').each(function(){
$(this).delay(200*i).toggle('slow');
i++;
});

});</script><script type="text/javascript">function stopTopParallax()
{
var mainBanner = $('#main-banner');
if($('.shadow-back').offset().top >150)
{
mainBanner.css('position','fixed');
mainBanner.css('height','75px');
mainBanner.css('z-index','2');
$('#content').css('margin-top','260px');
} else {
mainBanner.css('position','relative');
mainBanner.css('height','260px');
mainBanner.css('z-index','0');
$('#content').css('margin-top','0px');
}
}
function checkOffset___() {
if($('#menu').offset().top + $('#menu').height()
>= $('#sponsors').offset().top -150)
{
var height = $('#content').height()-470;
$('#menu').removeClass('fixed-menu');
$('#menu').addClass('absolute-menu');
console.log();
$('#menu').css('bottom','-'+height+'px');
}

if($(document).scrollTop() + window.innerHeight < $('#sponsors').offset().top+150)
                                                  {
                                                  $('#menu').removeClass('absolute-menu');
                                                  $('#menu').addClass('fixed-menu');
                                                  $('#menu').css('bottom','');
                                                  }

                                                  }
                                                  function checkOffset() {
                                                  if ($('#menu').offset().top + $('#menu').height() > $('#sponsors').offset().top && $('#menu').hasClass('menu-fixed'))
  {
  $('#menu').removeClass('menu-fixed');
  $('#menu').addClass('menu-absolute');
  $('#menu').css('top',$('#sponsors').offset().top-$('#menu').height());
  }
  if ($(document).scrollTop() + window.innerHeight-100 < $('#sponsors').offset().top  && $('#menu').hasClass('menu-absolute'))
                                                         {
                                                         $('#menu').removeClass('menu-absolute');
                                                         $('#menu').addClass('menu-fixed');
                                                         $('#menu').removeAttr('style');
                                                         }

                                                         }
                                                         $(document).scroll(function() {
                                                         checkOffset();
                                                         //stopTopParallax();
                                                         });
</script><script>$(document).on('click', '#menu-icon', function (e) {
$(this).parent('div').find('ul').toggleClass('active');
});
$(document).on('mouseover', '#menu li', function (e) {
$('#menu li').each(function(){
if (!$(this).hasClass('active'))
$(this).css('background-image','');
});
if (typeof $(this).data('src') !== 'undefined')
$(this).css('background-image','url("'+$(this).data('src')+'")')
});
$(document).on('mouseout', '#menu li', function (e) {
$('#menu li').each(function(){
if (!$(this).hasClass('active'))
$(this).css('background-image','');
});
});
$(document).ready(function () {
$('#menu li').each(function(){
if (!$(this).hasClass('active'))
$(this).css('background-image','');
else if (typeof $(this).data('src') !== 'undefined')
$(this).css('background-image','url("'+$(this).data('src')+'")')
});

});</script><script>$(function(){
$.stellar({
horizontalScrolling: false,
verticalOffset: 40
});
});</script><script>new WOW().init();</script> </div></body></html>