Programming Languages

Authors and titles for December 2024

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

Title: Pourquoi existe-t-il de nombreux paradigmes de programmation ?

Oscar Plaisant, Max Lemoine

Comments: 18 pages, 2 figures, in French

Subjects: Programming Languages (cs.PL)

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

Title: Beyond SICP -- Design and Implementation of a Notional Machine for Scheme

Kyriel Abad, Martin Henz

Subjects: Programming Languages (cs.PL)

[3] arXiv:2412.01856 [pdf, other]

Title: A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday

Annette Bieniusa (University of Kaiserslautern-Landau), Markus Degen (University of Applied Sciences Augsburg), Stefan Wehr (University of Applied Sciences Offenburg)

Journal-ref: EPTCS 413, 2024

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

[4] arXiv:2412.02107 [pdf, other]

Title: Efficient, Portable, Census-Polymorphic Choreographic Programming

Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, Joseph P. Near

Comments: Submitted to PLDI25

Subjects: Programming Languages (cs.PL)

[5] arXiv:2412.03122 [pdf, other]

Title: Inversion by Partial Evaluation: A Reversible Interpreter Experiment

Robert Glück (DIKU, Dept. of Computer Science, University of Copenhagen), Louis Marott Normann (DIKU, Dept. of Computer Science, University of Copenhagen)

Comments: In Proceedings PT 2024, arXiv:2412.01856. Dedicated to Peter Thiemann on the Occasion of his 60th Birthday

Journal-ref: EPTCS 413, 2024, pp. 1-14

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

[6] arXiv:2412.03124 [pdf, other]

Title: Explicit Weakening

Philip Wadler (University of Edinburgh)

Comments: In Proceedings PT 2024, arXiv:2412.01856

Journal-ref: EPTCS 413, 2024, pp. 15-26

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

[7] arXiv:2412.03125 [pdf, other]

Title: Gradual Guarantee via Step-Indexed Logical Relations in Agda

Jeremy G. Siek (Indiana University)

Comments: In Proceedings PT 2024, arXiv:2412.01856

Journal-ref: EPTCS 413, 2024, pp. 27-42

Subjects: Programming Languages (cs.PL)

[8] arXiv:2412.03126 [pdf, other]

Title: Completing the Functional Approach in Object-Oriented Languages

Martin Pluemicke

Comments: In Proceedings PT 2024, arXiv:2412.01856

Journal-ref: EPTCS 413, 2024, pp. 43-56

Subjects: Programming Languages (cs.PL)

[9] arXiv:2412.06269 [pdf, other]

Title: Schema Evolution in Interactive Programming Systems

Jonathan Edwards (Independent, USA), Tomas Petricek (Charles University, Czechia), Tijs van der Storm (CWI, Netherlands / University of Groningen, Netherlands), Geoffrey Litt (Ink & Switch, USA)

Comments: arXiv admin note: text overlap with arXiv:2309.11406

Journal-ref: The Art, Science, and Engineering of Programming, 2025, Vol. 9, Issue 1, Article 2

Subjects: Programming Languages (cs.PL)

[10] arXiv:2412.06274 [pdf, other]

Title: Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment

Patrick Rein (Hasso Plattner Institute, Germany / University of Potsdam, Germany), Stefan Ramson (Hasso Plattner Institute, Germany / University of Potsdam, Germany), Tom Beckmann (Hasso Plattner Institute, Germany / University of Potsdam, Germany), Robert Hirschfeld (Hasso Plattner Institute, Germany / University of Potsdam, Germany)

Journal-ref: The Art, Science, and Engineering of Programming, 2025, Vol. 9, Issue 1, Article 1

Subjects: Programming Languages (cs.PL)

[11] arXiv:2412.06391 [pdf, other]

Title: Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly

