Programming Languages

Authors and titles for April 2025

[1] arXiv:2504.01841 [pdf, html, other]

Title: Garbage Collection for Rust: The Finalizer Frontier

Jacob Hughes, Laurence Tratt

Comments: 33 pages, 13 figures

Subjects: Programming Languages (cs.PL)

[2] arXiv:2504.02246 [pdf, html, other]

Title: C*: Unifying Programming and Verification in C

Yiyuan Cao, Jiayi Zhuang, Houjin Chen, Jinkai Fan, Wenbo Xu, Zhiyi Wang, Di Wang, Qinxiang Cao, Yingfei Xiong, Haiyan Zhao, Zhenjiang Hu

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[3] arXiv:2504.02443 [pdf, html, other]

Title: Language-Integrated Recursive Queries

Anna Herlihy, Anastasia Ailamaki, Martin Odersky, Amir Shaikhha

Subjects: Programming Languages (cs.PL)

[4] arXiv:2504.02455 [pdf, html, other]

Title: QPanda3: A High-Performance Software-Hardware Collaborative Framework for Large-Scale Quantum-Classical Computing Integration

Tianrui Zou, Yuan Fang, Jing Wang, Menghan Dou, Jun Fu, ZiQiang Zhao, ShuBin Zhao, Lei Yu, Dongyi Zhao, Zhaoyun Chen, Guoping Guo

Subjects: Programming Languages (cs.PL)

[5] arXiv:2504.02975 [pdf, html, other]

Title: Functional Meaning for Parallel Streaming

Nick Rioux, Steve Zdancewic

Comments: Extended version of paper to appear in PLDI 2025

Subjects: Programming Languages (cs.PL)

[6] arXiv:2504.03109 [pdf, html, other]

Title: Extending Data Spatial Semantics for Scale Agnostic Programming

Jason Mars

Comments: 16 pages

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA); Operating Systems (cs.OS); Software Engineering (cs.SE)

[7] arXiv:2504.03155 [pdf, html, other]

Title: Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices

Yang He, Xiaoyu Liu, Yuepeng Wang

Comments: 29 pages, 10 tables, 9 figures, PLDI 2025

Subjects: Programming Languages (cs.PL)

[8] arXiv:2504.03182 [pdf, html, other]

Title: Graphiti: Bridging Graph and Relational Database Queries

Yang He, Ruijie Fang, Isil Dillig, Yuepeng Wang

Comments: 44 pages, 23 figures, 5 tables, PLDI 2025

Subjects: Programming Languages (cs.PL)

[9] arXiv:2504.03890 [pdf, other]

Title: Handling the Selection Monad (Full Version)

Gordon Plotkin, Ningning Xie

Comments: Handling the Selection Monad (PLDI'25) with the appendix

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[10] arXiv:2504.03995 [pdf, other]

Title: Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version)

Steven Schaefer, Nathan Varner, Pedro H. Azevedo de Amorim, Max S. New

Comments: 37 pages, 24 figures

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL)

[11] arXiv:2504.04302 [pdf, html, other]

Title: AbsInf: A Lightweight Object to Represent float('inf') in Dijkstra's Algorithm

Anjan Bellamkonda, Laksh Bharani, Harivatsan Selvam

Comments: 13 pages, 3 figures. One bar chart was created using OPENAI's ChatGPT and included as Figure 2. One image was downloaded from Wikipedia and cited in the References section (used via local file instead of URL). Benchmarks performed using CPython 3.12.0 and Python 3.13 across Azure and local Windows machines. Code available at this https URL

Subjects: Programming Languages (cs.PL); Data Structures and Algorithms (cs.DS)

[12] arXiv:2504.04542 [pdf, other]

Title: Automated Verification of Soundness of DNN Certifiers

Avaljot Singh, Yasmin Chandini Sarita, Charith Mendis, Gagandeep Singh

Subjects: Programming Languages (cs.PL)

[13] arXiv:2504.04962 [pdf, other]

Title: A refined operational semantics for FreeCHR

Sascha Rechenberger, Thom Frühwirth

Subjects: Programming Languages (cs.PL)

[14] arXiv:2504.05173 [pdf, html, other]

Title: PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types

Julian Haas, Ragnar Mogk, Annette Bieniusa, Mira Mezini

Comments: 23 pages, 9 figures

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)

[15] arXiv:2504.00013 (cross-list from cs.SE) [pdf, html, other]

Title: Towards Industrial-scale Product Configuration

Joachim Baumeister (1 and 2), Susana Hahn (3 and 4), Konstantin Herud (1), Max Ostrowski (4), Jochen Reutelshöfer (1), Nicolas Rühling (3 and 5), Torsten Schaub (3 and 4), Philipp Wanko (4) ((1) denkbares, Würzburg, Germany, (2) University of Würzburg, Germany, (3) University of Potsdam, Germany, (4) Potassco Solutions, Germany, (5) UP Transfer, Germany)

Comments: 27 pages, 8 figures, Under consideration for publication in Theory and Practice of Logic Programming (TPLP)

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[16] arXiv:2504.00065 (cross-list from cs.SE) [pdf, html, other]

Title: Assessing Code Understanding in LLMs

Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi

Comments: 22 page, 7 tables, submitted at FORTE 2025

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[17] arXiv:2504.01558 (cross-list from quant-ph) [pdf, other]

Title: Scalable Equivalence Checking and Verification of Shallow Quantum Circuits

Nengkun Yu, Xuan Du Trinh, Thomas Reps

Comments: Comments are welcome

Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)

[18] arXiv:2504.01847 (cross-list from cs.LO) [pdf, html, other]

Title: Confluence of Conditional Rewriting Modulo

Salvador Lucas

Comments: 51 pages. 15 figures. 7 tables

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

[19] arXiv:2504.01866 (cross-list from cs.SE) [pdf, html, other]

Title: From Code Generation to Software Testing: AI Copilot with Context-Based RAG

Yuchen Wang, Shangxin Guo, Chee Wei Tan

Comments: This work has been accepted for publication in IEEE Software (DOI: https://doi.org/10.1109/MS.2025.3549628)

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[20] arXiv:2504.02170 (cross-list from cs.FL) [pdf, html, other]

Title: Example-Free Learning of Regular Languages with Prefix Queries

Eve Fernando, Sasha Rubin, Rahul Gopinath

Subjects: Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)

[21] arXiv:2504.03529 (cross-list from quant-ph) [pdf, html, other]

Title: PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices

Zhaohui Yang, Dawei Ding, Chenghong Zhu, Jianxin Chen, Yuan Xie

Comments: 7 pages, 8 figures; To be published as a conference paper at DAC 2025

Subjects: Quantum Physics (quant-ph); Hardware Architecture (cs.AR); Programming Languages (cs.PL)

[22] arXiv:2504.04365 (cross-list from cs.LG) [pdf, html, other]

Title: AutoPDL: Automatic Prompt Optimization for LLM Agents

Claudio Spiess, Mandana Vaziri, Louis Mandel, Martin Hirzel

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[23] arXiv:2504.04874 (cross-list from cs.OS) [pdf, html, other]

Title: Futureproof Static Memory Planning

Christos Lamprakos, Panagiotis Xanthopoulos, Manolis Katsaragakis, Sotirios Xydis, Dimitrios Soudris, Francky Catthoor

Comments: Submitted to ACM TOPLAS

Subjects: Operating Systems (cs.OS); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)