Programming Languages Mar 2025

<!DOCTYPE html> <html lang="en"> <head> <title>Programming Languages Mar 2025</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=20241206" /> <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>  <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> <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> </header> <main> <div id="content"> <div id='content-inner'> <div id='dlpage'> <h1>Programming Languages</h1> <h2>Authors and titles for March 2025 </h2> <div class='paging'>Total of 57 entries : <span>1-50</span> <a href=/list/cs.PL/current?skip=50&show=50>51-57</a> </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs.PL/current?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <a href=/list/cs.PL/current?skip=0&show=2000 rel="nofollow"> all</a> </div> <dl id='articles'> <dt> <a name='item1'>[1]</a> <a href ="/abs/2503.00404" title="Abstract" id="2503.00404"> arXiv:2503.00404 </a> [<a href="/pdf/2503.00404" title="Download PDF" id="pdf-2503.00404" aria-labelledby="pdf-2503.00404">pdf</a>, <a href="https://arxiv.org/html/2503.00404v1" title="View HTML" id="html-2503.00404" aria-labelledby="html-2503.00404" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.00404" title="Other formats" id="oth-2503.00404" aria-labelledby="oth-2503.00404">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F* </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Andrici,+C">Cezar-Constantin Andrici</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ahman,+D">Danel Ahman</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Hritcu,+C">Catalin Hritcu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Icleanu,+R">Ruxandra Icleanu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Mart%C3%ADnez,+G">Guido Mart铆nez</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Rivas,+E">Exequiel Rivas</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Winterhalter,+T">Th茅o Winterhalter</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> ICFP'25 submission </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Cryptography and Security (cs.CR) </div> </div> </dd> <dt> <a name='item2'>[2]</a> <a href ="/abs/2503.02557" title="Abstract" id="2503.02557"> arXiv:2503.02557 </a> [<a href="/pdf/2503.02557" title="Download PDF" id="pdf-2503.02557" aria-labelledby="pdf-2503.02557">pdf</a>, <a href="/format/2503.02557" title="Other formats" id="oth-2503.02557" aria-labelledby="oth-2503.02557">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Huber,+N">Nikolaus Huber</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Graf,+S">Susanne Graf</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=R%C3%BCmmer,+P">Philipp R眉mmer</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Yi,+W">Wang Yi</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='item3'>[3]</a> <a href ="/abs/2503.02768" title="Abstract" id="2503.02768"> arXiv:2503.02768 </a> [<a href="/pdf/2503.02768" title="Download PDF" id="pdf-2503.02768" aria-labelledby="pdf-2503.02768">pdf</a>, <a href="/format/2503.02768" title="Other formats" id="oth-2503.02768" aria-labelledby="oth-2503.02768">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Denotational Semantics for Probabilistic and Concurrent Programs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Zilberstein,+N">Noam Zilberstein</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=Silva,+A">Alexandra Silva</a></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='item4'>[4]</a> <a href ="/abs/2503.03207" title="Abstract" id="2503.03207"> arXiv:2503.03207 </a> [<a href="/pdf/2503.03207" title="Download PDF" id="pdf-2503.03207" aria-labelledby="pdf-2503.03207">pdf</a>, <a href="https://arxiv.org/html/2503.03207v2" title="View HTML" id="html-2503.03207" aria-labelledby="html-2503.03207" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.03207" title="Other formats" id="oth-2503.03207" aria-labelledby="oth-2503.03207">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> PolyVer: A Compositional Approach for Polyglot System Modeling and Verification </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Chen,+P">Pei-Wei Chen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lin,+S">Shaokai Lin</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Godbole,+A">Adwait Godbole</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Singh,+R">Ramneet Singh</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Polgreen,+E">Elizabeth Polgreen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lee,+E+A">Edward A. Lee</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Seshia,+S+A">Sanjit A. Seshia</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 27 pages, 8 figures; acknowledgements added, typos fixed </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/2503.03359" title="Abstract" id="2503.03359"> arXiv:2503.03359 </a> [<a href="/pdf/2503.03359" title="Download PDF" id="pdf-2503.03359" aria-labelledby="pdf-2503.03359">pdf</a>, <a href="/format/2503.03359" title="Other formats" id="oth-2503.03359" aria-labelledby="oth-2503.03359">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Iterating Pointers: Enabling Static Analysis for Loop-based Pointers </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Lepori,+A">Andrea Lepori</a> (ETH Zurich), <a href="https://arxiv.org/search/cs?searchtype=author&query=Calotoiu,+A">Alexandru Calotoiu</a> (ETH Zurich), <a href="https://arxiv.org/search/cs?searchtype=author&query=Hoefler,+T">Torsten Hoefler</a> (ETH Zurich)</div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF) </div> </div> </dd> <dt> <a name='item6'>[6]</a> <a href ="/abs/2503.03698" title="Abstract" id="2503.03698"> arXiv:2503.03698 </a> [<a href="/pdf/2503.03698" title="Download PDF" id="pdf-2503.03698" aria-labelledby="pdf-2503.03698">pdf</a>, <a href="/format/2503.03698" title="Other formats" id="oth-2503.03698" aria-labelledby="oth-2503.03698">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Esmaeilsabzali,+S">Shahram Esmaeilsabzali</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Khalatyan,+A">Arayi Khalatyan</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Mo,+Z">Zhijun Mo</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Venkatanarayanan,+S">Sruthi Venkatanarayanan</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Xu,+S">Shengjie Xu</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='item7'>[7]</a> <a href ="/abs/2503.04001" title="Abstract" id="2503.04001"> arXiv:2503.04001 </a> [<a href="/pdf/2503.04001" title="Download PDF" id="pdf-2503.04001" aria-labelledby="pdf-2503.04001">pdf</a>, <a href="/format/2503.04001" title="Other formats" id="oth-2503.04001" aria-labelledby="oth-2503.04001">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Binomial Tabulation: A Short Story </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Ko,+H">Hsiang-Shang Ko</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Mu,+S">Shin-Cheng Mu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gibbons,+J">Jeremy Gibbons</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='item8'>[8]</a> <a href ="/abs/2503.04389" title="Abstract" id="2503.04389"> arXiv:2503.04389 </a> [<a href="/pdf/2503.04389" title="Download PDF" id="pdf-2503.04389" aria-labelledby="pdf-2503.04389">pdf</a>, <a href="https://arxiv.org/html/2503.04389v1" title="View HTML" id="html-2503.04389" aria-labelledby="html-2503.04389" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04389" title="Other formats" id="oth-2503.04389" aria-labelledby="oth-2503.04389">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Pydrofoil: accelerating Sail-based instruction set simulators </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Bolz-Tereick,+C+F">Carl Friedrich Bolz-Tereick</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Panayi,+L">Luke Panayi</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=McKeogh,+F">Ferdia McKeogh</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Spink,+T">Tom Spink</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Berger,+M">Martin Berger</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 32 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='item9'>[9]</a> <a href ="/abs/2503.04771" title="Abstract" id="2503.04771"> arXiv:2503.04771 </a> [<a href="/pdf/2503.04771" title="Download PDF" id="pdf-2503.04771" aria-labelledby="pdf-2503.04771">pdf</a>, <a href="/format/2503.04771" title="Other formats" id="oth-2503.04771" aria-labelledby="oth-2503.04771">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Building Bridges: Julia as an MLIR Frontend </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Merckx,+J">Jules Merckx</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> This is the extended abstract of a master's thesis, hosted at <a href="https://lib.ugent.be/en/catalog/rug01:003212846?i=0" rel="external noopener nofollow" class="link-external link-https">this https URL</a> \nSupervised by: Prof. Bjorn De Sutter with counselling from: Dr. Tim Besard and Thomas Faingnaert </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='item10'>[10]</a> <a href ="/abs/2503.04779" title="Abstract" id="2503.04779"> arXiv:2503.04779 </a> [<a href="/pdf/2503.04779" title="Download PDF" id="pdf-2503.04779" aria-labelledby="pdf-2503.04779">pdf</a>, <a href="https://arxiv.org/html/2503.04779v3" title="View HTML" id="html-2503.04779" aria-labelledby="html-2503.04779" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04779" title="Other formats" id="oth-2503.04779" aria-labelledby="oth-2503.04779">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Le-Cong,+T">Thanh Le-Cong</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Le,+B">Bach Le</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Murray,+T">Toby Murray</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Artificial Intelligence (cs.AI); Software Engineering (cs.SE) </div> </div> </dd> <dt> <a name='item11'>[11]</a> <a href ="/abs/2503.04811" title="Abstract" id="2503.04811"> arXiv:2503.04811 </a> [<a href="/pdf/2503.04811" title="Download PDF" id="pdf-2503.04811" aria-labelledby="pdf-2503.04811">pdf</a>, <a href="https://arxiv.org/html/2503.04811v1" title="View HTML" id="html-2503.04811" aria-labelledby="html-2503.04811" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04811" title="Other formats" id="oth-2503.04811" aria-labelledby="oth-2503.04811">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Introducing Support for Move Operations in Melda CRDT </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Brocco,+A">Amos Brocco</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Distributed, Parallel, and Cluster Computing (cs.DC) </div> </div> </dd> <dt> <a name='item12'>[12]</a> <a href ="/abs/2503.05163" title="Abstract" id="2503.05163"> arXiv:2503.05163 </a> [<a href="/pdf/2503.05163" title="Download PDF" id="pdf-2503.05163" aria-labelledby="pdf-2503.05163">pdf</a>, <a href="https://arxiv.org/html/2503.05163v1" title="View HTML" id="html-2503.05163" aria-labelledby="html-2503.05163" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.05163" title="Other formats" id="oth-2503.05163" aria-labelledby="oth-2503.05163">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Vbox: Efficient Black-Box Serializability Verification </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Sun,+W">Weihua Sun</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zou,+Z">Zhaonian Zou</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Databases (cs.DB) </div> </div> </dd> <dt> <a name='item13'>[13]</a> <a href ="/abs/2503.05507" title="Abstract" id="2503.05507"> arXiv:2503.05507 </a> [<a href="/pdf/2503.05507" title="Download PDF" id="pdf-2503.05507" aria-labelledby="pdf-2503.05507">pdf</a>, <a href="https://arxiv.org/html/2503.05507v1" title="View HTML" id="html-2503.05507" aria-labelledby="html-2503.05507" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.05507" title="Other formats" id="oth-2503.05507" aria-labelledby="oth-2503.05507">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs? </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Liang,+Q">Qingyuan Liang</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zhang,+Z">Zhao Zhang</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sun,+Z">Zeyu Sun</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lin,+Z">Zheng Lin</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Luo,+Q">Qi Luo</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Xiao,+Y">Yueyi Xiao</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Chen,+Y">Yizhou Chen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zhang,+Y">Yuqun Zhang</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zhang,+H">Haotian Zhang</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zhang,+L">Lu Zhang</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Chen,+B">Bin Chen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Xiong,+Y">Yingfei Xiong</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Artificial Intelligence (cs.AI) </div> </div> </dd> <dt> <a name='item14'>[14]</a> <a href ="/abs/2503.05924" title="Abstract" id="2503.05924"> arXiv:2503.05924 </a> [<a href="/pdf/2503.05924" title="Download PDF" id="pdf-2503.05924" aria-labelledby="pdf-2503.05924">pdf</a>, <a href="https://arxiv.org/html/2503.05924v1" title="View HTML" id="html-2503.05924" aria-labelledby="html-2503.05924" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.05924" title="Other formats" id="oth-2503.05924" aria-labelledby="oth-2503.05924">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Tirpankar,+T">Tanmay Tirpankar</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Das,+A">Arnab Das</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gopalakrishnan,+G">Ganesh Gopalakrishnan</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 22 pgs, 8 figures, 4 tables </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Symbolic Computation (cs.SC); Software Engineering (cs.SE); Numerical Analysis (math.NA) </div> </div> </dd> <dt> <a name='item15'>[15]</a> <a href ="/abs/2503.06162" title="Abstract" id="2503.06162"> arXiv:2503.06162 </a> [<a href="/pdf/2503.06162" title="Download PDF" id="pdf-2503.06162" aria-labelledby="pdf-2503.06162">pdf</a>, <a href="https://arxiv.org/html/2503.06162v1" title="View HTML" id="html-2503.06162" aria-labelledby="html-2503.06162" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.06162" title="Other formats" id="oth-2503.06162" aria-labelledby="oth-2503.06162">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Functional Reactive Programming with Effects, A More Permissive Approach </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Dabrowski,+F">Fr茅d茅ric Dabrowski</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ischard,+J">Jordan Ischard</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='item16'>[16]</a> <a href ="/abs/2503.06812" title="Abstract" id="2503.06812"> arXiv:2503.06812 </a> [<a href="/pdf/2503.06812" title="Download PDF" id="pdf-2503.06812" aria-labelledby="pdf-2503.06812">pdf</a>, <a href="https://arxiv.org/html/2503.06812v1" title="View HTML" id="html-2503.06812" aria-labelledby="html-2503.06812" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.06812" title="Other formats" id="oth-2503.06812" aria-labelledby="oth-2503.06812">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Can Proof Assistants Verify Multi-Agent Systems? </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Mendez,+J+A">Julian Alfredo Mendez</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kampik,+T">Timotheus Kampik</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA) </div> </div> </dd> <dt> <a name='item17'>[17]</a> <a href ="/abs/2503.07273" title="Abstract" id="2503.07273"> arXiv:2503.07273 </a> [<a href="/pdf/2503.07273" title="Download PDF" id="pdf-2503.07273" aria-labelledby="pdf-2503.07273">pdf</a>, <a href="/format/2503.07273" title="Other formats" id="oth-2503.07273" aria-labelledby="oth-2503.07273">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Fair Termination of Asynchronous Binary Sessions </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Padovani,+L">Luca Padovani</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zavattaro,+G">Gianluigi Zavattaro</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item18'>[18]</a> <a href ="/abs/2503.07328" title="Abstract" id="2503.07328"> arXiv:2503.07328 </a> [<a href="/pdf/2503.07328" title="Download PDF" id="pdf-2503.07328" aria-labelledby="pdf-2503.07328">pdf</a>, <a href="/format/2503.07328" title="Other formats" id="oth-2503.07328" aria-labelledby="oth-2503.07328">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Complete the Cycle: Reachability Types with Expressive Cyclic References </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Deng,+H">Haotian Deng</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=He,+S">Siyuan He</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Jia,+S">Songlin Jia</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Bao,+Y">Yuyan Bao</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Rompf,+T">Tiark Rompf</a></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); Software Engineering (cs.SE) </div> </div> </dd> <dt> <a name='item19'>[19]</a> <a href ="/abs/2503.07489" title="Abstract" id="2503.07489"> arXiv:2503.07489 </a> [<a href="/pdf/2503.07489" title="Download PDF" id="pdf-2503.07489" aria-labelledby="pdf-2503.07489">pdf</a>, <a href="https://arxiv.org/html/2503.07489v1" title="View HTML" id="html-2503.07489" aria-labelledby="html-2503.07489" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.07489" title="Other formats" id="oth-2503.07489" aria-labelledby="oth-2503.07489">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Destination Calculus: A Linear 位-Calculus for Purely Functional Memory Writes </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Bagrel,+T">Thomas Bagrel</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Spiwack,+A">Arnaud Spiwack</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 29 pages, 11 figures </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> Preprint of article 89 from PACMPL Volume 9, OOPSLA1, April 2025 </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/2503.08928" title="Abstract" id="2503.08928"> arXiv:2503.08928 </a> [<a href="/pdf/2503.08928" title="Download PDF" id="pdf-2503.08928" aria-labelledby="pdf-2503.08928">pdf</a>, <a href="https://arxiv.org/html/2503.08928v1" title="View HTML" id="html-2503.08928" aria-labelledby="html-2503.08928" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.08928" title="Other formats" id="oth-2503.08928" aria-labelledby="oth-2503.08928">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Toward a Corpus Study of the Dynamic Gradual Type </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Nsofor,+D">Dibri Nsofor</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Greenman,+B">Ben Greenman</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Accepted to HATRA 2024 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Human-Computer Interaction (cs.HC); Software Engineering (cs.SE) </div> </div> </dd> <dt> <a name='item21'>[21]</a> <a href ="/abs/2503.10416" title="Abstract" id="2503.10416"> arXiv:2503.10416 </a> [<a href="/pdf/2503.10416" title="Download PDF" id="pdf-2503.10416" aria-labelledby="pdf-2503.10416">pdf</a>, <a href="https://arxiv.org/html/2503.10416v1" title="View HTML" id="html-2503.10416" aria-labelledby="html-2503.10416" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.10416" title="Other formats" id="oth-2503.10416" aria-labelledby="oth-2503.10416">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Fruehwirth,+T">Thom Fruehwirth</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> arXiv admin note: substantial text overlap with <a href="https://arxiv.org/abs/2307.02180" data-arxiv-id="2307.02180" class="link-https">arXiv:2307.02180</a> </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Data Structures and Algorithms (cs.DS); Performance (cs.PF); Symbolic Computation (cs.SC) </div> </div> </dd> <dt> <a name='item22'>[22]</a> <a href ="/abs/2503.10855" title="Abstract" id="2503.10855"> arXiv:2503.10855 </a> [<a href="/pdf/2503.10855" title="Download PDF" id="pdf-2503.10855" aria-labelledby="pdf-2503.10855">pdf</a>, <a href="https://arxiv.org/html/2503.10855v1" title="View HTML" id="html-2503.10855" aria-labelledby="html-2503.10855" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.10855" title="Other formats" id="oth-2503.10855" aria-labelledby="oth-2503.10855">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Hercules: A Compiler for Productive Programming of Heterogeneous Systems </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Arbore,+R">Russel Arbore</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Councilman,+A">Aaron Councilman</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Routh,+X">Xavier Routh</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ziegler,+R">Ryan Ziegler</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Rathi,+P">Praneet Rathi</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Adve,+V">Vikram Adve</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='item23'>[23]</a> <a href ="/abs/2503.10863" title="Abstract" id="2503.10863"> arXiv:2503.10863 </a> [<a href="/pdf/2503.10863" title="Download PDF" id="pdf-2503.10863" aria-labelledby="pdf-2503.10863">pdf</a>, <a href="https://arxiv.org/html/2503.10863v1" title="View HTML" id="html-2503.10863" aria-labelledby="html-2503.10863" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.10863" title="Other formats" id="oth-2503.10863" aria-labelledby="oth-2503.10863">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> 2-Functoriality of Initial Semantics, and Applications </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Ahrens,+B">Benedikt Ahrens</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lafont,+A">Ambroise Lafont</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lamiaux,+T">Thomas Lamiaux</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Category Theory (math.CT) </div> </div> </dd> <dt> <a name='item24'>[24]</a> <a href ="/abs/2503.10868" title="Abstract" id="2503.10868"> arXiv:2503.10868 </a> [<a href="/pdf/2503.10868" title="Download PDF" id="pdf-2503.10868" aria-labelledby="pdf-2503.10868">pdf</a>, <a href="/format/2503.10868" title="Other formats" id="oth-2503.10868" aria-labelledby="oth-2503.10868">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Type Theory for Comprehension Categories with Applications to Subtyping </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Najmaei,+N">Niyousha Najmaei</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=van+der+Weide,+N">Niels van der Weide</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ahrens,+B">Benedikt Ahrens</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=North,+P+R">Paige Randall North</a></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); Category Theory (math.CT) </div> </div> </dd> <dt> <a name='item25'>[25]</a> <a href ="/abs/2503.10955" title="Abstract" id="2503.10955"> arXiv:2503.10955 </a> [<a href="/pdf/2503.10955" title="Download PDF" id="pdf-2503.10955" aria-labelledby="pdf-2503.10955">pdf</a>, <a href="/format/2503.10955" title="Other formats" id="oth-2503.10955" aria-labelledby="oth-2503.10955">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Bialgebraic Reasoning on Stateful Languages </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Goncharov,+S">Sergey Goncharov</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Milius,+S">Stefan Milius</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Schr%C3%B6der,+L">Lutz Schr枚der</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Tsampas,+S">Stelios Tsampas</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Urbat,+H">Henning Urbat</a></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='item26'>[26]</a> <a href ="/abs/2503.13084" title="Abstract" id="2503.13084"> arXiv:2503.13084 </a> [<a href="/pdf/2503.13084" title="Download PDF" id="pdf-2503.13084" aria-labelledby="pdf-2503.13084">pdf</a>, <a href="https://arxiv.org/html/2503.13084v1" title="View HTML" id="html-2503.13084" aria-labelledby="html-2503.13084" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13084" title="Other formats" id="oth-2503.13084" aria-labelledby="oth-2503.13084">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Faro,+S">Simone Faro</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Marino,+F+P">Francesco Pio Marino</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Messina,+G">Gabriele Messina</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='item27'>[27]</a> <a href ="/abs/2503.13970" title="Abstract" id="2503.13970"> arXiv:2503.13970 </a> [<a href="/pdf/2503.13970" title="Download PDF" id="pdf-2503.13970" aria-labelledby="pdf-2503.13970">pdf</a>, <a href="https://arxiv.org/html/2503.13970v1" title="View HTML" id="html-2503.13970" aria-labelledby="html-2503.13970" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13970" title="Other formats" id="oth-2503.13970" aria-labelledby="oth-2503.13970">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Eriksson,+O">Oscar Eriksson</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Thun%C3%A9,+A+%C3%85">Anders 脜gren Thun茅</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Borgstr%C3%B6m,+J">Johannes Borgstr枚m</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Broman,+D">David Broman</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='item28'>[28]</a> <a href ="/abs/2503.15540" title="Abstract" id="2503.15540"> arXiv:2503.15540 </a> [<a href="/pdf/2503.15540" title="Download PDF" id="pdf-2503.15540" aria-labelledby="pdf-2503.15540">pdf</a>, <a href="https://arxiv.org/html/2503.15540v1" title="View HTML" id="html-2503.15540" aria-labelledby="html-2503.15540" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.15540" title="Other formats" id="oth-2503.15540" aria-labelledby="oth-2503.15540">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> LLM-Guided Compositional Program Synthesis </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Khan,+R">Ruhma Khan</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gulwani,+S">Sumit Gulwani</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Le,+V">Vu Le</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Radhakrishna,+A">Arjun Radhakrishna</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Tiwari,+A">Ashish Tiwari</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Verbruggen,+G">Gust Verbruggen</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Software Engineering (cs.SE) </div> </div> </dd> <dt> <a name='item29'>[29]</a> <a href ="/abs/2503.15812" title="Abstract" id="2503.15812"> arXiv:2503.15812 </a> [<a href="/pdf/2503.15812" title="Download PDF" id="pdf-2503.15812" aria-labelledby="pdf-2503.15812">pdf</a>, <a href="https://arxiv.org/html/2503.15812v1" title="View HTML" id="html-2503.15812" aria-labelledby="html-2503.15812" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.15812" title="Other formats" id="oth-2503.15812" aria-labelledby="oth-2503.15812">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Data Spatial Programming </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Mars,+J">Jason Mars</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 7 pages, 11 pages with appendix </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Multiagent Systems (cs.MA); Software Engineering (cs.SE) </div> </div> </dd> <dt> <a name='item30'>[30]</a> <a href ="/abs/2503.16588" title="Abstract" id="2503.16588"> arXiv:2503.16588 </a> [<a href="/pdf/2503.16588" title="Download PDF" id="pdf-2503.16588" aria-labelledby="pdf-2503.16588">pdf</a>, <a href="/format/2503.16588" title="Other formats" id="oth-2503.16588" aria-labelledby="oth-2503.16588">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Unified Framework for Quantitative Cache Analysis </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Kahlen,+S">Sophie Kahlen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Reineke,+J">Jan Reineke</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Extended version of RTAS 2025 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='item31'>[31]</a> <a href ="/abs/2503.16971" title="Abstract" id="2503.16971"> arXiv:2503.16971 </a> [<a href="/pdf/2503.16971" title="Download PDF" id="pdf-2503.16971" aria-labelledby="pdf-2503.16971">pdf</a>, <a href="https://arxiv.org/html/2503.16971v1" title="View HTML" id="html-2503.16971" aria-labelledby="html-2503.16971" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.16971" title="Other formats" id="oth-2503.16971" aria-labelledby="oth-2503.16971">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Nofl: A Precise Immix </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Wingo,+A">Andy Wingo</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 10 pages, 5 figures; submitted to ISMM'25 </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='item32'>[32]</a> <a href ="/abs/2503.17004" title="Abstract" id="2503.17004"> arXiv:2503.17004 </a> [<a href="/pdf/2503.17004" title="Download PDF" id="pdf-2503.17004" aria-labelledby="pdf-2503.17004">pdf</a>, <a href="https://arxiv.org/html/2503.17004v1" title="View HTML" id="html-2503.17004" aria-labelledby="html-2503.17004" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.17004" title="Other formats" id="oth-2503.17004" aria-labelledby="oth-2503.17004">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Text2Model: Generating dynamic chemical reactor models using large language models (LLMs) </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Rupprecht,+S">Sophia Rupprecht</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Hounat,+Y">Yassine Hounat</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kumar,+M">Monisha Kumar</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lastrucci,+G">Giacomo Lastrucci</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Schweidtmann,+A+M">Artur M. Schweidtmann</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Computation and Language (cs.CL) </div> </div> </dd> <dt> <a name='item33'>[33]</a> <a href ="/abs/2503.00822" title="Abstract" id="2503.00822"> arXiv:2503.00822 </a> (cross-list from quant-ph) [<a href="/pdf/2503.00822" title="Download PDF" id="pdf-2503.00822" aria-labelledby="pdf-2503.00822">pdf</a>, <a href="/format/2503.00822" title="Other formats" id="oth-2503.00822" aria-labelledby="oth-2503.00822">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Scalable Memory Recycling for Large Quantum Programs </div> <div class='list-authors'><a href="https://arxiv.org/search/quant-ph?searchtype=author&query=Reichental,+I">Israel Reichental</a>, <a href="https://arxiv.org/search/quant-ph?searchtype=author&query=Alon,+R">Ravid Alon</a>, <a href="https://arxiv.org/search/quant-ph?searchtype=author&query=Preminger,+L">Lior Preminger</a>, <a href="https://arxiv.org/search/quant-ph?searchtype=author&query=Vax,+M">Matan Vax</a>, <a href="https://arxiv.org/search/quant-ph?searchtype=author&query=Naveh,+A">Amir Naveh</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Quantum Physics (quant-ph)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item34'>[34]</a> <a href ="/abs/2503.01390" title="Abstract" id="2503.01390"> arXiv:2503.01390 </a> (cross-list from cs.OS) [<a href="/pdf/2503.01390" title="Download PDF" id="pdf-2503.01390" aria-labelledby="pdf-2503.01390">pdf</a>, <a href="https://arxiv.org/html/2503.01390v1" title="View HTML" id="html-2503.01390" aria-labelledby="html-2503.01390" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.01390" title="Other formats" id="oth-2503.01390" aria-labelledby="oth-2503.01390">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Gu,+Y">Yile Gu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Neal,+I">Ian Neal</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Xu,+J">Jiexiao Xu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lee,+S+C">Shaun Christopher Lee</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Said,+A">Ayman Said</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Haydar,+M">Musa Haydar</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Van+Geffen,+J">Jacob Van Geffen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kadekodi,+R">Rohan Kadekodi</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Quinn,+A">Andrew Quinn</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kasikci,+B">Baris Kasikci</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> OOPSLA 2025 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Operating Systems (cs.OS)</span>; Programming Languages (cs.PL); Software Engineering (cs.SE) </div> </div> </dd> <dt> <a name='item35'>[35]</a> <a href ="/abs/2503.02477" title="Abstract" id="2503.02477"> arXiv:2503.02477 </a> (cross-list from math.CT) [<a href="/pdf/2503.02477" title="Download PDF" id="pdf-2503.02477" aria-labelledby="pdf-2503.02477">pdf</a>, <a href="/format/2503.02477" title="Other formats" id="oth-2503.02477" aria-labelledby="oth-2503.02477">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Random Variables, Conditional Independence and Categories of Abstract Sample Spaces </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Stein,+D">Dario Stein</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Category Theory (math.CT)</span>; Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Probability (math.PR) </div> </div> </dd> <dt> <a name='item36'>[36]</a> <a href ="/abs/2503.03008" title="Abstract" id="2503.03008"> arXiv:2503.03008 </a> (cross-list from cs.CL) [<a href="/pdf/2503.03008" title="Download PDF" id="pdf-2503.03008" aria-labelledby="pdf-2503.03008">pdf</a>, <a href="https://arxiv.org/html/2503.03008v1" title="View HTML" id="html-2503.03008" aria-labelledby="html-2503.03008" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.03008" title="Other formats" id="oth-2503.03008" aria-labelledby="oth-2503.03008">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> One Model to Train them All: Hierarchical Self-Distillation for Enhanced Early Layer Embeddings </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Gurioli,+A">Andrea Gurioli</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Pennino,+F">Federico Pennino</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Monteiro,+J">Jo茫o Monteiro</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gabbrielli,+M">Maurizio Gabbrielli</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); Software Engineering (cs.SE) </div> </div> </dd> <dt> <a name='item37'>[37]</a> <a href ="/abs/2503.03153" title="Abstract" id="2503.03153"> arXiv:2503.03153 </a> (cross-list from cs.LO) [<a href="/pdf/2503.03153" title="Download PDF" id="pdf-2503.03153" aria-labelledby="pdf-2503.03153">pdf</a>, <a href="https://arxiv.org/html/2503.03153v1" title="View HTML" id="html-2503.03153" aria-labelledby="html-2503.03153" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.03153" title="Other formats" id="oth-2503.03153" aria-labelledby="oth-2503.03153">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Substructural Parametricity </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Aberl%C3%A9,+C">C.B. Aberl茅</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Martens,+C">Chris Martens</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Pfenning,+F">Frank Pfenning</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='item38'>[38]</a> <a href ="/abs/2503.04003" title="Abstract" id="2503.04003"> arXiv:2503.04003 </a> (cross-list from cs.SE) [<a href="/pdf/2503.04003" title="Download PDF" id="pdf-2503.04003" aria-labelledby="pdf-2503.04003">pdf</a>, <a href="https://arxiv.org/html/2503.04003v1" title="View HTML" id="html-2503.04003" aria-labelledby="html-2503.04003" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04003" title="Other formats" id="oth-2503.04003" aria-labelledby="oth-2503.04003">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Understanding and Detecting Compatibility Issues in Android Auto Apps </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Fakorede,+M">Moshood Fakorede</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Farooq,+U">Umar Farooq</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 12 pages, 9 tables </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Software Engineering (cs.SE)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item39'>[39]</a> <a href ="/abs/2503.04408" title="Abstract" id="2503.04408"> arXiv:2503.04408 </a> (cross-list from cs.LO) [<a href="/pdf/2503.04408" title="Download PDF" id="pdf-2503.04408" aria-labelledby="pdf-2503.04408">pdf</a>, <a href="https://arxiv.org/html/2503.04408v1" title="View HTML" id="html-2503.04408" aria-labelledby="html-2503.04408" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04408" title="Other formats" id="oth-2503.04408" aria-labelledby="oth-2503.04408">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Linearization via Rewriting (Long Version) </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Lago,+U+D">Ugo Dal Lago</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Olimpieri,+F">Federico Olimpieri</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='item40'>[40]</a> <a href ="/abs/2503.04512" title="Abstract" id="2503.04512"> arXiv:2503.04512 </a> (cross-list from cs.LO) [<a href="/pdf/2503.04512" title="Download PDF" id="pdf-2503.04512" aria-labelledby="pdf-2503.04512">pdf</a>, <a href="/format/2503.04512" title="Other formats" id="oth-2503.04512" aria-labelledby="oth-2503.04512">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Li,+K+H">Kwing Hei Li</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Aguirre,+A">Alejandro Aguirre</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gregersen,+S+O">Simon Oddershede Gregersen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Haselwarter,+P+G">Philipp G. Haselwarter</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Tassarotti,+J">Joseph Tassarotti</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Birkedal,+L">Lars Birkedal</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='item41'>[41]</a> <a href ="/abs/2503.04763" title="Abstract" id="2503.04763"> arXiv:2503.04763 </a> (cross-list from cs.LO) [<a href="/pdf/2503.04763" title="Download PDF" id="pdf-2503.04763" aria-labelledby="pdf-2503.04763">pdf</a>, <a href="https://arxiv.org/html/2503.04763v1" title="View HTML" id="html-2503.04763" aria-labelledby="html-2503.04763" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04763" title="Other formats" id="oth-2503.04763" aria-labelledby="oth-2503.04763">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Viennot,+J">Jules Viennot</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Baudart,+G">Guillaume Baudart</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Arias,+E+J+G">Emilio Jes霉s Gallego Arias</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lelarge,+M">Marc Lelarge</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item42'>[42]</a> <a href ="/abs/2503.05703" title="Abstract" id="2503.05703"> arXiv:2503.05703 </a> (cross-list from cs.LG) [<a href="/pdf/2503.05703" title="Download PDF" id="pdf-2503.05703" aria-labelledby="pdf-2503.05703">pdf</a>, <a href="https://arxiv.org/html/2503.05703v1" title="View HTML" id="html-2503.05703" aria-labelledby="html-2503.05703" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.05703" title="Other formats" id="oth-2503.05703" aria-labelledby="oth-2503.05703">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> What I cannot execute, I do not understand: Training and Evaluating LLMs on Program Execution Traces </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Armengol-Estap%C3%A9,+J">Jordi Armengol-Estap茅</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Carbonneaux,+Q">Quentin Carbonneaux</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zhang,+T">Tianjun Zhang</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Markosyan,+A+H">Aram H. Markosyan</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Seeker,+V">Volker Seeker</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Cummins,+C">Chris Cummins</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kambadur,+M">Melanie Kambadur</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=O'Boyle,+M+F">Michael F.P. O'Boyle</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Wang,+S">Sida Wang</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Synnaeve,+G">Gabriel Synnaeve</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Leather,+H+J">Hugh James Leather</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Machine Learning (cs.LG)</span>; Artificial Intelligence (cs.AI); Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item43'>[43]</a> <a href ="/abs/2503.05849" title="Abstract" id="2503.05849"> arXiv:2503.05849 </a> (cross-list from cs.SE) [<a href="/pdf/2503.05849" title="Download PDF" id="pdf-2503.05849" aria-labelledby="pdf-2503.05849">pdf</a>, <a href="/format/2503.05849" title="Other formats" id="oth-2503.05849" aria-labelledby="oth-2503.05849">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Establishing tool support for a concept DSL </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Jakobsen,+N+K">Nikolaj K眉hne Jakobsen</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 84 pages, 13 figures, 25 listings </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Software Engineering (cs.SE)</span>; Logic in Computer Science (cs.LO); Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item44'>[44]</a> <a href ="/abs/2503.07215" title="Abstract" id="2503.07215"> arXiv:2503.07215 </a> (cross-list from cs.SE) [<a href="/pdf/2503.07215" title="Download PDF" id="pdf-2503.07215" aria-labelledby="pdf-2503.07215">pdf</a>, <a href="https://arxiv.org/html/2503.07215v1" title="View HTML" id="html-2503.07215" aria-labelledby="html-2503.07215" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.07215" title="Other formats" id="oth-2503.07215" aria-labelledby="oth-2503.07215">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Control Flow-Augmented Decompiler based on Large Language Model </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Liu,+P">Peipei Liu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sun,+J">Jian Sun</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Chen,+L">Li Chen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Yan,+Z">Zhaoteng Yan</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zhang,+P">Peizheng Zhang</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sun,+D">Dapeng Sun</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Wang,+D">Dawei Wang</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Li,+D">Dan Li</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Software Engineering (cs.SE)</span>; Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item45'>[45]</a> <a href ="/abs/2503.08530" title="Abstract" id="2503.08530"> arXiv:2503.08530 </a> (cross-list from cs.LO) [<a href="/pdf/2503.08530" title="Download PDF" id="pdf-2503.08530" aria-labelledby="pdf-2503.08530">pdf</a>, <a href="https://arxiv.org/html/2503.08530v1" title="View HTML" id="html-2503.08530" aria-labelledby="html-2503.08530" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.08530" title="Other formats" id="oth-2503.08530" aria-labelledby="oth-2503.08530">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Probabilistic Choreography Language for PRISM </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Carbone,+M">Marco Carbone</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Veschetti,+A">Adele Veschetti</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='item46'>[46]</a> <a href ="/abs/2503.08738" title="Abstract" id="2503.08738"> arXiv:2503.08738 </a> (cross-list from cs.SE) [<a href="/pdf/2503.08738" title="Download PDF" id="pdf-2503.08738" aria-labelledby="pdf-2503.08738">pdf</a>, <a href="https://arxiv.org/html/2503.08738v3" title="View HTML" id="html-2503.08738" aria-labelledby="html-2503.08738" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.08738" title="Other formats" id="oth-2503.08738" aria-labelledby="oth-2503.08738">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Zenkner,+J">Janis Zenkner</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sesterhenn,+T">Tobias Sesterhenn</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Bartelt,+C">Christian Bartelt</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Accepted at ICLR 2025 Workshop Deep Learning for Code </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='item47'>[47]</a> <a href ="/abs/2503.08923" title="Abstract" id="2503.08923"> arXiv:2503.08923 </a> (cross-list from cs.LG) [<a href="/pdf/2503.08923" title="Download PDF" id="pdf-2503.08923" aria-labelledby="pdf-2503.08923">pdf</a>, <a href="/format/2503.08923" title="Other formats" id="oth-2503.08923" aria-labelledby="oth-2503.08923">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Menon,+A">Anand Menon</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Miftah,+S+S">Samit S Miftah</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kundu,+S">Shamik Kundu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kundu,+S">Souvik Kundu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Amisha">Amisha Srivastava</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Raha,+A">Arnab Raha</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sonnenschein,+G+T">Gabriel Theodor Sonnenschein</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Banerjee,+S">Suvadeep Banerjee</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Mathaikutty,+D">Deepak Mathaikutty</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Basu,+K">Kanad Basu</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 29 Pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Machine Learning (cs.LG)</span>; Cryptography and Security (cs.CR); Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item48'>[48]</a> <a href ="/abs/2503.09463" title="Abstract" id="2503.09463"> arXiv:2503.09463 </a> (cross-list from cs.SE) [<a href="/pdf/2503.09463" title="Download PDF" id="pdf-2503.09463" aria-labelledby="pdf-2503.09463">pdf</a>, <a href="https://arxiv.org/html/2503.09463v1" title="View HTML" id="html-2503.09463" aria-labelledby="html-2503.09463" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.09463" title="Other formats" id="oth-2503.09463" aria-labelledby="oth-2503.09463">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Hardware.jl - An MLIR-based Julia HLS Flow (Work in Progress) </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Short,+B">Benedict Short</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=McInerney,+I">Ian McInerney</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Wickerson,+J">John Wickerson</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Accepted for presentation at the 5th Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE'25), March 30, 2025, Rotterdam, Netherlands </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Software Engineering (cs.SE)</span>; Hardware Architecture (cs.AR); Programming Languages (cs.PL) </div> </div> </dd> <dt> <a name='item49'>[49]</a> <a href ="/abs/2503.11288" title="Abstract" id="2503.11288"> arXiv:2503.11288 </a> (cross-list from cs.DB) [<a href="/pdf/2503.11288" title="Download PDF" id="pdf-2503.11288" aria-labelledby="pdf-2503.11288">pdf</a>, <a href="https://arxiv.org/html/2503.11288v1" title="View HTML" id="html-2503.11288" aria-labelledby="html-2503.11288" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.11288" title="Other formats" id="oth-2503.11288" aria-labelledby="oth-2503.11288">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Elimination of annotation dependencies in validation for Modern JSON Schema </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Attouche,+L">Lyes Attouche</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Baazizi,+M">Mohamed-Amine Baazizi</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Colazzo,+D">Dario Colazzo</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ghelli,+G">Giorgio Ghelli</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Klessinger,+S">Stefan Klessinger</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sartiani,+C">Carlo Sartiani</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Scherzinger,+S">Stefanie Scherzinger</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='item50'>[50]</a> <a href ="/abs/2503.12511" title="Abstract" id="2503.12511"> arXiv:2503.12511 </a> (cross-list from cs.SE) [<a href="/pdf/2503.12511" title="Download PDF" id="pdf-2503.12511" aria-labelledby="pdf-2503.12511">pdf</a>, <a href="https://arxiv.org/html/2503.12511v2" title="View HTML" id="html-2503.12511" aria-labelledby="html-2503.12511" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.12511" title="Other formats" id="oth-2503.12511" aria-labelledby="oth-2503.12511">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> LLM-Driven Multi-step Translation from C to Rust using Static Analysis </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Zhou,+T">Tianyang Zhou</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lin,+H">Haowen Lin</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Jha,+S">Somesh Jha</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Christodorescu,+M">Mihai Christodorescu</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Levchenko,+K">Kirill Levchenko</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Chandrasekaran,+V">Varun Chandrasekaran</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 22 pages, 13 figures </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> <div class='paging'>Total of 57 entries : <span>1-50</span> <a href=/list/cs.PL/current?skip=50&show=50>51-57</a> </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs.PL/current?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <a href=/list/cs.PL/current?skip=0&show=2000 rel="nofollow"> all</a> </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">  <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>   <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>   </div> </footer> </div> <script src="/static/base/1.0.1/js/member_acknowledgement.js"></script> </body> </html>

CINXE.COM

Programming Languages Mar 2025