Programming Languages

Authors and titles for February 2024

[1] arXiv:2402.00986 [pdf, html, other]

Title: The Parallel Semantics Program Dependence Graph

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, other]

Title: Compositional Expected Cost Analysis of Functional Probabilistic Programs

Pedro H. Azevedo de Amorim

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

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

Title: Scoped Effects as Parameterized Algebraic Theories

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

Comments: Extended version of the ESOP 2024 paper with the same title

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

[4] arXiv:2402.04811 [pdf, html, other]

Title: Accurate Coverage Metrics for Compiler-Generated Debugging Information

J. Ryan Stinnett, Stephen Kell

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

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

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

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, other]

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

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

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

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, html, other]

Title: A Cartesian Closed Category for Random Variables

Pietro Di Gianantonio, Abbas Edalat

Comments: 15 pages

Subjects: Programming Languages (cs.PL)

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

Title: Solving Data-centric Tasks using Large Language Models

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, other]

Title: Weak-Linear Types

Hector Gramaglia

Subjects: Programming Languages (cs.PL)

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

Title: LTL learning on GPUs

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

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, html, other]

Title: Inferring Non-Failure Conditions for Declarative Programs

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, other]

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

Jessie Galasso-Carbonnel, Chico Sundermann

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

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

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

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

Subjects: Programming Languages (cs.PL)

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

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

Hector Gramaglia

Subjects: Programming Languages (cs.PL)

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

Title: Less is More Revisited

Nobuko Yoshida, Ping Hou

Subjects: Programming Languages (cs.PL)

[19] arXiv:2402.17743 [pdf, other]

Title: Rose: Composable Autodiff for the Interactive Web

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, html, other]

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

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

Comments: 10 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, other]

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

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, html, other]

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

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, html, other]

Title: Towards AI-Assisted Synthesis of Verified Dafny Methods

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, html, other]

Title: Bialgebraic Reasoning on Higher-Order Program Equivalence

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, html, other]

Title: Adjoint Natural Deduction (Extended Version)

Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka

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

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

Title: Learning Structure-Aware Representations of Dependent Types

Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy

Comments: NeurIPS 2024

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

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

Title: Object Graph Programming

Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach, Milos Gligoric

Comments: 13 pages, ICSE 2024

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

[28] arXiv:2402.03375 (cross-list from cs.AI) [pdf, html, other]

Title: BetterV: Controlled Verilog Generation with Discriminative Guidance

Zehua Pei, Hui-Ling Zhen, Mingxuan Yuan, Yu Huang, Bei Yu

Comments: Accepted by ICML 2024

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

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

Title: Redex -> Coq: towards a theory of decidability of Redex's reduction semantics

Mallku Soldevila, Rodrigo Ribeiro, Beta Ziliani

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

[30] arXiv:2402.04975 (cross-list from cs.HC) [pdf, other]

Title: ChatScratch: An AI-Augmented System Toward Autonomous Visual Programming Learning for Children Aged 6-12

Liuqing Chen, Shuhong Xiao, Yunnong Chen, Ruoyu Wu, Yaxuan Song, Lingyun Sun

Comments: 29 pages, 7 figures, accepted by CHI 2024

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

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

Title: Do Large Code Models Understand Programming Concepts? A Black-box Approach

Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha

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

[32] arXiv:2402.06384 (cross-list from cs.DC) [pdf, other]

Title: pSTL-Bench: A Micro-Benchmark Suite for Assessing Scalability of C++ Parallel STL Implementations

Ruben Laso, Diego Krupitza, Sascha Hunold

Comments: 15 pages, 24 figures, 4 tables

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

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

Title: Neural Models for Source Code Synthesis and Completion

Mitodru Niyogi

Comments: Master thesis submitted to University of Heidelberg, Germany on 30th July, 2021

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

[34] arXiv:2402.06990 (cross-list from cs.LG) [pdf, html, other]

Title: Guided Sketch-Based Program Induction by Search Gradients

Ahmad Ayaz Amin

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

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

Title: On the Effectiveness of Machine Learning-based Call Graph Pruning: An Empirical Study

