Gradual Typing Across the Spectrum: PI Meeting 2016

6.5.0.4

Gradual Typing Across the Spectrum: PI Meeting 2016

1 Time and Location

Location	Northeastern’s West Village H, room 366
Day/Time	17 May 2016, starting at 9am

On the linked-in map, we are the star at the intersection of Huntington Ave and Parker/Forsythe, the tallest building in the neighborhood, across the street from the Museum of Fine Arts. To reach the elevator to the third floor, go into the inner building on the ground floor—if you encounter a front desk, you’re in the wrong part of the building.

2 Contact

Administrative Contact	LaShauna Walker
Phone	617.373.2763
Email	la.walker at neu.edu

3 Schedule

09:00	Light Breakfast

10:00	Matthias Felleisen	Project Overview
10:20	Jeff Foster	On Maryland
10:40	Brianna "Bree" Ren	Just-in-Time Type Checking for Dynamic Languages
11:00	Ambrose Bonnaire-Sergeant	Inferring Structural Types Using Tests

11:20	Short Break

11:30	Shriram Krishnamurthi	The Pyret View
11:50	Stephen Chang	Macro Systems as Types Systems, with an Application to Typed Racket
12:10	Ben Chung	Gradual Typings for Objects

12:30	Lunch

14:00	Sam Tobin-Hochstadt	From Indiana
14:20	Asumu Takikawa	Progress on Typed Racket
14:40	Andrew Kent	Refinement Typed Racket
15:00	David Christiansen	Type theory for Racket programs

15:20	Break

16:00	Ben Greenman	On the Performance Bottleneck of Gradual Typing, especially Typed Racket
16:20	Andre Kuhlenschmidt and Deyaaeldeen Almahallawi	Systematic Performance Evaluation of Gradually Typed Functions and References
16:40	Spenser Bauman	Accelerating Gradual Typing in Pycket
17:00	Michael Vitousek	Lightweight Gradual Typing with Transient Checks

4 Attendees

NU/PRL Jan Vitek, Ben Chung

NU/TR Matthias Felleisen, Stephen Chang, Ben Greenman, Asumu Takikawa, Alex Knauth (NU, REU), Brian LaChance (MS, NU; rising PhD student at Tufts), Milo Davis (NU undergraduate)

IU/TR Sam Tobin-Hochstadt, Andrew Kent, David Christiansen, Spenser Bauman, Ambrose Bonnaire-Sergeant, Rajan Walia

IU/Reticulated Michael Vitousek, Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Matteo Cimini, Zeina Migeed (NU, REU)

Brown/Pyret Shriram Krishnamurthi, Matthew Kolosick (NU, REU), Justin Pombrio, Jack Wrenn, Ben Lerner (NU)

MD Jeff Foster, Brianna "Bree" Ren, Milod Kazerounian

NSF Anindya Banerjee