PL Retreat 2020

Organizers: Pedro Amorim and Nate Foster

The programming languages retreat will take place (remotely) on Friday, September 18th, and it starts at 1:30pm (EST).

Time Session Topic
1:30pm Welcome
1:40pm Keynote: Sam Staton (Oxford) Names and probability
2:30pm Highlight talk #1 : Alexa VanHattum Vectorization for Digital Signal Processors via Equality Saturation
2:50pm Speed Dating
3:10pm Break
3:30pm Highlight talk #2 : Ethan Cecchetti Securing Smart Contracts with Information Flow
3:50pm Brainstorming
4:20pm Readouts
4:30pm Social Hour
5:30pm Adjourn