Organizers: Rachit Nigam and Adrian Sampson
The programming languages retreat will take place on Monday, September 9 in the Ten-Eyck Room at the Cornell Botanic Gardens.
The retreat will be followed by evening activity at Atlas Bowling.
| Time | Presenter | Topic |
|---|---|---|
| 8:30 - 9:00 | Breakfast | |
| 9:00 - 10:00 | Benjamin Pierce | Adventures in Property-Based Testing |
| 10:00 - 10:15 | Break | |
| 10:15 - 11:35 | Student Talks | |
| Siqiu Yao | Vyperflow: Information Flow for Blockchain Smart Contract | |
| Jonathan DiLorenzo | Transactional Forest: A DSL for Concurrent Filestore | |
| Pedro Henrique Azevedo de Amorim | Denotational Semantics for probabilistic graphical models | |
| Drew Zagieboylo | Designing Secure Speculative Hardware | |
| 11:35 - 11:40 | Short Break | |
| 11:40 - 12:00 | Lightning Talks | |
| 12:00 - 1:00 | Lunch | |
| 1:00 - 2:00 | Student Talks | |
| Rolph Recto | Viaduct: An Extensible, Optimizing Compiler for Mixed-mode Multiparty Computations | |
| Matthew Milano | Gallifrey: A language for Geodistributed programming | |
| Dietrich Geisler | Polymorphic types for Vector-Oriented programming | |
| 2:00 - 2:05 | Short Break | |
| 2:05 - 3:05 | Student Talks | |
| Rachit Nigam | Dahlia: Time-sensitive affine types for Predictable Hardware Design | |
| Eric Campbell | Type-Safe Data Plane Programming with SafeP4 | |
| Ryan Doenges | Petr4: Formal Foundations for P4 | |
| 3:05 - 3:20 | Break | |
| 3:20 - 4:20 | Breakout group | |
| 4:20 - 5:05 | Ross Tate & Adrian Sampson | The Past, Present, and Future of WebAssembly |