Programming Languages

Authors and titles for cs.PL in Mar 2024

[1]  arXiv:2403.01335 [pdf, other]

Title: Making Hybrid Languages: A Recipe

Authors: Leif Andersen, Cameron Moy, Stephen Chang, Matthias Felleisen

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

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

Title: Circular Programs and Self-Referential Structures

Authors: Lloyd Allison

Journal-ref: Software Practice and Experience, 19(2), 99-109, 1989

Subjects: Programming Languages (cs.PL)

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

Title: LiveRec: Prototyping Probes by Framing Debug Protocols

Authors: Jean-Baptiste Döderlein (ENS Rennes, France), Riemer van Rozen (CWI, Netherlands), Tijs van der Storm (CWI, Netherlands / University of Groningen, Netherlands)

Journal-ref: The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 16

Subjects: Programming Languages (cs.PL)

[4]  arXiv:2403.02183 [pdf, ps, other]

Title: Collective Allocator Abstraction to Control Object Spatial Locality in C++

Authors: Takato Hideshima (University of Tokyo, Japan), Shigeyuki Sato (University of Electro-Communications, Japan), Tomoharu Ugawa (University of Tokyo, Japan)

Journal-ref: The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 15

Subjects: Programming Languages (cs.PL)

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

Title: Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors

Authors: Marina Shimchenko (Uppsala University, Sweden), Erik Österlund (Oracle, Sweden), Tobias Wrigstad (Uppsala University, Sweden)

Journal-ref: The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 10

Subjects: Programming Languages (cs.PL)

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

Title: Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs

Authors: Jack Liell-Cock (University of Oxford, United Kingdom), Tom Schrijvers (KU Leuven, Belgium)

Journal-ref: The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 9

Subjects: Programming Languages (cs.PL)

[7]  arXiv:2403.02296 [pdf, ps, other]

Title: Reactive Programming without Functions

Authors: Bjarno Oeyen (Vrije Universiteit Brussel, Belgium), Joeri De Koster (Vrije Universiteit Brussel, Belgium), Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium)

Journal-ref: The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 11

Subjects: Programming Languages (cs.PL)

[8]  arXiv:2403.02409 [pdf, ps, other]

Title: Privacy-Respecting Type Error Telemetry at Scale

Authors: Ben Greenman (Brown University, USA / University of Utah, USA), Alan Jeffrey (Roblox, USA), Shriram Krishnamurthi (Brown University, USA), Mitesh Shah (Roblox, USA)

Journal-ref: The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 12

Subjects: Programming Languages (cs.PL)

[9]  arXiv:2403.02416 [pdf, ps, other]

Title: Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM

Authors: Beatrice Åkerblom (Stockholm University, Sweden), Elias Castegren (Uppsala University, Sweden)

Journal-ref: The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 14

Subjects: Programming Languages (cs.PL)

[10]  arXiv:2403.02420 [pdf, other]

Title: Dr Wenowdis: Specializing dynamic language C extensions using type information

Authors: Maxwell Bernstein, CF Bolz-Tereick

Subjects: Programming Languages (cs.PL)

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

Title: Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment

Authors: Patrick Rein (Hasso Plattner Institute - University of Potsdam, Germany), Christian Flach (Hasso Plattner Institute - University of Potsdam, Germany), Stefan Ramson (Hasso Plattner Institute - University of Potsdam, Germany), Eva Krebs (Hasso Plattner Institute - University of Potsdam, Germany), Robert Hirschfeld (Hasso Plattner Institute - University of Potsdam, Germany)

Journal-ref: The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 13

Subjects: Programming Languages (cs.PL)

[12]  arXiv:2403.02778 [pdf, other]

Title: Abstracting Denotational Interpreters

Authors: Sebastian Graf, Simon Peyton Jones, Sven Keidel

Comments: Preprint; submitted to ICFP'24

Subjects: Programming Languages (cs.PL)

[13]  arXiv:2403.03035 [pdf, other]

Title: Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems

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

Subjects: Programming Languages (cs.PL)

[14]  arXiv:2403.03193 [pdf, other]

Title: VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints

Authors: Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang

Comments: OOPSLA 2024

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

[15]  arXiv:2403.03429 [pdf, other]

Title: Generative Explanations for Program Synthesizers

