Programming Languages

Authors and titles for November 2024

[1] arXiv:2411.00037 [pdf, other]

Title: Clean for Haskell Programmers

Mart Lubbers, Peter Achten

Comments: 5 pages

Subjects: Programming Languages (cs.PL)

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

Title: Visualizing the Evaluation of Functional Programs for Debugging

John Whitington, Tom Ridge

Comments: 8 pages, 1 figure. arXiv admin note: text overlap with arXiv:1905.06545

Subjects: Programming Languages (cs.PL)

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

Title: Debugging Functional Programs by Interpretation

John Whitington

Comments: 193 pages, PhD thesis, 85 figures

Subjects: Programming Languages (cs.PL)

[4] arXiv:2411.00752 [pdf, other]

Title: Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming

Junyoung Jang, Brigitte Pientka

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

[5] arXiv:2411.02716 [pdf, other]

Title: Derivative-Guided Symbolic Execution

Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan

Comments: To appear at POPL'25

Subjects: Programming Languages (cs.PL)

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

Title: LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles

Kai Zhu, Chenkai Guo, Kuihao Yan, Xiaoqi Jia, Haichao Du, Qingjia Huang, Yamin Xie, Jing Tang

Subjects: Programming Languages (cs.PL)

[7] arXiv:2411.04104 [pdf, other]

Title: Optimizing Quantum Circuits, Fast and Slow

Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi

Comments: ASPLOS 2025

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

[8] arXiv:2411.05722 [pdf, other]

Title: Characterizing Implementability of Global Protocols with Infinite States and Data

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

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

[9] arXiv:2411.06094 [pdf, other]

Title: Generically Automating Separation Logic by Functors, Homomorphisms and Modules

Qiyuan Xu, David Sanan, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu

Comments: Accepted by POPL'25

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

[10] arXiv:2411.06383 [pdf, html, other]

Title: Program Analysis via Multiple Context Free Language Reachability

Giovanna Kobus Conrado, Adam Husted Kjelstrøm, Andreas Pavlogiannis, Jaco van de Pol

Comments: Accepted at POPL 2024

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

[11] arXiv:2411.06416 [pdf, other]

Title: A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests

Lena Verscht, Benjamin Lucien Kaminski

Comments: This is the extended version of a publication at POPL 2025

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

[12] arXiv:2411.07211 [pdf, other]

Title: Exo 2: Growing a Scheduling Language

Yuka Ikarashi, Kevin Qian, Samir Droubi, Alex Reinking, Gilbert Bernstein, Jonathan Ragan-Kelley

Comments: To appear in ASPLOS 2025. The arXiv version contains full appendices

Subjects: Programming Languages (cs.PL)

[13] arXiv:2411.07215 [pdf, other]

Title: Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)

Yue Yao (1), Grant Iraci (2), Cheng-En Chuang (2), Stephanie Balzer (1), Lukasz Ziarek (2) ((1) Carnegie Mellon University, (2) University at Buffalo)

Subjects: Programming Languages (cs.PL)

[14] arXiv:2411.07443 [pdf, other]

Title: MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age

Roland Leißa, Marcel Ulrich, Joachim Meyer, Sebastian Hack

Comments: POPL'25

Subjects: Programming Languages (cs.PL)

[15] arXiv:2411.07452 [pdf, other]

Title: Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types

Thien Udomsrirungruang, Nobuko Yoshida

Comments: 65 pages, 13 figures. Full version of a paper to appear in POPL 2025

Subjects: Programming Languages (cs.PL)

[16] arXiv:2411.08274 [pdf, other]

Title: Flo: a Semantic Foundation for Progressive Stream Processing

Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein, Mae Milano

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

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

Title: Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study

Tsvi Cherny-Shahar, Amiram Yehudai

Comments: 26 pages, includes supplement

Subjects: Programming Languages (cs.PL)

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

Title: Advanced OOP and new syntax patterns for Javascript

Alessandro Rosa

Subjects: Programming Languages (cs.PL)

[19] arXiv:2411.09347 [pdf, other]

Title: The Denotational Semantics of SSA

Jad Elkhaleq Ghalayini, Neel Krishnaswami

Comments: 95 pages, 38 figures, mechanization available at this https URL

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

[20] arXiv:2411.09391 [pdf, other]

Title: An Optimizing Just-In-Time Compiler for Rotor

João H. Trindade, José C. Silva

Comments: First International Conference of Innovative Views of .NET Technologies, June 2005

Journal-ref: TProceedings of the First International Conference of Innovative Views of .NET Technologies, 107-121. Porto, Portugal. ISBN 972-8688-31-8 (2005)

Subjects: Programming Languages (cs.PL)

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

Title: Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops

Fabian Zaiser, Andrzej S. Murawski, C.-H. Luke Ong

Comments: Full version of the POPL 2025 article, including proofs and other supplementary material

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

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

Title: Partial Evaluation, Whole-Program Compilation

Chris Fallin, Maxwell Bernstein

Subjects: Programming Languages (cs.PL)

[23] arXiv:2411.10659 [pdf, html, other]

Title: Spineless Traversal for Layout Invalidation

Marisa Kirisame, Tiezhi Wang, Pavel Panchekha

Subjects: Programming Languages (cs.PL)

[24] arXiv:2411.10835 [pdf, other]

Title: Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime

Kengo Hirata, Chris Heunen

Comments: 59 pages

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

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

Title: Scaling Program Synthesis Based Technology Mapping with Equality Saturation

Gus Henry Smith, Colin Knizek, Daniel Petrisko, Zachary Tatlock, Jonathan Balkind, Gilbert Louis Bernstein, Haobin Ni, Chandrakana Nandi

Comments: Workshop on Open-Source EDA Technology (WOSET) 2024

Subjects: Programming Languages (cs.PL); Hardware Architecture (cs.AR)