Programming Languages

Authors and titles for cs.PL in Aug 2023

[1]  arXiv:2308.00708 [pdf, other]

Title: VeriGen: A Large Language Model for Verilog Code Generation

Authors: Shailja Thakur, Baleegh Ahmad, Hammond Pearce, Benjamin Tan, Brendan Dolan-Gavitt, Ramesh Karri, Siddharth Garg

Comments: arXiv admin note: text overlap with arXiv:2212.11140

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

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

Title: Staged Specifications for Automated Verification of Higher-Order Imperative Programs

Authors: Darius Foo, Yahui Song, Wei-Ngan Chin

Subjects: Programming Languages (cs.PL)

[3]  arXiv:2308.01676 [pdf, other]

Title: Density-Based Semantics for Reactive Probabilistic Programming

Authors: Guillaume Baudart, Louis Mandel, Christine Tasson

Subjects: Programming Languages (cs.PL)

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

Title: Gradual Sensitivity Typing

Authors: Damian Arquez, Matías Toro, Éric Tanter

Comments: Paper Submission

Subjects: Programming Languages (cs.PL)

[5]  arXiv:2308.02906 [pdf, other]

Title: A denotationally-based program logic for higher-order store

Authors: Frederik Lerbjerg Aagaard, Jonathan Sterling, Lars Birkedal

Comments: To appear in proceedings of MFPS 2023

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12232

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

[6]  arXiv:2308.03626 [pdf, other]

Title: Monitoring Hyperproperties With Prefix Transducers

Authors: Marek Chalupa, Thomas A. Henzinger

Subjects: Programming Languages (cs.PL)

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

Title: Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs

Authors: Yuxin Deng, Huiling Wu, Ming Xu

Comments: 27 pages. arXiv admin note: text overlap with arXiv:2107.00804

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

[8]  arXiv:2308.05076 [pdf, other]

Title: CHERI Performance Enhancement for a Bytecode Interpreter

Authors: Duncan Lowther, Dejice Jacob, Jeremy Singer

Comments: 9 pages, 9 figures

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

[9]  arXiv:2308.05485 [pdf, other]

Title: Substitution for Non-Wellfounded Syntax with Binders through Monoidal Categories

Authors: Ralph Matthes, Kobe Wullaert, Benedikt Ahrens

Comments: v3: reworked introduction, expanded examples, changes in textual formulations; this is the full version for the upcoming FSCD'24 paper with the same title, the difference is the presence of Appendix B and Appendix D

Subjects: Programming Languages (cs.PL)

[10]  arXiv:2308.06110 [pdf, ps, other]

Title: Proceedings Twelfth International Workshop on Trends in Functional Programming in Education

Authors: Elena Machkasova (University of Minnesota, Morris)

Journal-ref: EPTCS 382, 2023

Subjects: Programming Languages (cs.PL)

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

Title: Code Transpilation for Hardware Accelerators

Authors: Yuto Nishida, Sahil Bhatia, Shadaj Laddad, Hasan Genc, Yakun Sophia Shao, Alvin Cheung

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

[12]  arXiv:2308.06449 [pdf, ps, other]

Title: Instruction Set Architecture (ISA) for Processing-in-Memory DNN Accelerators

Authors: Xiaoming Chen

Subjects: Programming Languages (cs.PL)

[13]  arXiv:2308.06956 [pdf, ps, other]

Title: Modular System Synthesis

Authors: Kanghee Park, Keith J.C. Johnson, Loris D'Antoni, Thomas Reps

Subjects: Programming Languages (cs.PL)

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

Title: Regular Expressions in a CS Formal Languages Course

Authors: Marco T. Morazán (Seton Hall University)

Comments: In Proceedings TFPIE 2023, arXiv:2308.06110

Journal-ref: EPTCS 382, 2023, pp. 45-63

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL)

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

Title: Disco: A Functional Programming Language for Discrete Mathematics

Authors: Brent A. Yorgey (Hendrix College)

Comments: In Proceedings TFPIE 2023, arXiv:2308.06110

Journal-ref: EPTCS 382, 2023, pp. 64-81

Subjects: Programming Languages (cs.PL); Discrete Mathematics (cs.DM)

[16]  arXiv:2308.07474 [pdf, ps, other]

Title: Degrees of Separation: A Flexible Type System for Data Race Prevention

Authors: Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky

Subjects: Programming Languages (cs.PL)

[17]  arXiv:2308.07654 [pdf, other]

Title: SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR

Authors: Jianyi Cheng, Samuel Coward, Lorenzo Chelini, Rafael Barbalho, Theo Drane

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

[18]  arXiv:2308.08347 [pdf, ps, other]

Title: Continuing WebAssembly with Effect Handlers

Authors: Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, Sam Lindley

Subjects: Programming Languages (cs.PL)

[19]  arXiv:2308.09481 [pdf, ps, other]

Title: Types, equations, dimensions and the Pi theorem

Authors: Nicola Botta, Patrik Jansson, Guilherme Horta Alvares Da Silva

Comments: Submitted for publication in the "Journal of Functional Programming" in August 2023

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

[20]  arXiv:2308.09895 [pdf, other]

Title: Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs

Authors: Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, Arjun Guha

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

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

Title: Typing Composable Coroutines

Authors: Qiqi Gu, Wei Ke

Subjects: Programming Languages (cs.PL)

[22]  arXiv:2308.10655 [pdf, other]

Title: On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues

Authors: Manel Barkallah (Nadi Research Institute Faculty of Computer Science University of Namur Namur, Belgium), Jean-Marie Jacquet (Nadi Research Institute Faculty of Computer Science University of Namur Namur, Belgium)

Comments: In Proceedings ICE 2023, arXiv:2308.08920

Journal-ref: EPTCS 383, 2023, pp. 55-72

Subjects: Programming Languages (cs.PL)

[23]  arXiv:2308.11897 [pdf, other]

Title: Tau Prolog: A Prolog interpreter for the Web

Authors: José Antonio Riaza Valverde

Comments: 21 pages, 3 figures, under consideration in Theory and Practice of Logic Programming (TPLP)

Subjects: Programming Languages (cs.PL)

[24]  arXiv:2308.12329 [pdf, other]

Title: Saggitarius: A DSL for Specifying Grammatical Domains

Authors: Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker

Comments: OOPSLA 2023

Subjects: Programming Languages (cs.PL)

[25]  arXiv:2308.12403 [pdf, ps, other]

Title: A Frame Stack Semantics for Sequential Core Erlang

Authors: Péter Bereczky, Dániel Horpácsi, Simon Thompson

Comments: Draft paper of IFL 2023, The 35th Symposium on Implementation and Application of Functional Languages, August 29--31, 2023, Braga, Portugal

Subjects: Programming Languages (cs.PL)