Programming Languages

Authors and titles for August 2024

[1] arXiv:2408.01515 [pdf, other]

Title: From Program Logics to Language Logics

Matteo Cimini

Comments: This is a very close version of a paper under submission at SEFM 2024

Subjects: Programming Languages (cs.PL)

[2] arXiv:2408.02791 [pdf, other]

Title: Inferring Accumulative Effects of Higher Order Programs

Mihai Nicola, Chaitanya Agarwal, Eric Koskinen, Thomas Wies

Subjects: Programming Languages (cs.PL)

[3] arXiv:2408.03121 [pdf, other]

Title: Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages

Andrea Colledan, Ugo Dal Lago

Comments: 26 pages, 13 figures

Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[4] arXiv:2408.03170 [pdf, other]

Title: typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell

Nikolai Kudasov, Artem Starikov

Comments: miniKanren'24 camera-ready version

Subjects: Programming Languages (cs.PL)

[5] arXiv:2408.04040 [pdf, other]

Title: Synthesizing Abstract Transformers for Reduced-Product Domains

Pankaj Kumar Kalita, Thomas Reps, Subhajit Roy

Comments: 40 pages, 20 figures

Subjects: Programming Languages (cs.PL)

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

Title: Ownership in low-level intermediate representation

Siddharth Priya, Arie Gurfinkel

Comments: FMCAD 2024 conference

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

[7] arXiv:2408.04455 [pdf, other]

Title: Modelling Recursion and Probabilistic Choice in Guarded Type Theory

Philipp Jan Andries Stassen, Rasmus Ejlers Møgelberg, Maaike Zwart, Alejandro Aguirre, Lars Birkedal

Comments: 61 pages

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

[8] arXiv:2408.07652 [pdf, html, other]

Title: The Semantics of Metapropramming in Prolog

David S. Warren

Comments: 16 pages, 3 figures, appeared in the International Conference on Logic Programming 2024 (ICLP-2024)

Subjects: Programming Languages (cs.PL)

[9] arXiv:2408.07683 [pdf, html, other]

Title: Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions

Sam Estep

Subjects: Programming Languages (cs.PL)

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

Title: Portability of Fortran's `do concurrent' on GPUs

Ronald M. Caplan, Miko M. Stulajter, Jon A. Linker, Jeff Larkin, Henry A. Gabb, Shiquan Su, Ivan Rodriguez, Zachary Tschirhart, Nicholas Malaya

Comments: 9 pages, 7 figures

Subjects: Programming Languages (cs.PL); Solar and Stellar Astrophysics (astro-ph.SR); Computational Engineering, Finance, and Science (cs.CE); Mathematical Software (cs.MS); Performance (cs.PF)

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

Title: Modernizing SMT-Based Type Error Localization

Max Kopinsky, Brigitte Pientka, Xujie Si

Comments: 10 pages, 7 figures. About Tyro, available at this https URL. To be published in FMCAD 2024

Subjects: Programming Languages (cs.PL)

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

Title: Arithmetizing Shape Analysis

Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rümmer, Thomas Wies

Subjects: Programming Languages (cs.PL)

[13] arXiv:2408.09848 [pdf, other]

Title: Abstract Environment Trimming

Daniel Jurjo-Rivas, Jose F. Morales, Pedro López-García, Manuel V. Hermenegildo

Comments: 61 pages, 10 figures, 7 tables, submitted to ICLP 2024

Subjects: Programming Languages (cs.PL)

[14] arXiv:2408.10804 [pdf, html, other]

Title: Kotlin's Type System is (Also) Unsound

Elad Kinsbruner, Hila Peleg, Shachar Itzhaky

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

[15] arXiv:2408.11007 [pdf, other]

Title: Extending the Quantitative Pattern-Matching Paradigm

Sandra Alves, Delia Kesner, Miguel Ramos

Comments: APLAS 2024, full version (including complete proofs)

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

[16] arXiv:2408.11283 [pdf, other]

Title: Inference Plans for Hybrid Particle Filtering

Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin

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

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

Title: Cage: Hardware-Accelerated Safe WebAssembly

Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia

Subjects: Programming Languages (cs.PL)

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