Authors: Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman

Subjects: Programming Languages (cs.PL)

[16]  arXiv:2403.04403 [pdf, other]

Title: Conjugate operators for transparent, explorable research outputs

Authors: Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera

Subjects: Programming Languages (cs.PL)

[17]  arXiv:2403.04618 [pdf, other]

Title: Strong Priority and Determinacy in Timed CCS

Authors: Luigi Liquori, Michael Mendler

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

[18]  arXiv:2403.04633 [pdf, other]

Title: Message-Observing Sessions

Authors: Ryan Kavanagh, Brigitte Pientka

Subjects: Programming Languages (cs.PL)

[19]  arXiv:2403.04651 [pdf, other]

Title: Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)

Authors: Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

Subjects: Programming Languages (cs.PL)

[20]  arXiv:2403.05286 [pdf, other]

Title: LLM4Decompile: Decompiling Binary Code with Large Language Models

Authors: Hanzhuo Tan, Qi Luo, Jing Li, Yuqun Zhang

Comments: on going

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

[21]  arXiv:2403.05302 [pdf, other]

Title: Modeling Dynamic (De)Allocations of Local Memory for Translation Validation

Authors: Abhishek Rose, Sorav Bansal

Subjects: Programming Languages (cs.PL)

[22]  arXiv:2403.05334 [pdf, other]

Title: WatChat: Explaining perplexing programs by debugging mental models

Authors: Kartik Chandra, Tzu-Mao Li, Rachit Nigam, Joshua Tenenbaum, Jonathan Ragan-Kelley

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

[23]  arXiv:2403.05386 [pdf, other]

Title: Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs

Authors: Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Đorđe Žikelić

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

[24]  arXiv:2403.05417 [pdf, ps, other]

Title: We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values

Authors: Mako Bates, Joseph P. Near

Comments: Submitted to ICFP 2024

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

[25]  arXiv:2403.06503 [pdf, other]

Title: Automatic Generation of Python Programs Using Context-Free Grammars

Authors: Kamel Yamani, Marwa Naïr, Riyadh Baghdadi

Comments: This work was presented at the 2nd Languages, Architectures, and Tools for Heterogeneous Computing (LATHC) Workshop 2024, organized in conjunction with the IEEE/ACM International Symposium on Code Generation and Optimization (CGO)

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

[26]  arXiv:2403.06527 [pdf, other]

Title: Towards Fixed-Point Formats Determination for Faust Programs

Authors: Agathe Herrou (GRAME), Florent de Dinechin (INSA Lyon), Stéphane Letz (GRAME), Yann Orlarey, Anastasia Volkova

