PLSE Group Meeting
Spring 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.
| Date | Who | What |
|---|---|---|
|
Apr 1
|
Mangpo |
‘Scaling Up Superoptimization’ ASPLOS practice talk |
|
Apr 8
|
– |
– |
|
Apr 15
|
Mooly Sagiv (outside speaker, University of Tel Aviv) |
Verifying Safety of Distributed Systems |
|
Apr 22
|
Cristina Nita-Rotaru (outside speaker, Northeastern University) |
Adversarial Testing and Compliance Checking of Protocol Implementations |
|
Apr 29
|
– |
TBD |
|
May 6
|
John |
(Quals Talk) Staccato: A Bug-Finder for Dynamic Configuration Updates |
|
May 13
|
Maria Gorinova (outside speaker, University of Cambridge) |
A Live, Multiple-Representation Probabilistic Programming Environment for Novices |
|
May 20
|
Ben Hindman (outside speaker, group alum, 2016 Diamond Award Winner) |
co-founder Mesosphere, title TBD, Gates Commons, CSE 691 |
|
May 27
|
Eric Mullen |
PLDI Practice Talk (Peek) |
|
Jun 3
|
Stuart Pernsteiner |
Investigating safety of a radiotherapy machine using system models with pluggable checkers (CAV practice talk) |