<div dir="ltr"><div dir="ltr">Hi all — please join us on <b>Wednesday at 12:30pm</b> for another theory lunch! Details below:<div><br></div><div>*****</div><div><b>Date: </b>March 27, 2024</div><div><b>Time:</b> 12:30 CT</div><div><b>Location: </b>JCL 390</div><div><b><br></b></div><div><b>Title:</b> Undefined Behavior: A Theoretical Fight Against an Omniscient C++ Compiler</div><div><b><br></b></div><div><b>Speaker: </b>Tiago Royer (UChicago)</div><div><b><br></b></div><div><b>Abstract: </b>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.</div></div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"></div></div></div></div></div>