Journal-ref: Journ{\'e}es d'Informatique Musicale 2024, May 2024, Marseille, France

Subjects: Programming Languages (cs.PL)

[27]  arXiv:2403.06695 [pdf, other]

Title: A Minority of C++ Objects Account for the Majority of Allocation CPU Time

Authors: Eugene Darashkevich, Roman Rusyaev, Roman Korostinskiy, Yegor Bugayenko

Subjects: Programming Languages (cs.PL)

[28]  arXiv:2403.06707 [pdf, ps, other]

Title: Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices

Authors: David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann

Comments: This extended version contains additional appendices not contained in the published version. The published version will be available in the ACM DL as part of the PACMPL issue for OOPSLA 2024

Subjects: Programming Languages (cs.PL)

[29]  arXiv:2403.07973 [pdf, other]

Title: Flexible Non-intrusive Dynamic Instrumentation for WebAssembly

Authors: Ben L. Titzer, Elizabeth Gilbert, Bradley Wei Jie Teo, Yash Anand, Kazuyuki Takayama, Heather Miller

Subjects: Programming Languages (cs.PL)

[30]  arXiv:2403.08056 [pdf, other]

Title: Improving Memory Dependence Prediction with Static Analysis

Authors: Luke Panayi, Rohan Gandhi, Jim Whittaker, Vassilios Chouliaras, Martin Berger, Paul Kelly

Comments: 15 pages

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

[31]  arXiv:2403.08935 [pdf, ps, other]

Title: Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

Authors: Raphaël Monat, Aymeric Fromherz, Denis Merigoux

Comments: 30 pages

Subjects: Programming Languages (cs.PL)

[32]  arXiv:2403.09435 [pdf, other]

Title: StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator

Authors: Antonin Reitz, Aymeric Fromherz, Jonathan Protzenko

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

[33]  arXiv:2403.10571 [pdf, other]

Title: JaxDecompiler: Redefining Gradient-Informed Software Design

Authors: Pierrick Pochelu

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

[34]  arXiv:2403.11522 [pdf, ps, other]

Title: LOOPer: A Learned Automatic Code Optimizer For Polyhedral Compilers

Authors: Massinissa Merouani, Khaled Afif Boudaoud, Iheb Nassim Aouadj, Nassim Tchoulak, Islem Kara Bernou, Hamza Benyamina, Fatima Benbouzid-Si Tayeb, Karima Benatchba, Hugh Leather, Riyadh Baghdadi

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

[35]  arXiv:2403.11919 [pdf, other]

Title: A Coq Mechanization of JavaScript Regular Expression Semantics

Authors: Noé De Santo, Aurèle Barrière, Clément Pit-Claudel

Subjects: Programming Languages (cs.PL)

[36]  arXiv:2403.12733 [pdf, other]

Title: Small Scale Reflection for the Working Lean User

Authors: Vladimir Gladshtein, George Pîrlea, Ilya Sergey

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

[37]  arXiv:2403.12973 [pdf, ps, other]

Title: C Analyzer : A Static Program Analysis Tool for C Programs

Authors: Rajendra Kumar Solanki

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

[38]  arXiv:2403.14064 [pdf, other]

Title: Lean4Lean: Towards a formalized metatheory for the Lean theorem prover

Authors: Mario Carneiro

Comments: 17 pages, submitted to ITP 2024

Subjects: Programming Languages (cs.PL)

[39]  arXiv:2403.14714 [pdf, other]

Title: Compiler generated feedback for Large Language Models

Authors: Dejan Grubisic, Chris Cummins, Volker Seeker, Hugh Leather

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

[40]  arXiv:2403.14940 [pdf, ps, other]

Title: Fat API bindings of C++ objects into scripting languages

Authors: Russell K. Standish

Subjects: Programming Languages (cs.PL)

[41]  arXiv:2403.15122 [pdf, other]

Title: A hybrid approach to semi-automated Rust verification

Authors: Sacha-Élie Ayoun, Xavier Denis, Petar Maksimović, Philippa Gardner

Comments: 22 pages, 8 figures, preprint

Subjects: Programming Languages (cs.PL)

[42]  arXiv:2403.15632 [pdf, other]

Title: FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions

Authors: Taylor Allred, Xinyi Li, Ashton Wiersdorf, Ben Greenman, Ganesh Gopalakrishnan

Comments: Presented at JuliaCon 2023; to appear in JuliaCon proceedings

Subjects: Programming Languages (cs.PL); Mathematical Software (cs.MS)

[43]  arXiv:2403.17430 [pdf, other]

Title: Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity

Authors: Anna Sukhova, Alexey Akhundov, Efim Verzakov, Yegor Bugayenko

Subjects: Programming Languages (cs.PL)

[44]  arXiv:2403.17567 [pdf, other]

Title: Piecewise Linear Expectation Analysis via $k$-Induction for Probabilistic Programs

Authors: Tengshun Yang, Hongfei Fu, Jingyu Ke, Naijun Zhan, Shiyang Wu

Subjects: Programming Languages (cs.PL)

[45]  arXiv:2403.17818 [pdf, other]

Title: CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis

Authors: Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis

Subjects: Programming Languages (cs.PL)

[46]  arXiv:2403.18729 [pdf, other]

Title: ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses

Authors: Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh

Subjects: Programming Languages (cs.PL)

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

Title: AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph

Authors: Guanxuan Wu, Allison Sullivan

Comments: 12 pages

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

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

Title: SoD$^2$: Statically Optimizing Dynamic Deep Neural Network

Authors: Wei Niu, Gagan Agrawal, Bin Ren

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

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

Title: A systematic evaluation of large language models for generating programming code

Authors: Wenpin Hou, Zhicheng Ji

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

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

Title: SynCode: LLM Generation with Grammar Augmentation

Authors: Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh

Subjects: Machine Learning (cs.LG); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL); Software Engineering (cs.SE)