Programming Languages

Authors and titles for February 2023

[51] arXiv:2302.09401 (cross-list from quant-ph) [pdf, other]

Title: Symbolic quantum programming for supporting applications of quantum computing technologies

Jarosław Adam Miszczak

Comments: 14 pages, contribution to QP2023 Workshop, Programming'23, Tokyo, JP, March 13-17, 2023

Journal-ref: Programming '23 Companion: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, pp. 101-108 (2023)

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

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

Title: Symphony: Expressive Secure Multiparty Computation with Coordination

Ian Sweet (University of Maryland, USA), David Darais (Galois, USA), David Heath (Georgia Institute of Technology, USA), William Harris (Galois, USA), Ryan Estes (University of Vermont, USA), Michael Hicks (University of Maryland, USA / Amazon, USA)

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

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

[53] arXiv:2302.10137 (cross-list from cs.LO) [pdf, other]

Title: A modest proposal: explicit support for foundational pluralism

Martin Berger, Dominic P. Mulligan

Comments: 18 pages

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

[54] arXiv:2302.10455 (cross-list from cs.LO) [pdf, other]

Title: A Deforestation of Reducts: Refocusing

Olivier Danvy

Comments: proper description of one-step reduction added in Section 2 + Section 9.1 expanded + wordsmithing here and there

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

[55] arXiv:2302.10576 (cross-list from cs.LO) [pdf, other]

Title: Denotational Semantics and a Fast Interpreter for jq

Michael Färber

Comments: Submitted to OOPSLA 2023

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

[56] arXiv:2302.11272 (cross-list from cs.FL) [pdf, other]

Title: Asynchronous Multiparty Session Type Implementability is Decidable -- Lessons Learned from Message Sequence Charts

Felix Stutz

Comments: 25 pages, 41 pages including appendix; ECOOP 2023

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

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

Title: Notes on "Notes on the Synthesis of Form": Dawning Insights in Early Christopher Alexander

Richard P. Gabriel (Hasso Plattner Institute, Germany)

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

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

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

Title: Do Machine Learning Models Produce TypeScript Types That Type Check?

Ming-Ho Yee, Arjun Guha

Comments: Published at the 37th European Conference on Object-Oriented Programming (ECOOP 2023)

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

[59] arXiv:2302.12958 (cross-list from cs.DC) [pdf, other]

Title: Efficient Hardware Primitives for Immediate Memory Reclamation in Optimistic Data Structures

Ajay Singh, Trevor Brown, Michael Spear

Comments: longer version of manuscript accepted in IPDPS 2023

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

[60] arXiv:2302.13482 (cross-list from cs.LO) [pdf, other]

Title: PyReason: Software for Open World Temporal Logic

Dyuman Aditya, Kaustuv Mukherji, Srikar Balasubramanian, Abhiraj Chaudhary, Paulo Shakarian

Comments: Equal contributions from first two authors. Accepted at 2023 AAAI Spring Symposium on Challenges Requiring the Combination of Machine Learning and Knowledge Engineering (AAAI: MAKE)

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

[61] arXiv:2302.14546 (cross-list from cs.LO) [pdf, other]

Title: Dynamic Logic of Communicating Hybrid Programs

Marvin Brieger, Stefan Mitsch, André Platzer

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

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

Title: Safe-DS: A Domain Specific Language to Make Data Science Safe

Lars Reimann, Günter Kniesel-Wünsche

Comments: Accepted for the NIER Track of the 45th International Conference on Software Engineering (ICSE 2023)

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

[63] arXiv:2302.14622 (cross-list from cs.LO) [pdf, other]

Title: Now It Compiles! Certified Automatic Repair of Uncompilable Protocols

Luís Cruz-Filipe, Fabrizio Montesi

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