CINXE.COM
Programming Languages
<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"> <head> <title>Programming Languages </title> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="apple-touch-icon" sizes="180x180" href="/static/browse/0.3.4/images/icons/apple-touch-icon.png"> <link rel="icon" type="image/png" sizes="32x32" href="/static/browse/0.3.4/images/icons/favicon-32x32.png"> <link rel="icon" type="image/png" sizes="16x16" href="/static/browse/0.3.4/images/icons/favicon-16x16.png"> <link rel="manifest" href="/static/browse/0.3.4/images/icons/site.webmanifest"> <link rel="mask-icon" href="/static/browse/0.3.4/images/icons/safari-pinned-tab.svg" color="#5bbad5"> <meta name="msapplication-TileColor" content="#da532c"> <meta name="theme-color" content="#ffffff"> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/arXiv.css?v=20240822" /> <link rel="stylesheet" type="text/css" media="print" href="/static/browse/0.3.4/css/arXiv-print.css?v=20200611" /> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/browse_search.css" /> <script language="javascript" src="/static/browse/0.3.4/js/accordion.js" /></script> <script src="/static/browse/0.3.4/js/mathjaxToggle.min.js" type="text/javascript"></script> <script type="text/javascript" language="javascript">mathjaxToggle();</script> </head> <body class="with-cu-identity"> <div class="flex-wrap-footer"> <header> <a href="#content" class="is-sr-only">Skip to main content</a> <!-- start desktop header --> <div class="columns is-vcentered is-hidden-mobile" id="cu-identity"> <div class="column" id="cu-logo"> <a href="https://www.cornell.edu/"><img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University" /></a> </div><div class="column" id="support-ack"> <span id="support-ack-url">We gratefully acknowledge support from the Simons Foundation, <a href="https://info.arxiv.org/about/ourmembers.html">member institutions</a>, and all contributors.</span> <a href="https://info.arxiv.org/about/donate.html" class="btn-header-donate">Donate</a> </div> </div> <div id="header" class="is-hidden-mobile"> <a aria-hidden="true" tabindex="-1" href="/IgnoreMe"></a> <div class="header-breadcrumbs"> <a href="/"><img src="/static/browse/0.3.4/images/arxiv-logo-one-color-white.svg" alt="arxiv logo" style="height:40px;"/></a> <span>></span> <a href="/list/cs.PL/recent">cs.PL</a> </div> <div class="search-block level-right"> <form class="level-item mini-search" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <div class="control"> <input class="input is-small" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <p class="help"><a href="https://info.arxiv.org/help">Help</a> | <a href="https://arxiv.org/search/advanced">Advanced Search</a></p> </div> <div class="control"> <div class="select is-small"> <select name="searchtype" aria-label="Field to search"> <option value="all" selected="selected">All fields</option> <option value="title">Title</option> <option value="author">Author</option> <option value="abstract">Abstract</option> <option value="comments">Comments</option> <option value="journal_ref">Journal reference</option> <option value="acm_class">ACM classification</option> <option value="msc_class">MSC classification</option> <option value="report_num">Report number</option> <option value="paper_id">arXiv identifier</option> <option value="doi">DOI</option> <option value="orcid">ORCID</option> <option value="author_id">arXiv author ID</option> <option value="help">Help pages</option> <option value="full_text">Full text</option> </select> </div> </div> <input type="hidden" name="source" value="header"> <button class="button is-small is-cul-darker">Search</button> </div> </form> </div> </div><!-- /end desktop header --> <div class="mobile-header"> <div class="columns is-mobile"> <div class="column logo-arxiv"><a href="https://arxiv.org/"><img src="/static/browse/0.3.4/images/arxiv-logomark-small-white.svg" alt="arXiv logo" style="height:60px;" /></a></div> <div class="column logo-cornell"><a href="https://www.cornell.edu/"> <picture> <source media="(min-width: 501px)" srcset="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg 400w" sizes="400w" /> <source srcset="/static/browse/0.3.4/images/icons/cu/cornell_seal_simple_black.svg 2x" /> <img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University Logo" /> </picture> </a></div> <div class="column nav" id="toggle-container" role="menubar"> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-white"><title>open search</title><path d="M505 442.7L405.3 343c-4.5-4.5-10.6-7-17-7H372c27.6-35.3 44-79.7 44-128C416 93.1 322.9 0 208 0S0 93.1 0 208s93.1 208 208 208c48.3 0 92.7-16.4 128-44v16.3c0 6.4 2.5 12.5 7 17l99.7 99.7c9.4 9.4 24.6 9.4 33.9 0l28.3-28.3c9.4-9.4 9.4-24.6.1-34zM208 336c-70.7 0-128-57.2-128-128 0-70.7 57.2-128 128-128 70.7 0 128 57.2 128 128 0 70.7-57.2 128-128 128z"/></svg></button> <div class="mobile-toggle-block toggle-target"> <form class="mobile-search-form" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <input class="input" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <input type="hidden" name="source" value="header"> <input type="hidden" name="searchtype" value="all"> <button class="button">GO</button> </div> </form> </div> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-white" role="menu"><title>open navigation menu</title><path d="M16 132h416c8.837 0 16-7.163 16-16V76c0-8.837-7.163-16-16-16H16C7.163 60 0 67.163 0 76v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16z"/ ></svg></button> <div class="mobile-toggle-block toggle-target"> <nav class="mobile-menu" aria-labelledby="mobilemenulabel"> <h2 id="mobilemenulabel">quick links</h2> <ul> <li><a href="https://arxiv.org/login">Login</a></li> <li><a href="https://info.arxiv.org/help">Help Pages</a></li> <li><a href="https://info.arxiv.org/about">About</a></li> </ul> </nav> </div> </div> </div> </div><!-- /end mobile-header --> </header> <main> <div id="content"> <div id='content-inner'> <div id='dlpage'> <h1>Programming Languages</h1> <h2>Authors and titles for recent submissions</h2> <ul> <li> <a href="/list/cs.PL/recent?skip=0&show=50"> Thu, 28 Nov 2024 </a> </li><li> <a href="/list/cs.PL/recent?skip=0&show=50"> Wed, 27 Nov 2024 </a> </li><li> <a href="/list/cs.PL/recent?skip=1&show=50"> Tue, 26 Nov 2024 </a> </li><li> <a href="/list/cs.PL/recent?skip=10&show=50"> Mon, 25 Nov 2024 </a> </li><li> <a href="/list/cs.PL/recent?skip=17&show=50"> Fri, 22 Nov 2024 </a> </li></ul> <p>See today's <a id="new-cs.PL" aria-labelledby="new-cs.PL" href="/list/cs.PL/new">new</a> changes</p> <div class='paging'>Total of 23 entries </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs.PL/recent?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <span style="color: #454545">all</span> </div> <dl id='articles'> <h3>Thu, 28 Nov 2024</h3> <p>No updates for this time period.</p> </dl> <dl id='articles'> <h3>Wed, 27 Nov 2024 (showing 1 of 1 entries )</h3> <dt> <a name='item1'>[1]</a> <a href ="/abs/2411.17498" title="Abstract" id="2411.17498"> arXiv:2411.17498 </a> [<a href="/pdf/2411.17498" title="Download PDF" id="pdf-2411.17498" aria-labelledby="pdf-2411.17498">pdf</a>, <a href="https://arxiv.org/html/2411.17498v1" title="View HTML" id="html-2411.17498" aria-labelledby="html-2411.17498" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.17498" title="Other formats" id="oth-2411.17498" aria-labelledby="oth-2411.17498">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Simplification of Polyhedral Reductions in Practice </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Narmour,+L">Louis Narmour</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Job,+R">Ryan Job</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Yuki,+T">Tomofumi Yuki</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Rajopadhye,+S">Sanjay Rajopadhye</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> arXiv admin note: text overlap with <a href="https://arxiv.org/abs/2309.11826" data-arxiv-id="2309.11826" class="link-https">arXiv:2309.11826</a> </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span> </div> </div> </dd> </dl> <dl id='articles'> <h3>Tue, 26 Nov 2024 (showing 9 of 9 entries )</h3> <dt> <a name='item2'>[2]</a> <a href ="/abs/2411.16612" title="Abstract" id="2411.16612"> arXiv:2411.16612 </a> [<a href="/pdf/2411.16612" title="Download PDF" id="pdf-2411.16612" aria-labelledby="pdf-2411.16612">pdf</a>, <a href="/format/2411.16612" title="Other formats" id="oth-2411.16612" aria-labelledby="oth-2411.16612">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Erhard,+J">Julian Erhard</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Bentele,+M">Manuel Bentele</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Heizmann,+M">Matthias Heizmann</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Klumpp,+D">Dominik Klumpp</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Saan,+S">Simmo Saan</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sch%C3%BCssele,+F">Frank Sch眉ssele</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Schwarz,+M">Michael Schwarz</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Seidl,+H">Helmut Seidl</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Tilscher,+S">Sarah Tilscher</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Vojdani,+V">Vesal Vojdani</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 38 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span> </div> </div> </dd> <dt> <a name='item3'>[3]</a> <a href ="/abs/2411.16571" title="Abstract" id="2411.16571"> arXiv:2411.16571 </a> [<a href="/pdf/2411.16571" title="Download PDF" id="pdf-2411.16571" aria-labelledby="pdf-2411.16571">pdf</a>, <a href="/format/2411.16571" title="Other formats" id="oth-2411.16571" aria-labelledby="oth-2411.16571">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Pantograph: A Fluid and Typed Structure Editor </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Prinz,+J">Jacob Prinz</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Blanchette,+H">Henry Blanchette</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lampropoulos,+L">Leonidas Lampropoulos</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> This is the extended version of the paper </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span> </div> </div> </dd> <dt> <a name='item4'>[4]</a> <a href ="/abs/2411.16544" title="Abstract" id="2411.16544"> arXiv:2411.16544 </a> [<a href="/pdf/2411.16544" title="Download PDF" id="pdf-2411.16544" aria-labelledby="pdf-2411.16544">pdf</a>, <a href="https://arxiv.org/html/2411.16544v1" title="View HTML" id="html-2411.16544" aria-labelledby="html-2411.16544" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.16544" title="Other formats" id="oth-2411.16544" aria-labelledby="oth-2411.16544">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Float Self-Tagging </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Melan%C3%A7on,+O">Olivier Melan莽on</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Serrano,+M">Manuel Serrano</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Feeley,+M">Marc Feeley</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span> </div> </div> </dd> <dt> <a name='item5'>[5]</a> <a href ="/abs/2411.16341" title="Abstract" id="2411.16341"> arXiv:2411.16341 </a> [<a href="/pdf/2411.16341" title="Download PDF" id="pdf-2411.16341" aria-labelledby="pdf-2411.16341">pdf</a>, <a href="https://arxiv.org/html/2411.16341v1" title="View HTML" id="html-2411.16341" aria-labelledby="html-2411.16341" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.16341" title="Other formats" id="oth-2411.16341" aria-labelledby="oth-2411.16341">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> From CISC to RISC: language-model guided assembly transpilation </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Heakl,+A">Ahmed Heakl</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Abi,+C">Chaimaa Abi</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Hossam,+R">Rania Hossam</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Mahmoud,+A">Abdulrahman Mahmoud</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Hardware Architecture (cs.AR) </div> </div> </dd> <dt> <a name='item6'>[6]</a> <a href ="/abs/2411.16564" title="Abstract" id="2411.16564"> arXiv:2411.16564 </a> (cross-list from cs.LO) [<a href="/pdf/2411.16564" title="Download PDF" id="pdf-2411.16564" aria-labelledby="pdf-2411.16564">pdf</a>, <a href="https://arxiv.org/html/2411.16564v1" title="View HTML" id="html-2411.16564" aria-labelledby="html-2411.16564" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.16564" title="Other formats" id="oth-2411.16564" aria-labelledby="oth-2411.16564">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Batz,+K">Kevin Batz</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kaminski,+B+L">Benjamin Lucien Kaminski</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Matheja,+C">Christoph Matheja</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Winkler,+T">Tobias Winkler</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item7'>[7]</a> <a href ="/abs/2411.15979" title="Abstract" id="2411.15979"> arXiv:2411.15979 </a> (cross-list from math.LO) [<a href="/pdf/2411.15979" title="Download PDF" id="pdf-2411.15979" aria-labelledby="pdf-2411.15979">pdf</a>, <a href="https://arxiv.org/html/2411.15979v1" title="View HTML" id="html-2411.15979" aria-labelledby="html-2411.15979" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.15979" title="Other formats" id="oth-2411.15979" aria-labelledby="oth-2411.15979">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Kleene algebra with commutativity conditions is undecidable </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=de+Amorim,+A+A">Arthur Azevedo de Amorim</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Zhang,+C">Cheng Zhang</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Gaboardi,+M">Marco Gaboardi</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Published at CSL 2025 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span>; Computational Complexity (cs.CC); Computation and Language (cs.CL); Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item8'>[8]</a> <a href ="/abs/2411.15470" title="Abstract" id="2411.15470"> arXiv:2411.15470 </a> (cross-list from cs.SE) [<a href="/pdf/2411.15470" title="Download PDF" id="pdf-2411.15470" aria-labelledby="pdf-2411.15470">pdf</a>, <a href="/format/2411.15470" title="Other formats" id="oth-2411.15470" aria-labelledby="oth-2411.15470">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Preliminary Study of Multilingual Code Language Models for Code Generation Task Using Translated Benchmarks </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Dandamudi,+R">Rohit Dandamudi</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Rodr%C3%ADguez-P%C3%A9rez,+G">Gema Rodr铆guez-P茅rez</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 5 pages, ASEW 2024 </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> ASEW 2024: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, Pages 94 - 99 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Software Engineering (cs.SE)</span>; Artificial Intelligence (cs.AI); Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item9'>[9]</a> <a href ="/abs/2411.15368" title="Abstract" id="2411.15368"> arXiv:2411.15368 </a> (cross-list from cs.SE) [<a href="/pdf/2411.15368" title="Download PDF" id="pdf-2411.15368" aria-labelledby="pdf-2411.15368">pdf</a>, <a href="https://arxiv.org/html/2411.15368v1" title="View HTML" id="html-2411.15368" aria-labelledby="html-2411.15368" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.15368" title="Other formats" id="oth-2411.15368" aria-labelledby="oth-2411.15368">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Chen,+B">Boqi Chen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=L%C3%B3pez,+J+A+H">Jos茅 Antonio Hern谩ndez L贸pez</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Mussbacher,+G">Gunter Mussbacher</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Varr%C3%B3,+D">D谩niel Varr贸</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Accepted by ICSE'25 Research Track </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Software Engineering (cs.SE)</span>; Machine Learning (cs.LG); Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item10'>[10]</a> <a href ="/abs/2411.15143" title="Abstract" id="2411.15143"> arXiv:2411.15143 </a> (cross-list from cs.SE) [<a href="/pdf/2411.15143" title="Download PDF" id="pdf-2411.15143" aria-labelledby="pdf-2411.15143">pdf</a>, <a href="https://arxiv.org/html/2411.15143v1" title="View HTML" id="html-2411.15143" aria-labelledby="html-2411.15143" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.15143" title="Other formats" id="oth-2411.15143" aria-labelledby="oth-2411.15143">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> dafny-annotator: AI-Assisted Verification of Dafny Programs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Poesia,+G">Gabriel Poesia</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Loughridge,+C">Chloe Loughridge</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Amin,+N">Nada Amin</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Software Engineering (cs.SE)</span>; Artificial Intelligence (cs.AI); Programming Languages (cs.PL) </div> </div> </dd> </dl> <dl id='articles'> <h3>Mon, 25 Nov 2024 (showing 7 of 7 entries )</h3> <dt> <a name='item11'>[11]</a> <a href ="/abs/2411.14802" title="Abstract" id="2411.14802"> arXiv:2411.14802 </a> [<a href="/pdf/2411.14802" title="Download PDF" id="pdf-2411.14802" aria-labelledby="pdf-2411.14802">pdf</a>, <a href="/format/2411.14802" title="Other formats" id="oth-2411.14802" aria-labelledby="oth-2411.14802">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Takyu,+K">Kento Takyu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ueda,+K">Kazunori Ueda</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 26 pages. Extended version of the paper to appear in Proc. 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025), LNCS, Springer-Verlag, 2025, with Appendices describing further details that could not be included in the conference version of the paper </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span> </div> </div> </dd> <dt> <a name='item12'>[12]</a> <a href ="/abs/2411.14735" title="Abstract" id="2411.14735"> arXiv:2411.14735 </a> [<a href="/pdf/2411.14735" title="Download PDF" id="pdf-2411.14735" aria-labelledby="pdf-2411.14735">pdf</a>, <a href="/format/2411.14735" title="Other formats" id="oth-2411.14735" aria-labelledby="oth-2411.14735">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Automatic Inference of Relational Object Invariants </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Su,+Y">Yusen Su</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Navas,+J+A">Jorge A. Navas</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gurfinkel,+A">Arie Gurfinkel</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Garcia-Contreras,+I">Isabel Garcia-Contreras</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> This is an extended version of the VMCAI 2025 paper, consisting of 26 pages. The artifact is available at <a href="https://doi.org/10.5281/zenodo.13849174" rel="external noopener nofollow" class="link-external link-https">this https URL</a> </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span> </div> </div> </dd> <dt> <a name='item13'>[13]</a> <a href ="/abs/2411.14579" title="Abstract" id="2411.14579"> arXiv:2411.14579 </a> [<a href="/pdf/2411.14579" title="Download PDF" id="pdf-2411.14579" aria-labelledby="pdf-2411.14579">pdf</a>, <a href="/format/2411.14579" title="Other formats" id="oth-2411.14579" aria-labelledby="oth-2411.14579">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Functional Array Programming in an Extended Pi-Calculus </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=H%C3%BCttel,+H">Hans H眉ttel</a> (Department of Computer Science, University of Copenhagen), <a href="https://arxiv.org/search/cs?searchtype=author&query=Jensen,+L">Lars Jensen</a> (Department of Computer Science, Aalborg University), <a href="https://arxiv.org/search/cs?searchtype=author&query=Paulsen,+C+O">Chris Oliver Paulsen</a> (Department of Computer Science, Aalborg University), <a href="https://arxiv.org/search/cs?searchtype=author&query=Teule,+J">Julian Teule</a> (Department of Computer Science, Aalborg University)</div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> In Proceedings EXPRESS/SOS 2024, <a href="https://arxiv.org/abs/2411.13318" data-arxiv-id="2411.13318" class="link-https">arXiv:2411.13318</a> </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> EPTCS 412, 2024, pp. 2-18 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item14'>[14]</a> <a href ="/abs/2411.15100" title="Abstract" id="2411.15100"> arXiv:2411.15100 </a> (cross-list from cs.CL) [<a href="/pdf/2411.15100" title="Download PDF" id="pdf-2411.15100" aria-labelledby="pdf-2411.15100">pdf</a>, <a href="https://arxiv.org/html/2411.15100v2" title="View HTML" id="html-2411.15100" aria-labelledby="html-2411.15100" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.15100" title="Other formats" id="oth-2411.15100" aria-labelledby="oth-2411.15100">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Dong,+Y">Yixin Dong</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ruan,+C+F">Charlie F. Ruan</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Cai,+Y">Yaxing Cai</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lai,+R">Ruihang Lai</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Xu,+Z">Ziyi Xu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zhao,+Y">Yilong Zhao</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Chen,+T">Tianqi Chen</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Computation and Language (cs.CL)</span>; Artificial Intelligence (cs.AI); Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item15'>[15]</a> <a href ="/abs/2411.14887" title="Abstract" id="2411.14887"> arXiv:2411.14887 </a> (cross-list from cs.DC) [<a href="/pdf/2411.14887" title="Download PDF" id="pdf-2411.14887" aria-labelledby="pdf-2411.14887">pdf</a>, <a href="https://arxiv.org/html/2411.14887v1" title="View HTML" id="html-2411.14887" aria-labelledby="html-2411.14887" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.14887" title="Other formats" id="oth-2411.14887" aria-labelledby="oth-2411.14887">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> OMP4Py: a pure Python implementation of OpenMP </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Pi%C3%B1eiro,+C">C茅sar Pi帽eiro</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Pichel,+J+C">Juan C. Pichel</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 13 pages, 11 figures </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Distributed, Parallel, and Cluster Computing (cs.DC)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item16'>[16]</a> <a href ="/abs/2411.14580" title="Abstract" id="2411.14580"> arXiv:2411.14580 </a> (cross-list from cs.FL) [<a href="/pdf/2411.14580" title="Download PDF" id="pdf-2411.14580" aria-labelledby="pdf-2411.14580">pdf</a>, <a href="/format/2411.14580" title="Other formats" id="oth-2411.14580" aria-labelledby="oth-2411.14580">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Synchronisability in Mailbox Communication </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Di+Giusto,+C">Cinzia Di Giusto</a> (Universit茅 C么te d'Azur, CNRS, I3S, France), <a href="https://arxiv.org/search/cs?searchtype=author&query=Laversa,+L">Laetitia Laversa</a> (Universit茅 Sorbonne Paris Nord, Paris, France), <a href="https://arxiv.org/search/cs?searchtype=author&query=Peters,+K">Kirstin Peters</a> (Universit盲t Augsburg, Augsburg, Germany)</div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> In Proceedings EXPRESS/SOS 2024, <a href="https://arxiv.org/abs/2411.13318" data-arxiv-id="2411.13318" class="link-https">arXiv:2411.13318</a> </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> EPTCS 412, 2024, pp. 19-34 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Formal Languages and Automata Theory (cs.FL)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item17'>[17]</a> <a href ="/abs/2411.14563" title="Abstract" id="2411.14563"> arXiv:2411.14563 </a> (cross-list from cs.CR) [<a href="/pdf/2411.14563" title="Download PDF" id="pdf-2411.14563" aria-labelledby="pdf-2411.14563">pdf</a>, <a href="https://arxiv.org/html/2411.14563v1" title="View HTML" id="html-2411.14563" aria-labelledby="html-2411.14563" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.14563" title="Other formats" id="oth-2411.14563" aria-labelledby="oth-2411.14563">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Constructing Trustworthy Smart Contracts </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Chait-Roth,+D">Devora Chait-Roth</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Namjoshi,+K+S">Kedar S. Namjoshi</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Cryptography and Security (cs.CR)</span>; Programming Languages (cs.PL) </div> </div> </dd> </dl> <dl id='articles'> <h3>Fri, 22 Nov 2024 (showing 6 of 6 entries )</h3> <dt> <a name='item18'>[18]</a> <a href ="/abs/2411.14284" title="Abstract" id="2411.14284"> arXiv:2411.14284 </a> [<a href="/pdf/2411.14284" title="Download PDF" id="pdf-2411.14284" aria-labelledby="pdf-2411.14284">pdf</a>, <a href="https://arxiv.org/html/2411.14284v1" title="View HTML" id="html-2411.14284" aria-labelledby="html-2411.14284" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.14284" title="Other formats" id="oth-2411.14284" aria-labelledby="oth-2411.14284">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Algebras for Deterministic Computation Are Inherently Incomplete </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Cate,+B+t">Balder ten Cate</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kapp%C3%A9,+T">Tobias Kapp茅</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span> </div> </div> </dd> <dt> <a name='item19'>[19]</a> <a href ="/abs/2411.13732" title="Abstract" id="2411.13732"> arXiv:2411.13732 </a> [<a href="/pdf/2411.13732" title="Download PDF" id="pdf-2411.13732" aria-labelledby="pdf-2411.13732">pdf</a>, <a href="https://arxiv.org/html/2411.13732v1" title="View HTML" id="html-2411.13732" aria-labelledby="html-2411.13732" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.13732" title="Other formats" id="oth-2411.13732" aria-labelledby="oth-2411.13732">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Typing Composite Subjects </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Aceto,+L">Luca Aceto</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gorla,+D">Daniele Gorla</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lybech,+S">Stian Lybech</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span> </div> </div> </dd> <dt> <a name='item20'>[20]</a> <a href ="/abs/2411.14365" title="Abstract" id="2411.14365"> arXiv:2411.14365 </a> (cross-list from eess.SY) [<a href="/pdf/2411.14365" title="Download PDF" id="pdf-2411.14365" aria-labelledby="pdf-2411.14365">pdf</a>, <a href="/format/2411.14365" title="Other formats" id="oth-2411.14365" aria-labelledby="oth-2411.14365">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Formal Simulation and Visualisation of Hybrid Programs </div> <div class='list-authors'><a href="https://arxiv.org/search/eess?searchtype=author&query=Mendes,+P">Pedro Mendes</a> (University of Minho, Portugal), <a href="https://arxiv.org/search/eess?searchtype=author&query=Correia,+R">Ricardo Correia</a> (University of Minho, Portugal), <a href="https://arxiv.org/search/eess?searchtype=author&query=Neves,+R">Renato Neves</a> (INESC-TEC &amp; University of Minho, Portugal), <a href="https://arxiv.org/search/eess?searchtype=author&query=Proen%C3%A7a,+J">Jos茅 Proen莽a</a> (CISTER, Faculty of Sciences of the University of Porto, Portugal)</div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> In Proceedings FMAS2024, <a href="https://arxiv.org/abs/2411.13215" data-arxiv-id="2411.13215" class="link-https">arXiv:2411.13215</a> </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> EPTCS 411, 2024, pp. 20-37 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Systems and Control (eess.SY)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item21'>[21]</a> <a href ="/abs/2411.14330" title="Abstract" id="2411.14330"> arXiv:2411.14330 </a> (cross-list from cs.DB) [<a href="/pdf/2411.14330" title="Download PDF" id="pdf-2411.14330" aria-labelledby="pdf-2411.14330">pdf</a>, <a href="https://arxiv.org/html/2411.14330v1" title="View HTML" id="html-2411.14330" aria-labelledby="html-2411.14330" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.14330" title="Other formats" id="oth-2411.14330" aria-labelledby="oth-2411.14330">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Datalog with First-Class Facts </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Gilray,+T">Thomas Gilray</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sahebolamri,+A">Arash Sahebolamri</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sun,+Y">Yihao Sun</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kunapaneni,+S">Sowmith Kunapaneni</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kumar,+S">Sidharth Kumar</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Micinski,+K">Kristopher Micinski</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> arXiv admin note: text overlap with <a href="https://arxiv.org/abs/2211.11573" data-arxiv-id="2211.11573" class="link-https">arXiv:2211.11573</a> </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Databases (cs.DB)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item22'>[22]</a> <a href ="/abs/2411.14174" title="Abstract" id="2411.14174"> arXiv:2411.14174 </a> (cross-list from cs.SE) [<a href="/pdf/2411.14174" title="Download PDF" id="pdf-2411.14174" aria-labelledby="pdf-2411.14174">pdf</a>, <a href="/format/2411.14174" title="Other formats" id="oth-2411.14174" aria-labelledby="oth-2411.14174">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Translating C To Rust: Lessons from a User Study </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Li,+R">Ruishi Li</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Wang,+B">Bo Wang</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Li,+T">Tianyu Li</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Saxena,+P">Prateek Saxena</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kundu,+A">Ashish Kundu</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Accepted by NDSS Symposium 2025. Please cite the conference version of this paper, e.g., "Ruishi Li, Bo Wang, Tianyu Li, Prateek Saxena, Ashish Kundu. Translating C To Rust: Lessons from a User Study. In 32nd Annual Network and Distributed System Security Symposium (NDSS 2025)." </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Software Engineering (cs.SE)</span>; Cryptography and Security (cs.CR); Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item23'>[23]</a> <a href ="/abs/2411.14072" title="Abstract" id="2411.14072"> arXiv:2411.14072 </a> (cross-list from cs.CL) [<a href="/pdf/2411.14072" title="Download PDF" id="pdf-2411.14072" aria-labelledby="pdf-2411.14072">pdf</a>, <a href="https://arxiv.org/html/2411.14072v1" title="View HTML" id="html-2411.14072" aria-labelledby="html-2411.14072" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2411.14072" title="Other formats" id="oth-2411.14072" aria-labelledby="oth-2411.14072">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> The Master-Slave Encoder Model for Improving Patent Text Summarization: A New Approach to Combining Specifications and Claims </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Zhou,+S">Shu Zhou</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Wang,+X">Xin Wang</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zhou,+Z">Zhengda Zhou</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Yi,+H">Haohan Yi</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zheng,+X">Xuhui Zheng</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Wan,+H">Hao Wan</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 25pages, 1 figure </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Computation and Language (cs.CL)</span>; Programming Languages (cs.PL) </div> </div> </dd> </dl> <div class='paging'>Total of 23 entries </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs.PL/recent?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <span style="color: #454545">all</span> </div> </div> </div> </div> </main> <footer style="clear: both;"> <div class="columns is-desktop" role="navigation" aria-label="Secondary" style="margin: -0.75em -0.75em 0.75em -0.75em"> <!-- Macro-Column 1 --> <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/about">About</a></li> <li><a href="https://info.arxiv.org/help">Help</a></li> </ul> </div> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>contact arXiv</title><desc>Click here to contact arXiv</desc><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg> <a href="https://info.arxiv.org/help/contact.html"> Contact</a> </li> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>subscribe to arXiv mailings</title><desc>Click here to subscribe</desc><path d="M476 3.2L12.5 270.6c-18.1 10.4-15.8 35.6 2.2 43.2L121 358.4l287.3-253.2c5.5-4.9 13.3 2.6 8.6 8.3L176 407v80.5c0 23.6 28.5 32.9 42.5 15.8L282 426l124.6 52.2c14.2 6 30.4-2.9 33-18.2l72-432C515 7.8 493.3-6.8 476 3.2z"/></svg> <a href="https://info.arxiv.org/help/subscribe"> Subscribe</a> </li> </ul> </div> </div> </div> <!-- End Macro-Column 1 --> <!-- Macro-Column 2 --> <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/license/index.html">Copyright</a></li> <li><a href="https://info.arxiv.org/help/policies/privacy_policy.html">Privacy Policy</a></li> </ul> </div> <div class="column sorry-app-links"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/web_accessibility.html">Web Accessibility Assistance</a></li> <li> <p class="help"> <a class="a11y-main-link" href="https://status.arxiv.org" target="_blank">arXiv Operational Status <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 256 512" class="icon filter-dark_grey" role="presentation"><path d="M224.3 273l-136 136c-9.4 9.4-24.6 9.4-33.9 0l-22.6-22.6c-9.4-9.4-9.4-24.6 0-33.9l96.4-96.4-96.4-96.4c-9.4-9.4-9.4-24.6 0-33.9L54.3 103c9.4-9.4 24.6-9.4 33.9 0l136 136c9.5 9.4 9.5 24.6.1 34z"/></svg></a><br> Get status notifications via <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/email/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg>email</a> or <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/slack/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-black" role="presentation"><path d="M94.12 315.1c0 25.9-21.16 47.06-47.06 47.06S0 341 0 315.1c0-25.9 21.16-47.06 47.06-47.06h47.06v47.06zm23.72 0c0-25.9 21.16-47.06 47.06-47.06s47.06 21.16 47.06 47.06v117.84c0 25.9-21.16 47.06-47.06 47.06s-47.06-21.16-47.06-47.06V315.1zm47.06-188.98c-25.9 0-47.06-21.16-47.06-47.06S139 32 164.9 32s47.06 21.16 47.06 47.06v47.06H164.9zm0 23.72c25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06H47.06C21.16 243.96 0 222.8 0 196.9s21.16-47.06 47.06-47.06H164.9zm188.98 47.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06h-47.06V196.9zm-23.72 0c0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06V79.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06V196.9zM283.1 385.88c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06v-47.06h47.06zm0-23.72c-25.9 0-47.06-21.16-47.06-47.06 0-25.9 21.16-47.06 47.06-47.06h117.84c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06H283.1z"/></svg>slack</a> </p> </li> </ul> </div> </div> </div> <!-- end MetaColumn 2 --> <!-- End Macro-Column 2 --> </div> </footer> </div> <script src="/static/base/1.0.1/js/member_acknowledgement.js"></script> </body> </html>