<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 style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">This is a reminder 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">PingPong: A Domain-Specific Language for Data Processing with Static Type Checking</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">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.</font></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></div><div><font color="#000000">Advisors: Adam Shaw</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">Adam Shaw, Timothy Ng, and Suhail Rehman</font></div><br class="Apple-interchange-newline" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><div>
<meta charset="UTF-8"><div dir="auto" style="caret-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; overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><font face="AvenirNext-Regular" color="#8b0021"><span style="font-style: normal; font-size: 14px;"><b>Jessica Garza</b></span></font><br><font face="Avenir-Book" style="color: rgb(0, 0, 0);"><span style="font-size: 14px;">Assistant Director of Undergraduate Studies</span></font><br><font face="Avenir-Book" style="color: rgb(0, 0, 0);"><span style="font-size: 14px;">Department of Computer Science</span></font><br><font face="Avenir-Book" style="color: rgb(0, 0, 0);"><span style="font-size: 14px;">The University of Chicago</span></font><br><font face="Avenir-Book" style="color: rgb(0, 0, 0);"><span style="font-size: 14px;">John Crerar Library 374</span></font><br><font face="Avenir-Book" style="color: rgb(0, 0, 0);"><span style="font-size: 14px;">Office: (773) 702-2336</span></font></div>
</div>
<div><br></div><div><br></div></body></html>