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)