|
Tuesday, October 13, 2015 |
|||
|
Oct 13 |
4:15 p.m. - 5:45 p.m. |
CS 201: From Hackathon Project to Billions of Writes: the Story of Safety Check, PETER COTTLE, Facebook
|
|
|||
Tuesday, October 20, 2015 |
|||
|
Oct 20 |
4:15 p.m. - 5:45 p.m. |
CS 201: Network Verification - When Hoare Meets Cerf, GEORGE VARGHESE, Microsoft Research
|