Programming Languages

Authors and titles for July 2024

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

Title: Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents

Mark Marron

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

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

Title: Macaw: A Machine Code Toolbox for the Busy Binary Analyst

Ryan G. Scott, Brett Boston, Benjamin Davis, Iavor Diatchki, Mike Dodds, Joe Hendrix, Daniel Matichuk, Kevin Quick, Tristan Ravitch, Valentin Robert, Benjamin Selfridge, Andrei Stefănescu, Daniel Wagner, Simon Winwood

Subjects: Programming Languages (cs.PL)

[13] arXiv:2407.06473 [pdf, other]

Title: Type Universes as Allocation Effects

Paulette Koronkevich, William J. Bowman

Comments: Submitted to ESOP 2025

Subjects: Programming Languages (cs.PL)

[14] arXiv:2407.06509 [pdf, other]

Title: Toward Verified Library-Level Choreographic Programming with Algebraic Effects

Gan Shen, Lindsey Kuper

Comments: Talk proposal for Choreographic Programming 2024

Subjects: Programming Languages (cs.PL)

[15] arXiv:2407.06738 [pdf, other]

Title: Failure Transparency in Stateful Dataflow Systems (Technical Report)

Aleksey Veresov (1), Jonas Spenger (1), Paris Carbone (1 and 2), Philipp Haller (1) ((1) KTH Royal Institute of Technology, (2) RISE Research Institutes of Sweden)

Comments: 26 pages, 12 figures, 44 pages including references and appendix with proofs, technical report, ECOOP 2024; updated with DOI

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

[16] arXiv:2407.06747 [pdf, other]

Title: Towards Algebraic Subtyping for Extensible Records

Rodrigo Marques, Mário Florido, Pedro Vasconcelos

Subjects: Programming Languages (cs.PL)

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

Title: Meerkat: A Distributed Reactive Programming Language with Live Updates

Heng Zhong, Anrui Liu

Subjects: Programming Languages (cs.PL)

[18] arXiv:2407.06924 [pdf, html, other]

Title: foetus -- Termination Checker for Simple Functional Programs

Andreas Abel

Comments: 25 pages

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

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

Title: A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses

Alina Torbunova, Adnan Ashraf, Ivan Porres

Comments: 22 pages

Subjects: Programming Languages (cs.PL)

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

Title: Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)

Cormac Flanagan, Stephen N. Freund

Comments: To appear in ECOOP 2024

Subjects: Programming Languages (cs.PL)

[21] arXiv:2407.08089 [pdf, other]

Title: Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language

Abdelrahman Abounegm (Innopolis University), Nikolai Kudasov (Innopolis University), Alexey Stepanov (Innopolis University)

Comments: In Proceedings TFPIE 2024, arXiv:2407.06355

Journal-ref: EPTCS 405, 2024, pp. 1-19

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

[22] arXiv:2407.08090 [pdf, other]

Title: Functional Programming in Learning Electromagnetic Theory

Scott N. Walck (Lebanon Valley College)

Comments: In Proceedings TFPIE 2024, arXiv:2407.06355

Journal-ref: EPTCS 405, 2024, pp. 20-35

Subjects: Programming Languages (cs.PL)

[23] arXiv:2407.08091 [pdf, other]

Title: Programming Language Case Studies Can Be Deep

Rose Bohrer (Worcester Polytechnic Institute)

Comments: In Proceedings TFPIE 2024, arXiv:2407.06355

Journal-ref: EPTCS 405, 2024, pp. 56-79

Subjects: Programming Languages (cs.PL)

[24] arXiv:2407.09106 [pdf, other]

Title: Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation

Vassor Martin, Yoshida Nobuko

Comments: 25 pages + 3 pages of references + 18 pages of appendix

Subjects: Programming Languages (cs.PL)

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

Title: Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)

David Young, Ziyi Yang, Ilya Sergey, Alex Potanin

Subjects: Programming Languages (cs.PL)

[26] arXiv:2407.09320 [pdf, other]

Title: Defining Name Accessibility using Scope Graphs (Extended Edition)

Aron Zwaan, Casper Bach Poulsen

Subjects: Programming Languages (cs.PL)

[27] arXiv:2407.10424 [pdf, html, other]

Title: CodeV: Empowering LLMs for Verilog Generation through Multi-Level Summarization

Yang Zhao, Di Huang, Chongxiao Li, Pengwei Jin, Ziyuan Nan, Tianyun Ma, Lei Qi, Yansong Pan, Zhenxing Zhang, Rui Zhang, Xishan Zhang, Zidong Du, Qi Guo, Xing Hu, Yunji Chen

Comments: 16 pages, 8 figures, conference

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

[28] arXiv:2407.10838 [pdf, other]

Title: Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimović, Philippa Gardner

Journal-ref: ECOOP 2024

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

[29] arXiv:2407.11661 [pdf, other]

Title: Challenges of Multilingual Program Specification and Analysis

Carlo A. Furia, Abhishek Tiwari

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

[30] arXiv:2407.11816 [pdf, other]

Title: Modal Effect Types

Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen

Subjects: Programming Languages (cs.PL)

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

Title: Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus

Pedro Vasconcelos, Rodrigo Marques

Subjects: Programming Languages (cs.PL)

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

Title: Easing Maintenance of Academic Static Analyzers

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

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

[33] arXiv:2407.12726 [pdf, html, other]

Title: Type-level Property Based Testing

Thomas Ekström Hansen, Edwin Brady

Comments: Accepted for the Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe '24), September 6, 2024, Milan, Italy

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

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

Title: Unsafe Impedance: Safe Languages and Safe by Design Software

Lee Barney, Adolfo Neto

Comments: Accepted for Erlang Workshop 2024

Subjects: Programming Languages (cs.PL)

[35] arXiv:2407.13585 [pdf, other]

Title: Fusing Gathers with Integer Linear Programming

David van Balen, Gabriele Keller, Ivo Gabede Wolff, Trevor L. McDonell

Comments: 12 pages, 6 figures, submitted to FProPer '24

Subjects: Programming Languages (cs.PL)