CS 7190 (Fall 2018)
Seminar in Programming Languages
Time: Wednesdays 3:35PM - 4:35PM
Location: Gates 310
Organizers: Dexter Kozen and Adrian Sampson
Czars: Eric Campbell and Molly Feldman
Previous Semesters: Archives
Programming Languages Retreat 2018
The Programming Languages Retreat will take place on Friday, September 7 at the Johnson Art Museum. The afternoon recreation will take place at Atlas Bowl in Trumansburg.
Directions: Once at the museum, take the elevator to the 6th floor conference room. You will probably need to ask the reception to get access to the elevator.
Schedule
| Time | Topic | Presenter | ||
| 08:30 - 09:30 | Breakfast | |||
| 09:30 - 09:50 | Towards an Algebraic Representation of Match-Action Rules | Xiang Long | ||
| 09:50 - 10:00 | Break | |||
| 10:00 - 10:40 | Exploiting Humanity for PL Research | Ross Tate | ||
| 10:40 - 11:00 | Break | |||
| 11:00 - 12:00 | Keynote: Evaluating Fuzz Testing | Mike Hicks (Maryland) | ||
| 12:00 - 13:15 | Lunch | |||
| 13:15 - 13:45 | Group update | |||
| 13:45 - 14:05 | Probabilistic Programming: Games and Monads | Andrew Hirsch | ||
| 14:05 - 14:20 | Group activity | |||
| 14:20 - 14:30 | Break | |||
| 14:30 - 15:15 | Group activity cont. | |||
| 15:15 - 16:00 | Museum tours | |||
| 16:00 - | Bowling at Atlas Bowl (Trumansburg) | |||
