PLSE Group Meeting
Winter 2016 — Friday, 3:30pm — CSE 203
Subscribe to the calendar: iCal or Google Calendar.We’ll meet each week to discuss exciting research going on within the group. Participants should subscribe to the PLSE mailing list. Konstantin Weitz is in charge of making sure there is something planned every week.
| Date | Who | What |
|---|---|---|
|
Jan 8
|
Nadia Polikarpova (MIT) |
Program Synthesis from Refinement Types |
|
Jan 15
|
James W. |
Planning for Change in a Formal Verification of the Raft Consensus protocol (CPP practice talk) |
|
Jan 22
|
- |
No meeting (POPL) |
|
Jan 29
|
Grigory Fedyukovich |
Automated Incremental Software Verification |
|
Feb 5
|
PLSE |
Please help set up for the PLSE-hosted TGIF! |
|
Feb 12
|
Ryan Beckett (Princeton) |
Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations |
|
Feb 19
|
Sam Elliott |
A short exploration of PLT Redex and Linear Types |
|
Feb 26
|
Keith Butler |
Model Checking User Interfaces |
|
Mar 4
|
Everyone |
Visit days prep? |
|
Mar 11
|
Archaeopteryx |
Introduction to Equality in Dependent Type Theory |