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 |