Gradual Typing Across the Spectrum: PI Meeting 2017
1 Time and Location
Location | Northeastern’s West Village H, room 366 |
Day/Time | 7 August 2017, starting at 9:30am |
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 | Chaselynn Collins |
Phone | 617.373.5117 |
c.collins at northeastern.edu |
3 Schedule
09:30 |
| CONTINENTAL BREAKFAST |
| ||
10:00 |
| Matthias Felleisen |
| Opening Remarks | |
10:15 |
| Milod Kazerounian |
| Finite Verification for Ruby | |
10:45 |
| Ambrose Bonnaire-Sergeant |
| Squash the work! Inferring Useful Types and Contracts via Dynamic Analysis | |
| ||
11:30 |
| Ben Greenman |
| Transient Typed Racket | |
12:00 |
| Preston Tunnell Wilson |
| Crowdsourcing Language Design | |
| ||
12:30 |
| LUNCH |
| ||
01:30 |
| Andre Kuhlenschmidt |
| Closing the Performance Gap For Gradual Typing | |
02:00 |
| Zeina Migeed (REU) |
| What does Soundness Cost | |
| ||
02:45 |
| Milo Turner |
| Flow-Sensitive Type Systems as Macros | |
03:15 |
| David Christiansen |
| Proofs As Macros | |
| ||
04:00 |
| Justin Pombrio |
| Inferring Scope Through Syntactic Sugar | |
04:30 |
| Di Zhong (REU) |
| Implementing Interpreters in Racket, Python, and Haskell | |
| ||
04:45 |
| Zeina Migeed (REU) |
| Occurrence Typing for Reticulated Python | |
05:00 |
| Niki Vazou |
| Gradual Refinement Types | |
| ||
05:30 |
| PI Meeting |
06:00 |
| dinner for students and post-docs, dinner for PIs |
4 Attendees
NU Matthias Felleisen
Ben Greenman, Zeina Migeed (REU), Milo Turner
IU Jeremy Siek, Sam Tobin-Hochstadt
Ambrose Bonnaire-Sergeant, Andre Kuhlenschmidt, David Christiansen, Di Zhong (REU), Matteo Cimini, Michael Vitousek, Sarah Spall
Brown/Pyret Shriram Krishnamurthi
Preston Tunnell Wilson, Justin Pombrio, Sorawee Porncharoenwase
MD Jeff Foster
Brianna "Bree" Ren, Milod Kazerounian, Niki Vazou