[Eecs_bsee] ACM event - tonight

Hunter, Tiffany huntert1 at ohio.edu
Wed Sep 7 09:01:59 EDT 2016


Hi everybody!


Join ACM this Wednesday (today) for a presentation by Dr. Gordon Stewart on how to verify a compiler. Verifying a compiler means building a mathematical proof - preferably checked by computer - that the compiler faithfully translates source programs to target programs. In this talk, he'll discuss how to go about verifying a compiler, and why, using as a case study Xavier Leroy's CompCert ([http://compcert.inria.fr)]http://compcert.inria.fr), the first verified optimizing compiler for C.

The event will be at 7:30 pm in ARC 106, and pizza will be provided.
Hope to see you there!

Kim Fisher
President, Association for Computing Machinery
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://listserv.ohio.edu/pipermail/eecs_bsee/attachments/20160907/a6572f8e/attachment.html 


More information about the Eecs_bsee mailing list