Amir M. Mir, Mehdi Keshani, Sebastian Proksch

Comments: Accepted at the technical track of MSR'24

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

[36] arXiv:2402.07520 (cross-list from cs.DC) [pdf, other]

Title: Fortran... ok, and what's next?

Vincent Magnin (OPTO - IEMN, IEMN), José Alves, Antoine Arnoud, Arjen Markus, Michele Esposito Marzino

Comments: This article is the official English translation of the French article published in Bulletin de la Soci{é}t{é} Informatique de France (November 2023)

Journal-ref: Bulletin de la Soci{\'e}t{\'e} Informatique de France, 2023, 22, pp.143-161

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

[37] arXiv:2402.08073 (cross-list from cs.LG) [pdf, html, other]

Title: Grounding Data Science Code Generation with Input-Output Specifications

Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, Alex Polozov

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

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

Title: VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search

David Brandfonbrener, Simon Henniger, Sibi Raja, Tarun Prasad, Chloe Loughridge, Federico Cassano, Sabrina Ruixin Hu, Jianang Yang, William E. Byrd, Robert Zinkov, Nada Amin

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[39] arXiv:2402.08957 (cross-list from cs.AI) [pdf, html, other]

Title: MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang

Journal-ref: ICLR 2024 spotlight

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Programming Languages (cs.PL)

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

Title: CodeMind: A Framework to Challenge Large Language Models for Code Reasoning

Changshu Liu, Shizhuo Dylan Zhang, Ali Reza Ibrahimzada, Reyhaneh Jabbarvand

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

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

Title: Quantum Backtracking in Qrisp Applied to Sudoku Problems

Raphael Seidel, René Zander, Matic Petrič, Niklas Steinmann, David Q. Liu, Nikolay Tcholtchev, Manfred Hauswirth

Subjects: Quantum Physics (quant-ph); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL)

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

Title: Language-Driven Engineering An Interdisciplinary Software Development Paradigm

Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff

Comments: 43 pages, 30 figures

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

[43] arXiv:2402.11650 (cross-list from cs.LG) [pdf, other]

Title: Theoretical foundations for programmatic reinforcement learning

Guruprerana Shabadi, Nathanaël Fijalkow, Théo Matricon

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

[44] arXiv:2402.11755 (cross-list from cs.LG) [pdf, other]

Title: SPML: A DSL for Defending Language Models Against Prompt Attacks

Reshabh K Sharma, Vinayak Gupta, Dan Grossman

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Cryptography and Security (cs.CR); Programming Languages (cs.PL)

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

Title: DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models

Berkay Berabi, Alexey Gronskiy, Veselin Raychev, Gishor Sivanrupan, Victor Chibotaru, Martin Vechev

Comments: 26 pages, 13 figures (v2, small fix in author affiliations)

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

[46] arXiv:2402.13469 (cross-list from quant-ph) [pdf, other]

Title: The Quantum Abstract Machine

Liyi Li, Le Chang, Rance Cleaveland, Mingwei Zhu, Xiaodi Wu

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

[47] arXiv:2402.13828 (cross-list from cs.NE) [pdf, html, other]

Title: Origami: (un)folding the abstraction of recursion schemes for program synthesis

Matheus Campos Fernandes, Fabricio Olivetti de Franca, Emilio Francesquini

Subjects: Neural and Evolutionary Computing (cs.NE); Programming Languages (cs.PL)

[48] arXiv:2402.15729 (cross-list from cs.AI) [pdf, other]

Title: How Do Humans Write Code? Large Models Do It the Same Way Too

Long Li, Xuzheng He, Haozhe Wang, Linlin Wang, Liang He

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

[49] arXiv:2402.15827 (cross-list from quant-ph) [pdf, other]

Title: Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs

Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li

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

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

Title: Advancing BDD Software Testing: Dynamic Scenario Re-Usability And Step Auto-Complete For Cucumber Framework

A. H. Mughal

Comments: 15 pages, 1 figure, multiple code segments

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Programming Languages (cs.PL)