[Eecs_phd] ACM event - tonight
huntert1 at ohio.edu
Wed Sep 7 09:01:59 EDT 2016
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!
President, Association for Computing Machinery
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the eecs_phd