Schedule
8:00 | - | 8:45 | Travel to EndicottBus leaves at 8am from Gates entrance of the Stata Building, at the corner of Vassar and Main Street | ||
8:45 | - | 9:30 | Breakfast | ||
9:30 | - | 10:00 | Short introductions | ||
10:00 | - | 11:00 | KeynoteGerry Sussman: What Matters, and What Doesn't Matter, in Programming Language Research | ||
11:00 | - | 12:00 | Discussion | ||
12:00 | - | 1:00 | Lunch | ||
1:00 | - | 2:00 | Outdoor Break(casual) outdoor sports | ||
2:00 | - | 3:00 | TalksJoonwon Choi: Serializability for Message-Passing SystemsOsbert Bastani: Verifiable Reinforcement Learning via Policy Extraction | ||
3:00 | - | 4:00 | Faculty PanelPlease submit your questions here! | ||
4:00 | - | 4:45 | Group Picture, then break | ||
4:45 | - | 5:15 | TalkAdam Chlipala: The Secret Weapon for Winning the Security Arms Race | ||
5:15 | - | 6:30 | Birds of a feather discussions | ||
6:30 | - | 7:30 | Dinner | ||
7:45 | - | 8:30 | Transportation back to Stata/MIT campus | ||
8:30 | - | Open | Open socializing in the area |