For any attendees that are around on Thursday, October 25th, 2018 (the day before the workshop), we will organize a dinner in the evening.
|9:00am||Luke Nelson and Helgi Sigurbjarnarson (U. Washington)||Push-button verification|
|9:45am||Jieung Kim et al. (Yale, Columbia)||Concurrent CertiKOS|
|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|
|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:30pm||Alley Stoughton (Boston U.)||EasyCrypt + universal composability|
|2:50pm||Lin Zhong (Rice)||Disappearing OS|
|3:10pm||Tej Chajed (MIT)||CSPEC|
|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.