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 |
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