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)