<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">This is an announcement of Evan Cook's MS Presentation</div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">===============================================</div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Candidate: Evan Cook</div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Date: Tuesday, May 14, 2024</div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Time: 2:00 pm CT</div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Location: JCL 356</div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></div><div><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Title: </span><font color="#000000"><span style="caret-color: rgb(0, 0, 0);">PingPong: A Domain-Specific Language for Data Processing with Static Type Checking</span></font></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></div><div><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Abstract: </span><font color="#000000"><span style="caret-color: rgb(0, 0, 0);">This paper details the type system and implementation behind an explicitly-typed monomorphic language domain-specific to data processing. In particular, this paper offers two novel contributions over other work in this area: (1) consideration of unique columns and optional columns and associated typing, and (2) type recommendations built into our custom language's compile phase. This paper begins with motivation and related work for typed dataframes, leading into novel type systems incorporating our desired features. Then, it presents the system/language design of a table-specific language "PingPong" based on this theory, as well as a proof-of-concept implementation.</span></font></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></div><div><font color="#000000"><span style="caret-color: rgb(0, 0, 0);">Advisors: Adam Shaw</span></font></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></div><div><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Committee Members: </span><font color="#000000"><span style="caret-color: rgb(0, 0, 0);">Adam Shaw, Timothy Ng, and Suhail Rehman</span></font></div></div><br class="Apple-interchange-newline" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><div><font color="#610003" face="Avenir Next"><b><br></b></font></div></div></div></div></div></div><br class="Apple-interchange-newline" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><div>
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><div><font color="#610003" face="Avenir Next"><b>Jessica Garza</b></font><br><font face="Avenir-Book">Assistant Director of Undergraduate Studies</font><br><font face="Avenir-Book">Department of Computer Science</font></div><div><font face="Avenir-Book">The University of Chicago</font></div><div><font face="Avenir-Book">John Crerar Library 374</font></div><div><font face="Avenir-Book">Office: (773) 702-2336</font></div></div></div></div></div>
</div>
<br></body></html>