[macs-faculty] New England Systems Verification Day

Bestavros, Azer best at bu.edu
Tue Jun 27 14:37:00 EDT 2017


Very interesting to me as well! Is this open to others? In addition to MACS constituents, we have two faculty members (one in CS and one in ECE) who would be very interested in this thrust. Can I forward? Thanks!
--Azer

From: macs-faculty-bounces at cs.bu.edu [mailto:macs-faculty-bounces at cs.bu.edu] On Behalf Of Ran Canetti
Sent: Tuesday, June 27, 2017 12:13 PM
To: Sharon Goldberg <goldbe at cs.bu.edu>; Nickolai Zeldovich <nickolai at csail.mit.edu>
Cc: macs-faculty at cs.bu.edu; Adam Chlipala <adamc at csail.mit.edu>
Subject: Re: [macs-faculty] New England Systems Verification Day


Indeed,  a great initiative!

I would very much like to participate, but that day is problematic for me too for  the same reason (thanks Sharon for noticing...)

if it can be moved to another date it would be great.

Thanks, Ran

On 6/27/2017 12:02 PM, Sharon Goldberg wrote:
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?
Sharon

On Mon, Jun 26, 2017 at 4:56 PM, Nickolai Zeldovich <nickolai at csail.mit.edu<mailto: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<mailto: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<http://www.cs.bu.edu/%7Egoldbe>




_______________________________________________

macs-faculty mailing list

macs-faculty at cs.bu.edu<mailto:macs-faculty at cs.bu.edu>

http://cs-mailman.bu.edu/mailman/listinfo/macs-faculty

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs-mailman.bu.edu/pipermail/macs-faculty/attachments/20170627/a94568b8/attachment-0001.html>


More information about the macs-faculty mailing list