Title: CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations

Aaron Jarmusch, Felipe Cabarcas, Swaroop Pophale, Andrew Kallai, Johannes Doerfert, Luke Peyralans, Seyong Lee, Joel Denny, Sunita Chandrasekaran

Subjects: Programming Languages (cs.PL)

[19] arXiv:2408.11954 [pdf, other]

Title: A type system for data flow and alias analysis in ReScript

Nicky Ask Lund, Hans Hüttel

Subjects: Programming Languages (cs.PL)

[20] arXiv:2408.12539 [pdf, other]

Title: LOUD: Synthesizing Strongest and Weakest Specifications

Kanghee Park, Xuanyu Peng, Loris D'Antoni

Subjects: Programming Languages (cs.PL)

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

Title: Which Part of the Heap is Useful? Improving Heap Liveness Analysis

Vini Kanvar, Uday P. Khedker

Subjects: Programming Languages (cs.PL)

[22] arXiv:2408.13779 [pdf, other]

Title: Concurrent Data Structures Made Easy (Extended Version)

Callista Le, Kiran Gopinathan, Koon Wen Lee, Seth Gilbert, Ilya Sergey

Comments: Extended version of the OOPSLA'24 paper

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

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

Title: Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)

Aaron Bembenek (University of Melbourne), Michael Greenberg (Stevens Institute of Technology), Stephen Chong (Harvard University)

Comments: Please cite the official PACMPL version of this article, available at this https URL. The second version fixes minor typos in the formalism of the first arXiv version; the third version clarifies some language discussing the results of the scaling experiments

Subjects: Programming Languages (cs.PL)

[24] arXiv:2408.14031 [pdf, other]

Title: Law and Order for Typestate with Borrowing

Hannes Saffrich, Yuki Nishida, Peter Thiemann

Subjects: Programming Languages (cs.PL)

[25] arXiv:2408.14175 [pdf, other]

Title: MetaFFI -- Multilingual Indirect Interoperability System

Tsvi Cherny-Shahar, Amiram Yehudai

Comments: 46 pages, 3 figures

Subjects: Programming Languages (cs.PL)

[26] arXiv:2408.14345 [pdf, other]

Title: Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir

Giuseppe Castagna, Guillaume Duboc

Subjects: Programming Languages (cs.PL)

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

Title: Mica: Automated Differential Testing for OCaml Modules

Ernest Ng, Harrison Goldstein, Benjamin C. Pierce

Comments: OCaml Workshop 2024

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

[28] arXiv:2408.14668 [pdf, other]

Title: Synthesizing Formal Semantics from Executable Interpreters

Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J.C. Johnson, Thomas Reps, Loris D'Antoni

Comments: Accepted at OOPSLA'24. Revised wording and added some references. Updated benchmark results in the appendix. Changed cite of paper "The SemGuS Toolkit" to the CAV'24 version. Revised comments

Subjects: Programming Languages (cs.PL)

[29] arXiv:2408.15429 [pdf, other]

Title: Generation of Compiler Backends from Formal Models of Hardware

Gus Henry Smith

Comments: PhD thesis

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

[30] arXiv:2408.15475 [pdf, other]

Title: Verifying Solutions to Semantics-Guided Synthesis Problems

Charlie Murphy, Keith Johnson, Thomas Reps, Loris D'Antoni

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

[31] arXiv:2408.15631 [pdf, other]

Title: Omega: The Power of Visual Simplicity

Benoit Sonntag (LSIIT), Dominique Colnet (KIWI)

Subjects: Programming Languages (cs.PL)

[32] arXiv:2408.15822 [pdf, other]

Title: Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics

Keith J. C. Johnson, Rahul Krishnan, Thomas Reps, Loris D'Antoni

Subjects: Programming Languages (cs.PL)

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

Title: Improving stableKanren's Backward Compatibility

Xiangyu Guo, Ajay Bansal

Comments: 7 pages, 2 figures, ICFP '24 The miniKanren and Relational Programming Workshop

Subjects: Programming Languages (cs.PL)

[34] arXiv:2408.16259 [pdf, other]

Title: Six Ways to Implement Divisibility by Three in miniKanren

