Programming Languages

Authors and titles for recent submissions

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

See today's new changes

Wed, 29 Jan 2025 (showing 2 of 2 entries )

[1] arXiv:2501.16977 [pdf, other]

Title: An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols

Felix Stutz, Emanuele D'Osualdo

Comments: 34 pages, 115 pages including appendix; to appear in ESOP 2025

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

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

Title: MCTS-SQL: An Effective Framework for Text-to-SQL with Monte Carlo Tree Search

Shuozhi Yuan, Liming Chen, Miaomiao Yuan, Jin Zhao, Haoran Peng, Wenming Guo

Comments: 8 pages, 5 figures

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Programming Languages (cs.PL)

Tue, 28 Jan 2025 (showing 5 of 5 entries )

[3] arXiv:2501.16310 [pdf, other]

Title: A Modular Program-Transformation Framework for Reducing Specifications to Reachability

Dirk Beyer, Marek Jankola, Marian Lingsch-Rosenfeld, Tian Xia, Xiyue Zheng

Subjects: Programming Languages (cs.PL)

[4] arXiv:2501.15104 [pdf, other]

Title: Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics

Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon Plotkin

Comments: to be published in the conference proceedings of Foundations of Software Science and Computation Structures (FoSSaCS) 2025

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

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

Title: Quantifier Elimination and Craig Interpolation: The Quantitative Way (Technical Report)

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

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

[6] 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)

[7] 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 )

[8] 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)

[9] arXiv:2501.14598 [pdf, other]

Title: Type-Based Approaches to Rounding Error Analysis

Ariel Eileen Kellison

Comments: PhD thesis. arXiv admin note: text overlap with arXiv:2501.14550

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

[10] 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)

[11] 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)

[12] 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)

[13] 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 )

[14] 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)

[15] 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)

[16] 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)

[17] 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 )

[18] 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)

[19] 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)

[20] 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)