Léo Andrès (OCamlPro, France / Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria - LMF, France), Filipe Marques (INESC-ID, Portugal / University of Lisbon, Portugal), Arthur Carcano (OCamlPro, France), Pierre Chambart (OCamlPro, France), José Fragoso Santos (INESC-ID, Portugal / University of Lisbon, Portugal), Jean-Christophe Filliâtre (Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria - LMF, France)

Journal-ref: The Art, Science, and Engineering of Programming, 2025, Vol. 9, Issue 1, Article 3

Subjects: Programming Languages (cs.PL)

[12] arXiv:2412.07086 [pdf, html, other]

Title: A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs

Torben Amtoft, Anindya Banerjee

Comments: To be published by Springer in Festschrift for Alan Mycroft

Subjects: Programming Languages (cs.PL)

[13] arXiv:2412.08035 [pdf, html, other]

Title: Scalable, Validated Code Translation of Entire Projects using Large Language Models

Hanliang Zhang, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening

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

[14] arXiv:2412.08232 [pdf, other]

Title: A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing

Bas van den Heuvel (Karlsruhe University of Applied Sciences, Karlsruhe, and University of Freiburg, Freiburg, Germany), Jorge A. Pérez (University of Groningen, The Netherlands)

Comments: In Proceedings ICE 2024, arXiv:2412.07570

Journal-ref: EPTCS 414, 2024, pp. 1-20

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

[15] arXiv:2412.08233 [pdf, other]

Title: An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization

Farid Arfi (IMT Atlantique), Hélène Coullon (IMT Atlantique), Frédéric Loulergue (University of Orleans), Jolan Philippe (IMT Atlantique), Simon Robillard (University of Montpellier)

Comments: In Proceedings ICE 2024, arXiv:2412.07570

Journal-ref: EPTCS 414, 2024, pp. 21-38

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

[16] arXiv:2412.08235 [pdf, other]

Title: The B2Scala Tool: Integrating Bach in Scala with Security in Mind

Doha Ouardi (University of Namur), Manel Barkallah (University of Namur), Jean-Marie Jacquet (University of Namur)

Comments: In Proceedings ICE 2024, arXiv:2412.07570

Journal-ref: EPTCS 414, 2024, pp. 58-76

Subjects: Programming Languages (cs.PL); Multiagent Systems (cs.MA); Symbolic Computation (cs.SC)

[17] arXiv:2412.08654 [pdf, other]

Title: A Behavior Tree-inspired programming language for autonomous agents

Oliver Biggar, Iman Shames

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

[18] arXiv:2412.09869 [pdf, other]

Title: A Practical Quantum Hoare Logic with Classical Variables, I

Mingsheng Ying

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[19] arXiv:2412.10632 [pdf, html, other]

Title: An Incremental Algorithm for Algebraic Program Analysis

Chenyu Zhou, Yuzhou Fang, Jingbo Wang, Chao Wang

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

[20] arXiv:2412.10657 [pdf, html, other]

Title: Probabilistic Guarantees for Practical LIA Loop Invariant Automation

Ashish Kumar (The Pennsylvania State University, USA), Jilaun Zhang (The Pennsylvania State University, USA), Saeid Tizpaz-Niari (UT El Paso, USA), Gang Tan (The Pennsylvania State University, USA)

Comments: 52 pages, 27 figures, conference

Subjects: Programming Languages (cs.PL)

[21] arXiv:2412.12578 [pdf, html, other]

Title: Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0

Sean Kim, Marcus Edwards

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

[22] arXiv:2412.12579 [pdf, html, other]

Title: Scaling Inter-procedural Dataflow Analysis on the Cloud

Zewen Sun, Yujin Zhang, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Yi Li, Zhaokang Wang, Yue Li, Xuandong Li, Zhiqiang Zuo, Qingda Lu, Wenwen Peng, Shengjian Guo

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

[23] arXiv:2412.13398 [pdf, other]

Title: Pattern Matching in AI Compilers and its Formalization (Extended Version)

