Programming Languages

Authors and titles for recent submissions

• Tue, 28 Jan 2025
• Mon, 27 Jan 2025
• Fri, 24 Jan 2025
• Thu, 23 Jan 2025
• Wed, 22 Jan 2025

See today's new changes

Tue, 28 Jan 2025 (continued, showing last 2 of 5 entries )

[4] arXiv:2501.15002 (cross-list from cs.CR) [pdf, html, other]

Title: A Proof-Producing Compiler for Blockchain Applications

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[5] arXiv:2501.14776 (cross-list from cs.CY) [pdf, html, other]

Title: Green AI: Which Programming Language Consumes the Most?

Niccolò Marini, Leonardo Pampaloni, Filippo Di Martino, Roberto Verdecchia, Enrico Vicario

Comments: Accepted at International Workshop on Green and Sustainable Software (GREENS), 2025

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

Mon, 27 Jan 2025 (showing 6 of 6 entries )

[6] arXiv:2501.14702 [pdf, other]

Title: Multiparty Session Types with a Bang!

Matthew Alan Le Brun, Simon Fowler, Ornela Dardha

Subjects: Programming Languages (cs.PL)

[7] arXiv:2501.14598 [pdf, other]

Title: Type-Based Approaches to Rounding Error Analysis

Ariel Eileen Kellison

Comments: PhD thesis

Subjects: Programming Languages (cs.PL); Numerical Analysis (math.NA)

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

Title: Bean: A Language for Backward Error Analysis

Ariel E. Kellison, Laura Zielinski, David Bindel, Justin Hsu

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Numerical Analysis (math.NA)

[9] arXiv:2501.14438 [pdf, html, other]

Title: Data-efficient Performance Modeling via Pre-training

Chunting Liu, Riyadh Baghdadi

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

[10] arXiv:2501.14421 [pdf, other]

Title: Reasoning about Weak Isolation Levels in Separation Logic

Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet, Amin Timany, Lars Birkedal

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

[11] arXiv:2501.14555 (cross-list from cs.CR) [pdf, html, other]

Title: Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach

Fang Li, Fei Zuo, Gopal Gupta

Comments: The 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025)

Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)

Fri, 24 Jan 2025 (showing 4 of 4 entries )

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

Title: SMILES has to go : Representation of Molecules via Algebraic Data Types

Oliver Goldstein

Comments: 3 Figures

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

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

Title: Corecursive Coding of High Computational Derivatives and Power Series

Jerzy Karczmarczuk

Comments: 22 pages, 2 figures. Category: cs.PL

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

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

Title: Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)

Marcos Grandury, Aleksandar Nanevski, Alexander Gryzlov

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

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

Title: ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language

Austin J. Adams, Sharjeel Khan, Arjun S. Bhamra, Ryan R. Abusaada, Anthony M. Cabrera, Cameron C. Hoechst, Travis S. Humble, Jeffrey S. Young, Thomas M. Conte

Comments: 20 pages, 14 figures. To appear in CGO '25

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

Thu, 23 Jan 2025 (showing 3 of 3 entries )

[16] arXiv:2501.12702 [pdf, html, other]

Title: Paradigm-Based Automatic HDL Code Generation Using LLMs

Wenhao Sun, Bing Li, Grace Li Zhang, Xunzhao Yin, Cheng Zhuo, Ulf Schlichtmann

Comments: accepted by ISQED2025. arXiv admin note: text overlap with arXiv:2407.18326

Subjects: Programming Languages (cs.PL)

[17] arXiv:2501.12618 [pdf, html, other]

Title: Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM

Ao Li, Byeongjee Kang, Vasudev Vikram, Isabella Laybourn, Samvid Dharanikota, Shrey Tiwari, Rohan Padhye

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

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

Title: Constructive characterisations of the must-preorder for asynchrony

Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Léo Stefanesco

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

Wed, 22 Jan 2025 (showing 9 of 9 entries )

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

Title: Correctness Witnesses with Function Contracts

Matthias Heizmann, Dominik Klumpp, Marian Lingsch-Rosenfeld, Frank Schüssele

Comments: 9 pages, 3 figures, 1 table

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

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

Title: MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps

Zhiyao Ma, Caihua Li, Lin Zhong

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

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

Title: Checkification: A Practical Approach for Testing Static Analysis Truths

Daniela Ferreiro, Ignacio Casso, Jose F. Morales, Pedro López-García, Manuel V. Hermenegildo

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP). Extended, revised version of our work published in LOPSTR (Casso et al. 2021)

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

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

Title: Conversation Routines: A Prompt Engineering Framework for Task-Oriented Dialog Systems

Giorgio Robino

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Emerging Technologies (cs.ET); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL)

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

Title: FLAT: Formal Languages as Types

Fengmin Zhu, Andreas Zeller

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

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

Title: Constant Optimization Driven Database System Testing

Chi Zhang, Manuel Rigger

Journal-ref: Proc. ACM Manag. Data 3, 1 (SIGMOD), Article 24 (February 2025), 24 pages

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

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

Title: ScaMaha: A Tool for Parsing, Analyzing, and Visualizing Object-Oriented Software Systems

Ra'Fat Al-Msie'deen

Comments: 20 pages, 16 figures, 3 tables, 8 listings, and 90 references

Journal-ref: International Journal of Computing and Digital Systems, vol. 17, no. 1, pp. 1-20, 2025

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

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

Title: Logical Relations for Formally Verified Authenticated Data Structures

Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti

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

[27] arXiv:2501.10560 (cross-list from cs.CR) [pdf, other]

Title: Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics

Haobin Hiroki Chen, Hongbo Chen, Mingshen Sun, Chenghong Wang, XiaoFeng Wang

Subjects: Cryptography and Security (cs.CR); Databases (cs.DB); Programming Languages (cs.PL)