[macs-faculty] New England Systems Verification Day
nickolai at csail.mit.edu
Wed Aug 16 13:57:47 EDT 2017
A hopefully final email update about this workshop -- we have a web
site with the workshop info and tentative schedule:
We ended up deciding to use just one day (Friday, October 6th) because
a number of people couldn't make Thursday but wanted to hear all the
On Wed, Jul 19, 2017 at 11:07 PM, Nickolai Zeldovich
<nickolai at csail.mit.edu> wrote:
> A few updates on this workshop (and two things we'd like from you, at
> the very bottom of the email):
> - We re-scheduled the workshop to Friday, October 6th. The original date
> conflicted with Rosh Hashanah for a number of people. We hope this date
> works better.
> - We will have an optional half-day plus dinner on Thursday afternoon
> (October 5th, 1:30pm onwards), due to the sizable number of proposed
> talks. We plan to use Thursday to go in-depth on additional topics
> that day; specifics TBD based on who can make it on Thursday.
> The plan for the workshop is to have three types of talks:
> - Long talks focusing on larger verification projects, showing and
> discussing concrete code, specs, and proofs. Probably 45 minutes
> to an hour each. We think that likely long talks for Friday are:
> + Push-button verification (Xi Wang, Helgi Sigurbjarnarson, et al)
> + MSR work on IronFleet / Everest? (Chris Hawblitzel, Jay Lorch, et al)
> + Generating verified elliptic curve implementations (Andres Erbsen et al)
> + CertiKOS (Zhong Shao, Ronghui Gu, et al)
> - Medium-length talks, 15-20 minutes each.
> - Lightning talks (e.g., work-in-progress), 5 minutes each.
> Please let us know:
> - Are you planning to attend on the new Friday October 6th date, and are
> you interested in attending the optional Thursday October 5th afternoon?
> - If you want to give a talk, please tell us what topic (even if roughly)
> you want to talk about, and we will try to accommodate.
> Thanks again, and hope to see you at this workshop.
> Adam, Frans, and Nickolai.
More information about the macs-faculty