[Theory] [Theory Lunch] Tiago Royer, Wednesday, 3/27 12:30-1:30pm, JCL 390

[Gabe Schoenbach]

Hi all — please join us on *Wednesday at 12:30pm* for another theory lunch!
Details below:

*****
*Date: *March 27, 2024
*Time:* 12:30 CT
*Location: *JCL 390

*Title:* Undefined Behavior: A Theoretical Fight Against an Omniscient C++
Compiler

*Speaker: *Tiago Royer (UChicago)

*Abstract: *C and C++ have the concept of "undefined behavior": an action
that a well-defined C/C++ program is assumed to never perform. Compilers
may perform transformations on the program's code, assuming no undefined
behavior happens, sometimes with surprising results. In this
automatic-theorem-proving-flavored more-fun-than-practical talk I will
present some theoretical extremes of this.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/theory/attachments/20240325/7e747cca/attachment.html>