Joseph W. Cutler, Alex Collins, Bin Fan, Mahesh Ravishankar, Vinod Grover

Comments: To appear at CGO'25

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

[24] arXiv:2412.13581 [pdf, html, other]

Title: Verified invertible lexer using regular expressions and DFAs

Samuel Chassot, Viktor Kunčak

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

[25] arXiv:2412.14399 [pdf, html, other]

Title: LLMSA: A Compositional Neuro-Symbolic Approach to Compilation-free and Customizable Static Analysis

Chengpeng Wang, Yifei Gao, Wuqi Zhang, Xuwei Liu, Qingkai Shi, Xiangyu Zhang

Comments: 28 pages, 9 figures, 7 tables

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

[26] arXiv:2412.14877 [pdf, html, other]

Title: Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site

Sérgio Queiroz de Medeiros, Marcelo Borges Nogueira, Gustavo Quezado

Subjects: Programming Languages (cs.PL)

[27] arXiv:2412.15042 [pdf, other]

Title: Compiling C to Safe Rust, Formalized

Aymeric Fromherz, Jonathan Protzenko

Subjects: Programming Languages (cs.PL)

[28] arXiv:2412.15768 [pdf, html, other]

Title: Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation

Oleg Kiselyov, Tomoaki Kobayashi, Nick Palladinos

Subjects: Programming Languages (cs.PL)

[29] arXiv:2412.16161 [pdf, html, other]

Title: Antiassociative algebra in R: introducing the evitaicossa package

Robin K. S. Hankinn

Comments: 6 pages

Subjects: Programming Languages (cs.PL); Mathematical Software (cs.MS); Symbolic Computation (cs.SC)

[30] arXiv:2412.16179 [pdf, html, other]

Title: A Brief Survey of Formal Models of Concurrency

Charles Averill

Comments: 10 pages, 2 figures

Subjects: Programming Languages (cs.PL)

[31] arXiv:2412.16185 [pdf, html, other]

Title: Computing $\sqrt{2}$ with FRACTRAN

Khushi Kaushik, Tommy Murphy, David Weed

Subjects: Programming Languages (cs.PL)

[32] arXiv:2412.16206 [pdf, html, other]

Title: Information Aware Type Systems and Telescopic Constraint Trees

Philippa Cowderoy

Comments: Extended abstract from MSFP2020

Subjects: Programming Languages (cs.PL)

[33] arXiv:2412.18885 [pdf, other]

Title: Aspect-oriented Programming with Julia

Osamu Ishimura, Yoshihide Yoshimoto

Subjects: Programming Languages (cs.PL)

[34] arXiv:2412.19053 [pdf, html, other]

Title: Flattening subtyping by eta expansion

Jana Dunfield

Comments: 16 pages, 8 figures

Subjects: Programming Languages (cs.PL)

[35] arXiv:2412.19463 [pdf, html, other]

Title: Laws of Quantum Programming

Mingsheng Ying, Li Zhou, Gilles Barthe

Subjects: Programming Languages (cs.PL)

[36] arXiv:2412.19826 [pdf, html, other]

Title: Modular probabilistic programming with algebraic effects (MSc Thesis 2019)

Oliver Goldstein, Ohad Kammar

Comments: 47 Pages

Subjects: Programming Languages (cs.PL); Computation (stat.CO)

[37] arXiv:2412.19908 [pdf, html, other]

Title: Comprehensive Verification of Packet Processing

Shengyi Wang, Mengying Pan, Andrew W. Appel

Subjects: Programming Languages (cs.PL)

[38] arXiv:2412.00206 (cross-list from cs.AI) [pdf, other]

Title: Towards the Ultimate Programming Language: Trust and Benevolence in the Age of Artificial Intelligence

Bartosz Sawicki, Michał Śmiałek, Bartłomiej Skowron

Comments: submitted to proceedings of "Ethics and AI" conference

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL); Software Engineering (cs.SE)

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

