Gradual Typing Across the Spectrum:   PI Meeting 2018
1 Time and Location
2 Contact
3 Wi  Fi
4 Schedule
5 Attendees
6.90.0.26

Gradual Typing Across the Spectrum: PI Meeting 2018

1 Time and Location

Location

Northeastern’s West Village H, room 366

Day/Time

23 April 2018, starting at 9:00am

The building is located at the intersection of Huntington Ave and Parker/Forsythe. It is the tallest building in the neighborhood, diagonally 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. When you exit on the third floor, turn right and you have arrived.

2 Contact

Administrative Contact

Chelsea Smith

Phone

617.373.5117

Email

c.smith at northeastern.edu

3 WiFi

You ought to be able to use eduroam from within this building.

4 Schedule

09:00

     

CONTINENTAL BREAKFAST

     

09:45

     

Matthias Felleisen

     

Opening Remarks

09:50

     

Ben Greenman

     

A Spectrum of Soundness and Performance

10:10

     

Ben Chung

     

A Framework for Evaluating Gradual Typing for Objects

     

10:30

     

Break for 30 minutes

     

11:00

     

Jan Vitek

     

Julia, not Quite Gradual, but Quite Fast

11:20

     

Milod Kazerounian

     

Types and Verification for Ruby

11:40

     

Stephen Chang

     

An Update on Turnstile

     

12:00

     

LUNCH (90 minutes)

     

01:30

     

Andrew Kent

     

Advancing Occurrence Typing

01:50

     

Justin Pombrio

     

Resugaring, the Typed Version

02:10

     

Alex K., Milo T. (REU)

     

Functors and Structures from Macros

     

02:30

     

Break for 30 minutes

     

03:00

     

Sam Tobin-Hochstadt

     

Optimizing and Inferring Gradual Types

03:20

     

Deyaaeldeen Almahallawi

     

Towards Efficient Gradual Typing

03:40

     

Max New

     

Call-by-name Gradual Type Theory

     

04:00

     

Break for 30 minutes

     

04:30

     

Anindya Banerjee

     

Logics for Relational Contracts

     

04:50

     

The End

     

05:00

     

Private Meeting of PIs

06:00

     

dinner for students and post-docs, dinner for PIs

5 Attendees

NU Matthias Felleisen, Jan Vitek

Stephen Chang, Ben Chung, Ben Greenman, Alex Knauth, Milo Turner

Max New

IU Jeremy Siek, Sam Tobin-Hochstadt

Deyaaeldeen Almahallawi Andrew Kent

Brown Shriram Krishnamurthi

Preston Tunnell Wilson, Justin Pombrio, John Wrenn

MD Jeff Foster

Brianna "Bree" Ren, Sankha Guria, Milod Kazerounian.

NSF Anindya Banerjee