Programming Languages

Authors and titles for cs.PL in Feb 2024

[1]  arXiv:2402.00986 [pdf, other]

Title: The Parallel Semantics Program Dependence Graph

Authors: Brian Homerding, Atmn Patel, Enrico Armenio Deiana, Yian Su, Zujun Tan, Ziyang Xu, Bhargav Reddy Godala, David I. August, Simone Campanoni

Subjects: Programming Languages (cs.PL)

[2]  arXiv:2402.01009 [pdf, ps, other]

Title: Compositional Expected Cost Analysis of Functional Probabilistic Programs

Authors: Pedro H. Azevedo de Amorim

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

[3]  arXiv:2402.03103 [pdf, ps, other]

Title: Scoped Effects as Parameterized Algebraic Theories

Authors: Sam Lindley, Cristina Matache, Sean Moss, Sam Staton, Nicolas Wu, Zhixuan Yang

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Category Theory (math.CT)

[4]  arXiv:2402.04811 [pdf, other]

Title: Accurate Coverage Metrics for Compiler-Generated Debugging Information

Authors: J. Ryan Stinnett, Stephen Kell

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

[5]  arXiv:2402.06988 [pdf, ps, other]

Title: Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses (full version)

Authors: Thien Udomsrirungruang, Nobuko Yoshida

Comments: 14 pages, 5 figures. Full version of a paper submitted to PLACES 2024

Subjects: Programming Languages (cs.PL)

[6]  arXiv:2402.08334 [pdf, ps, other]

Title: An Executable Specification of Oncology Dose-Escalation Protocols with Prolog

Authors: David C. Norris, Markus Triska

Comments: 17 pages, 2 figures, 1 appendix

Subjects: Programming Languages (cs.PL)

[7]  arXiv:2402.09087 [pdf, other]

Title: The Vienna Architecture Description Language

Authors: Simon Himmelbauer, Christoph Hochrainer, Benedikt Huber, Niklas Mischkulnig, Philipp Paulweber, Tobias Schwarzinger, Andreas Krall

Subjects: Programming Languages (cs.PL)

[8]  arXiv:2402.10754 [pdf, other]

Title: When Dataflow Analysis Meets Large Language Models

Authors: Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang

Comments: 15 pages, 16 figures, 5 tables

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

[9]  arXiv:2402.11727 [pdf, other]

Title: A Cartesian Closed Category for Random Variables

Authors: Pietro Di Gianantonio, Abbas Edalat

Comments: 15 pages

Subjects: Programming Languages (cs.PL)

[10]  arXiv:2402.11734 [pdf, other]

Title: Solving Data-centric Tasks using Large Language Models

Authors: Shraddha Barke, Christian Poelitz, Carina Suzana Negreanu, Benjamin Zorn, José Cambronero, Andrew D. Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams

Comments: Paper accepted to NAACL 2024 (Findings)

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

[11]  arXiv:2402.12108 [pdf, ps, other]

Title: Weak-Linear Types

Authors: Hector Gramaglia

Subjects: Programming Languages (cs.PL)

[12]  arXiv:2402.12373 [pdf, other]

Title: LTL learning on GPUs

Authors: Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger

Comments: 27 pages

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

[13]  arXiv:2402.12637 [pdf, other]

Title: Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

Authors: Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser

Comments: Technical report version

Journal-ref: Proc. ACM Program. Lang. 7, OOPSLA2, Article 237 (October 2023), 29 pages

Subjects: Programming Languages (cs.PL); Human-Computer Interaction (cs.HC)

[14]  arXiv:2402.12960 [pdf, ps, other]

Title: Inferring Non-Failure Conditions for Declarative Programs

Authors: Michael Hanus

Comments: Extended version of a paper presented at the 17th International Symposium on Functional and Logic Programming (FLOPS 2024)

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

[15]  arXiv:2402.15511 [pdf, ps, other]

Title: Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)

Authors: Jessie Galasso-Carbonnel, Chico Sundermann

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

[16]  arXiv:2402.15674 [pdf, other]

Title: Formally Verified C Code Generation from Hybrid Communicating Sequential Processes

Authors: Shuling Wang, Zekun Ji, Bohua Zhan, Xiong Xu, Qiang Gao, Naijun Zhan

Subjects: Programming Languages (cs.PL)

[17]  arXiv:2402.16534 [pdf, ps, other]

Title: Weak-linearity, globality and in-place update

Authors: Hector Gramaglia

Subjects: Programming Languages (cs.PL)

[18]  arXiv:2402.16741 [pdf, other]

Title: Less is More Revisited

Authors: Nobuko Yoshida, Ping Hou

Subjects: Programming Languages (cs.PL)

[19]  arXiv:2402.17743 [pdf, other]

Title: Rose: Composable Autodiff for the Interactive Web

Authors: Sam Estep (Carnegie Mellon University), Wode Ni (Carnegie Mellon University), Raven Rothkopf (Barnard College, Columbia University), Joshua Sunshine (Carnegie Mellon University)

Subjects: Programming Languages (cs.PL)

[20]  arXiv:2402.17988 [pdf, other]

Title: Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars

Authors: Daniel Melcer, Nathan Fulton, Sanjay Krishna Gouda, Haifeng Qian

Comments: 20 pages, Code available at this https URL

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

[21]  arXiv:2402.19012 [pdf, ps, other]

Title: Algorithmically Expressive, Always-Terminating Model for Reversible Computation

Authors: Matteo Palazzo (1), Luca Roversi (1) ((1) Università di Torino)

Comments: 16 pages, 4 figures, 2 listings

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

[22]  arXiv:2402.19184 [pdf, other]

Title: Data Transfer Optimizations for Host-CPU and Accelerators in AXI4MLIR

Authors: Jude Haris, Nicolas Bohm Agostini, Antonino Tumeo, David Kaeli, José Cano

Subjects: Programming Languages (cs.PL)

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

Title: Towards AI-Assisted Synthesis of Verified Dafny Methods

Authors: Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble

Comments: This is an author provided preprint. The final version will be published at Proc. ACM Softw. Eng; FSE 2024, in July 2024

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

[24]  arXiv:2402.00625 (cross-list from cs.LO) [pdf, ps, other]

Title: Bialgebraic Reasoning on Higher-Order Program Equivalence

Authors: Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat

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

[25]  arXiv:2402.01428 (cross-list from cs.LO) [pdf, ps, other]

Title: Adjoint Natural Deduction (Extended Version)

Authors: Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka

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