Title: Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification

Conrad Zimmerman, Jenna DiVincenzo

Comments: For presentation at the 1st Workshop on the Theory and Practice of Static Analysis (TPSA 2025)

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

[40] arXiv:2412.00983 (cross-list from eess.SY) [pdf, other]

Title: Dual-Use Commercial and Military Communications on a Single Platform using RAN Domain Specific Language

Alan Gatherer, Chaitali Sengupta, Sudipta Sen, Jeffery H. Reed

Comments: 6 pages, 11 figures, 19 references. Presented at the IEEE Military Communications Conference, 28 Oct - 1 Nov 2024, Washington DC

Subjects: Systems and Control (eess.SY); Hardware Architecture (cs.AR); Programming Languages (cs.PL)

[41] arXiv:2412.02765 (cross-list from cs.DC) [pdf, html, other]

Title: Massimult: A Novel Parallel CPU Architecture Based on Combinator Reduction

Jurgen Nicklisch-Franken, Ruslan Feizerakhmanov

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Performance (cs.PF); Programming Languages (cs.PL)

[42] arXiv:2412.03127 (cross-list from cs.DM) [pdf, other]

Title: Summa Summarum: Moessner's Theorem without Dynamic Programming

Olivier Danvy (National University of Singapore)

Comments: In Proceedings PT 2024, arXiv:2412.01856

Journal-ref: EPTCS 413, 2024, pp. 57-92

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

[43] arXiv:2412.03310 (cross-list from cs.CL) [pdf, html, other]

Title: Grounded Language Design for Lightweight Diagramming for Formal Methods

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)

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

Title: PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback

Yun Peng, Akhilesh Deepak Gotmare, Michael Lyu, Caiming Xiong, Silvio Savarese, Doyen Sahoo

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

[45] arXiv:2412.03612 (cross-list from cs.DB) [pdf, html, other]

Title: Chatting with Logs: An exploratory study on Finetuning LLMs for LogQL

Vishwanath Seshagiri, Siddharth Balyan, Vaastav Anand, Kaustubh Dhole, Ishan Sharma, Avani Wildani, José Cambronero, Andreas Züfle

Comments: draft under submission at another venue

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

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

Title: Flex Attention: A Programming Model for Generating Optimized Attention Kernels

Juechu Dong, Boyuan Feng, Driss Guessous, Yanbo Liang, Horace He

Subjects: Machine Learning (cs.LG); Performance (cs.PF); Programming Languages (cs.PL)

[47] arXiv:2412.05784 (cross-list from cs.AR) [pdf, html, other]

Title: ASC-Hook: fast and transparent system call hook for Arm

Yang Shen (National University of Defense Technology), Min Xie (National University of Defense Technology), Wenzhe Zhang (National University of Defense Technology), Tao Wu (Changsha University of Science and Technology)

Comments: 11 pages (including appendix), 6 figures, not yet published

Subjects: Hardware Architecture (cs.AR); Operating Systems (cs.OS); Performance (cs.PF); Programming Languages (cs.PL)

[48] arXiv:2412.06102 (cross-list from cs.DB) [pdf, html, other]

Title: Synthesizing Document Database Queries using Collection Abstractions

Qikang Liu, Yang He, Yanwen Cai, Byeongguk Kwak, Yuepeng Wang

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

[49] arXiv:2412.06754 (cross-list from cs.LO) [pdf, other]

Title: Probability and Angelic Nondeterminism with Multiset Semantics

Shawn Ong, Stephanie Ma, Dexter Kozen

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

[50] arXiv:2412.06874 (cross-list from cs.SE) [pdf, other]

Title: Real-Time Performance Optimization of Travel Reservation Systems Using AI and Microservices

Biman Barua, M. Shamim Kaiser

Comments: 19 pages, 12 figures

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Computation and Language (cs.CL); Programming Languages (cs.PL)