The 2018 New England Systems Verification Day will take place on Friday, October 26th, 2018, in room 32-G449 ("Kiva") at the Stata Center (32 Vassar St, Cambridge, MA 02139).
For any attendees that are around on Thursday, October 25th, 2018 (the day before the workshop), we will organize a dinner in the evening.
| Time | Speaker | Topic |
|---|---|---|
| 8:00am | Breakfast available | |
| 9:00am | Luke Nelson and Helgi Sigurbjarnarson (U. Washington) | Push-button verification |
| 9:45am | Jieung Kim et al. (Yale, Columbia) | Concurrent CertiKOS |
| 10:30am | BREAK | |
| 11:00am | James Wilcox et al. (U. Washington) | Diesel |
| 11:45am | Steve Crocker | Thoughts on verification priorities |
| 11:50am | Howard Reubenstein (Systems & Technology Research) | Security for cyberphysical systems |
| Noon | Lunch | |
| 1:00pm | Clément Pit--Claudel (MIT) | Fiat and Narcissus |
| 1:20pm | Chris Hawblitzel (Microsoft Research) | Vale |
| 1:40pm | Jonathan Protzenko (Microsoft Research) | EverCrypt |
| 2:00pm | BREAK | |
| 2:30pm | Alley Stoughton (Boston U.) | EasyCrypt + universal composability |
| 2:50pm | Lin Zhong (Rice) | Disappearing OS |
| 3:10pm | Tej Chajed (MIT) | CSPEC |
| 3:30pm | BREAK | |
| 4:00pm | Michael Greenberg (Pomona) | POSIX shell semantics |
| 4:20pm | Jason Gross (MIT) | Fiat Cryptography |
| 4:40pm | Andrew Myers / Ed Suh (Cornell) | Information flow for processors |
| 5:00pm | Reception / dinner |
We solicit talks about ongoing research in the area of systems verification. We are broadly interested in most topics in this space, but for some examples, take a look at the schedule from last year's workshop.
Concretely, to propose a talk, send an email to Adam and Nickolai with one paragraph describing:
Full consideration will be given to proposals received by September 1st.
