[Eecs_bsee] ACM event - tonight

• Previous message: [Eecs_bsee] Using LinkedIn for Your Job Search Workshop - today from 5:15-6pm in ARC 159
• Next message: [Eecs_bsee] Meet & Greets and Information Sessions
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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 

• Previous message: [Eecs_bsee] Using LinkedIn for Your Job Search Workshop - today from 5:15-6pm in ARC 159
• Next message: [Eecs_bsee] Meet & Greets and Information Sessions
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]