[macs-faculty] New England Systems Verification Day

Sharon Goldberg sharon.goldbe at gmail.com
Tue Jun 27 12:01:07 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>
wrote:

> 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
http://www.cs.bu.edu/~goldbe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs-mailman.bu.edu/pipermail/macs-faculty/attachments/20170627/7a8d7b85/attachment.html>


More information about the macs-faculty mailing list