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


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


Visit days prep?

Mar 11


Introduction to Equality in Dependent Type Theory