[macs-faculty] New England Systems Verification Day

Sharon Goldberg goldbe at cs.bu.edu
Tue Jun 27 12:02:37 EDT 2017

I would like to come to this, but its on Rosh Hashana. I suppose others
might have a conflict too. Is there a better day for this?


On Mon, Jun 26, 2017 at 4:56 PM, Nickolai Zeldovich <nickolai at csail.mit.edu>

> Hi all,
> We are planning to organize a one-day workshop focusing on recent
> progress in applying formal verification to hardware and software systems.
> The workshop will consist of talks about recent and ongoing projects in
> verifying systems, and discussions of approaches, important challenges,
> and directions for future work.  Tentatively, the topics include:
> - Verification of cryptographic libraries.
> - Verification of SGX and other secure hardware.
> - Verification of OS kernels and subsystems.
> - Verification of distributed systems.
> - Verification of concurrent systems software.
> - Verification of compilers.
> - Verification using Coq, Z3, and other tools.
> Although verification isn't a direct focus of the MACS project, one
> reason we're inviting all of the MACS PIs is that formal verification
> might be an interesting direction for future research after the MACS
> project formally ends.
> The tentative plan is to hold the workshop at MIT on Friday, September
> 22nd.  Would you be interested in participating and would this date work?
> Thanks,
> Nickolai, Frans, and Adam.
> _______________________________________________
> macs-faculty mailing list
> macs-faculty at cs.bu.edu
> http://cs-mailman.bu.edu/mailman/listinfo/macs-faculty

Sharon Goldberg
Computer Science, Boston University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs-mailman.bu.edu/pipermail/macs-faculty/attachments/20170627/0e2f09d0/attachment.html>

More information about the macs-faculty mailing list