Brett Schreiber, Brysen Pfingsten, Jason Hemann

Subjects: Programming Languages (cs.PL)

[35] arXiv:2408.16699 [pdf, html, other]

Title: To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision

Xiangyu Guo, Ajay Bansal

Comments: 16 pages, 3 figures, ICFP '24 The miniKanren and Relational Programming Workshop

Subjects: Programming Languages (cs.PL)

[36] arXiv:2408.16706 [pdf, html, other]

Title: Incremental Context-free Grammar Inference in Black Box Settings

Feifei Li, Xiao Chen, Xi Xiao, Xiaoyu Sun, Chuan Chen, Shaohua Wang, Jitao Han

Comments: Accepted by ASE'24

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

[37] arXiv:2408.17044 [pdf, html, other]

Title: Relational Reactive Programming: miniKanren for the Web

Evan Donahue

Comments: 20 pages, 4 figures

Subjects: Programming Languages (cs.PL)

[38] arXiv:2408.17138 [pdf, html, other]

Title: A Relational Solver for Constraint-based Type Inference

Eridan Domoratskiy, Dmitry Boulytchev

Subjects: Programming Languages (cs.PL)

[39] arXiv:2408.17208 [pdf, other]

Title: Extending the C/C++ Memory Model with Inline Assembly

Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis, Azalea Raad

Subjects: Programming Languages (cs.PL)

[40] arXiv:2408.17340 [pdf, other]

Title: On Computational Indistinguishability and Logical Relations

Ugo Dal Lago, Zeinab Galal, Giulia Giusti

Comments: APLAS 2024 conference

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

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

Title: Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling

Qunsheng Huang, David Winderl, Arianne Meijer-van de Griend, Richie Yeung

Comments: 11 pages + 2 pages references, 5 figures, 3 tables, ZX diagrams, IEEE QCE 2024 Conference paper

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

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

Title: Practical Attacks against Black-box Code Completion Engines

Slobodan Jenko, Jingxuan He, Niels Mündler, Mark Vero, Martin Vechev

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

[43] arXiv:2408.03408 (cross-list from cs.AR) [pdf, html, other]

Title: LLM-Aided Compilation for Tensor Accelerators

Charles Hong, Sahil Bhatia, Altan Haan, Shengjun Kris Dong, Dima Nikiforov, Alvin Cheung, Yakun Sophia Shao

Comments: 4 page workshop paper

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

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

Title: PolyHorn: A Polynomial Horn Clause Solver

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Đorđe Žikelić

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

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

Title: Combining Neural Architecture Search and Automatic Code Optimization: A Survey

Inas Bachiri, Hadjer Benmeziane, Smail Niar, Riyadh Baghdadi, Hamza Ouarnoughi, Abdelkrime Aries

Comments: version 0, 13 pages, 4 figures

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

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

Title: Enabling Communication via APIs for Mainframe Applications

Vini Kanvar, Srikanth Tamilselvam, Keerthi Narayan Raghunath

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

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

Title: Syntax-Guided Automated Program Repair for Hyperproperties

Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner

Comments: CAV 2024

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

[48] arXiv:2408.06478 (cross-list from cs.CR) [pdf, html, other]

Title: Theorem-Carrying-Transaction: Runtime Certification to Ensure Safety for Smart Contract Transactions

Nikolaj S. Bjørner (1), Ashley J. Chen (2), Shuo Chen (1), Yang Chen (1), Zhongxin Guo (1), Tzu-Han Hsu (3), Peng Liu (4), Nanqing Luo (4) ((1) Microsoft Research, (2) New York University Shanghai, (3) Michigan State University, (4) Pennsylvania State University)

Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)

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

Title: Catamorphic Abstractions for Constrained Horn Clause Satisfiability

Emanuele De Angelis (1), Fabio Fioravanti (2), Alberto Pettorossi (3), Maurizio Proietti (1) ((1) IASI-CNR, Rome, Italy, (2) DEc, University 'G. d'Annunzio', Chieti-Pescara, Italy, (3) DICII, University of Rome 'Tor Vergata', Italy)

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

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

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

Title: Multi-Pass Targeted Dynamic Symbolic Execution

Tuba Yavuz

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