index.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-0.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-0.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="active" 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="" 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"><div class="row"><div class="col-md-12"><h2 class="main-h2">We are a <b>coalition</b> of researchers seeking to discover the
<b>unifying principles</b> underlying the design of gradual type
systems through reproducibility studies, <b>implementations</b> of
type systems and tools, plus <b>evaluations</b> covering both the
<b>feasibility</b> of gradual typing as well as its <b>long-term value</b>
to software engineers.</h2></div></div>
<div class="row"><div class="col-md-8"><h3 class="red-back">Research Highlights</h3>
<div class="card"><a href="https://conf.researchr.org/event/dls-2018/dls-2018-the-behavior-of-gradual-types-a-user-study">The Behavior of Gradual Types: A User Study</a> by <a href="https://cs.brown.edu/~ptunnell/">Preston Tunnell Wilson</a>, <a href="http://ccs.neu.edu/home/types">Ben Greenman</a>, <a href="http://justinpombrio.net/">Justin Pombrio</a>, and <a href="https://cs.brown.edu/~sk/">Shriram Krishnamurthi</a> to appear at <a href="https://conf.researchr.org/track/dls-2018/dls-2018">DLS 2018</a></div><div class="card"><a href="https://2018.splashcon.org/event/splash-2018-oopsla-collapsible-contracts-pruning-pathological-performance-for-sound-gradual-typing">Collapsible Contracts: Fixing a Pathology of Gradual Typing</a> by <a href="https://github.com/dfeltey">Daniel Feltey</a>, <a href="http://ccs.neu.edu/home/types">Ben Greenman</a>, <a href="http://users.ugent.be/~chscholl">Christophe Scholliers</a>, <a href="https://www.eecs.northwestern.edu/~robby/">Robert Bruce Findler</a>, and <a href="http://users.eecs.northwestern.edu/~stamourv/">Vincent St-Amour</a> to appear at <a href="https://2018.splashcon.org">OOPSLA 2018</a></div><div class="card"><a href="https://icfp18.sigplan.org/event/icfp-2018-papers-a-spectrum-of-soundness-and-performance">A Spectrum of Type Soundness and Performance</a> by <a href="http://ccs.neu.edu/home/types">Ben Greenman</a> and <a href="http://felleisen.org/matthias/">Matthias Felleisen</a> to appear at <a href="https://conf.researchr.org/home/icfp-2018">ICFP 2018</a></div><div class="card"><a href="https://2018.ecoop.org/event/ecoop-2018-papers-a-framework-for-object-oriented-gradual-typing">KafKa: Gradual Typing for Objects</a> by <a href="http://benchung.github.io/">Benjamin Chung</a>, <a href="http://palez.github.io/">Paley Li</a>, <a href="https://www.di.ens.fr/~zappa/">Francesco Zappa Nardelli</a>, and <a href="http://janvitek.org">Jan Vitek</a> appeared at <a href="https://2018.ecoop.org/">ECOOP 2018</a></div><div class="card"><a href="http://justinpombrio.net/">Justin Pombrio</a> successfully defended his dissertation.</div><div class="card"><a href="https://popl18.sigplan.org/event/popl-2018-papers-symbolic-types-for-lenient-symbolic-execution">Symbolic Types for Lenient Symbolic Execution</a> by <a href="http://www.ccs.neu.edu/home/stchang/">Stephen Chang</a>, <a href="https://github.com/AlexKnauth">Alex Knauth</a>, and <a href="https://homes.cs.washington.edu/~emina/index.html">Emina Torlak</a> appeared at <a href="https://popl18.sigplan.org/home">POPL 2018</a></div><div class="card"><a href="https://popl18.sigplan.org/track/VMCAI-2018#About">Refinement Types for Ruby</a> by <a href="https://www.cs.umd.edu/people/milod">Milod Kazerounian</a>, <a href="https://nikivazou.github.io/">Niki Vazou</a>, <a href="https://www.linkedin.com/in/bourg">Austin Bourgerie</a>, <a href="http://www.cs.umd.edu/~jfoster">Jeffrey S. Foster</a>, and <a href="https://homes.cs.washington.edu/~emina/index.html">Emina Torlak</a> appeared at <a href="https://popl18.sigplan.org/track/VMCAI-2018">VMCAI 2018</a></div><div class="card"><a href="https://popl18.sigplan.org/event/pepm-2018-on-the-cost-of-type-tag-soundness">On the Cost of Type-Tag Soundness</a> by <a href="http://ccs.neu.edu/home/types">Ben Greenman</a> and <a href="http://github.com/migeed-z">Zeina Migeed</a> appeared at <a href="https://popl18.sigplan.org/track/PEPM-2018">PEPM 2018</a></div><div class="card"><a href="https://dl.acm.org/citation.cfm?doid=3152284.3133878">Sound Gradual Typing Only Mostly Dead</a> by <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> appeared at <a href="https://2017.splashcon.org/track/splash-2017-OOPSLA">OOPSLA 2017</a></div><div class="card"><a href="http://www.ccs.neu.edu/home/amal/papers/thmfreefree.pdf">Theorems for Free for Free: Parametricity, With and Without Types</a> by <a href="http://www.ccs.neu.edu/home/amal/">Amal Ahmed</a>, <a href="https://github.com/DIJamner">Dustin Jamner</a>, <a href="http://wphomes.soic.indiana.edu/jsiek/">Jeremy Siek</a>, and <a href="http://homepages.inf.ed.ac.uk/wadler/">Philip Wadler</a> appeared at <a href="https://conf.researchr.org/home/icfp-2017">ICFP 2017</a></div><div class="card"><a href="http://popl17.sigplan.org/event/popl-2017-papers-automatically-generating-the-dynamic-semantics-of-gradually-typed-languages">Automatically Generating the Dynamic Semantics of Gradually Typed Languages</a> by <a href="http://cimini.info">Matteo Cimini</a> and <a href="http://wphomes.soic.indiana.edu/jsiek/">Jeremy Siek</a> appeared at <a href="http://conf.researchr.org/home/POPL-2017">POPL 2017</a></div><div class="card"><a href="http://popl17.sigplan.org/event/popl-2017-papers-big-types-in-little-runtime">Big Types in Little Runtime</a> by <a href="http://homes.soic.indiana.edu/mvitouse/">Michael Vitousek</a>, <a href="http://cswords.com/">Cameron Swords</a>, and <a href="http://wphomes.soic.indiana.edu/jsiek/">Jeremy Siek</a> appeared at <a href="http://conf.researchr.org/home/POPL-2017">POPL 2017</a></div><div class="card"><a href="http://www.ccs.neu.edu/home/stchang/popl2017/index.html">Type Systems as Macros</a> by <a href="http://www.ccs.neu.edu/home/stchang/">Stephen Chang</a>, <a href="https://github.com/AlexKnauth">Alex Knauth</a>, and <a href="http://ccs.neu.edu/home/types">Ben Greenman</a> appeared at <a href="http://conf.researchr.org/home/POPL-2017">POPL 2017</a></div><div class="card"><a href="http://www.cs.umd.edu/~jfoster">Jeffrey S. Foster</a>, <a href="http://janvitek.org">Jan Vitek</a>, <a href="http://www.crest.iu.edu/node/164">Andre Kuhlenschmidt</a>, and <a href="http://homes.soic.indiana.edu/mvitouse/">Michael Vitousek</a> spoke at <a href="http://2016.ecoop.org/track/STOP-2016">STOP 2016</a></div><div class="card"><a href="http://www.cs.umd.edu/~jfoster/papers/pldi16.pdf">Just-in-Time Static Type Checking for Dynamic Languages</a> by <a href="https://www.cs.umd.edu/~bren">Brianna Ren</a> and <a href="http://www.cs.umd.edu/~jfoster">Jeffrey S. Foster</a> appeared at <a href="http://conf.researchr.org/home/pldi-2016">PLDI 2016</a></div><div class="card"><a href="http://conf.researchr.org/event/pldi-2016/pldi-2016-papers-occurrence-typing-modulo-theories">Occurrence Typing Modulo Theories</a> by <a href="http://andmkent.com">Andrew Kent</a>, <a href="https://www.linkedin.com/in/david-kempe-ii-54402129">David Kempe II</a>, and <a href="http://homes.soic.indiana.edu/samth">Sam Tobin-Hochstadt</a> appeared at <a href="http://conf.researchr.org/home/pldi-2016">PLDI 2016</a></div><div class="card"><a href="http://ccs.neu.edu/home/asumu">Asumu Takikawa</a> successfully defended his dissertation.</div><div class="card"><a href="http://jpolitz.github.io">Joe Gibbs Politz</a> successfully defended his dissertation.</div><div class="card"><a href="http://frenchy64.github.io/papers/esop16-short.pdf">Practical Optional Types for Clojure</a> by <a href="http://ambrosebs.com">Ambrose Bonnaire-Sergeant</a>, <a href="http://homes.soic.indiana.edu/samth">Sam Tobin-Hochstadt</a>, and <a href="http://staffhome.ecm.uwa.edu.au/~00047175/">Rowan Davies</a> appeared at <a href="http://www.etaps.org/index.php/2016/esop">ESOP 2016</a></div><div class="card"><a href="https://dl.dropboxusercontent.com/u/10275252/gradualizer-popl16.pdf">The Gradualizer: a methodology and algorithm for generating gradual type systems</a> by <a href="http://cimini.info">Matteo Cimini</a> and <a href="http://wphomes.soic.indiana.edu/jsiek/">Jeremy Siek</a> appeared at <a href="http://conf.researchr.org/home/POPL-2016">POPL 2016</a></div><div class="card"><a href="http://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf">Is Sound Gradual Typing Dead?</a> by <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="http://felleisen.org/matthias/">Matthias Felleisen</a> appeared at <a href="http://conf.researchr.org/home/POPL-2016">POPL 2016</a></div></div>

<div class="col-md-4"><h3 class="red-back">News and Events</h3>
<div class="col-md-12 card">PI meeting at <a href="http://www.ccis.northeastern.edu/">Northeastern University</a>, 2018-04-23. <a href="pi2018/pi2018.html">[Schedule]</a></div><div class="col-md-12 card">PI meeting at <a href="http://www.ccis.northeastern.edu/">Northeastern University</a>, 2017-08-07. <a href="pi2017/pi2017.html">[Schedule]</a></div><div class="col-md-12 card">PI meeting at <a href="http://www.ccis.northeastern.edu/">Northeastern University</a>, 2016-05-17. <a href="pi2016/pi2016.html">[Schedule]</a></div></div></div></div>
<div id="sponsors" class="col-md-12"><center><h4 class="red-back">Supported by the National Science Foundation (SHF 1518844)</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>