CS 7190 (Fall 2016)
Seminar in Programming Languages
Time: Wednesdays 3:35PM - 4:35PM
Location: Gates 310
Organizers: Dexter Kozen and Adrian Sampson
Czar: Matthew Milano
Previous Semesters: Archives
Retreat Schedule
The Programming Languages Retreat will take place on Saturday, October 15 at Greek Peek. We're coordinating rides via this spreadsheet.
The address of Greek Peek is 2000 State Route 392 Cortland, NY 13045
When you are driving from Ithaca, the main Greek Peak lodge will be on your left and the ski area to the right. Turn into the right parking lot (across the street from the main lodge) and park along the ski lodge area -- look for a sign marked "Acropolis" alongside the building. The Acropolis Room -- where we're going -- is on the second floor of the building.
Schedule
| Time | Topic | Presenter |
| 09:00-10:00 | Computers are Doomed | Adrian Sampson |
| 10:00-10:30 | Coffee Break | |
| 10:30-11:00 | Effects and Programming Language Structure | Andrew Hirsch |
| 11:00-11:30 | CheckMark: Automatic Diagnosis of Student Misconceptions | Molly Feldman |
| 11:30-12:00 | AsynC++: A new language for weakly-consistent distributed systems | Matthew Milano |
| 12:00-1:00 | Lunch | |
| 13:00-13:30 | Block-safe Enforcement by "meta-izing" labels | Elisavet Kozyri |
| 13:30-14:00 | Byte-Equivalent Decompilation | Eric Schulte (GrammaTech) |
| 14:00-15:00 | Game Break | |
| 15:00-15:30 | Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency | Isaac Sheff |
| 15:30-16:00 | Parametricity with Auto Generalization : Free Optimizations in Coq | Abhishek Anand |
| 16:00-16:30 | Coffee/Snack Break | |
| 16:30-17:00 | A Framework for Extensible and Composable Compilers | Chinawat Isradisaikul |
