We gratefully acknowledge support from
the Simons Foundation and member institutions.

Programming Languages

Authors and titles for recent submissions

[ total of 24 entries: 1-24 ]
[ showing up to 25 entries per page: fewer | more ]

Thu, 25 Nov 2021

[1]  arXiv:2111.12682 [pdf, other]
Title: A Formally-Verified Framework for Fair Synchronization in Kotlin Coroutines
Subjects: Programming Languages (cs.PL); Data Structures and Algorithms (cs.DS)
[2]  arXiv:2111.12553 [pdf, ps, other]
Title: CycleQ: An Efficient Basis for Cyclic Equational Reasoning
Subjects: Programming Languages (cs.PL)
[3]  arXiv:2111.12478 [pdf, other]
Title: Predictive Data Race Detection for GPUs
Comments: 14 pages, 12 figures, 4 tables
Subjects: Programming Languages (cs.PL)
[4]  arXiv:2111.12420 [pdf, other]
Title: CircuitFlow: A Domain Specific Language for Dataflow Programming (with appendices)
Comments: 31 pages, 5 figures, to be published in PADL 2022
Subjects: Programming Languages (cs.PL)
[5]  arXiv:2111.12243 [pdf, other]
Title: Differentiating-based Vectorization for Sparse Kernels
Subjects: Programming Languages (cs.PL)
[6]  arXiv:2111.12238 [pdf, other]
Title: Composing Loop-carried Dependence with Other Loops
Subjects: Programming Languages (cs.PL)
[7]  arXiv:2111.12147 [pdf, other]
Title: kmclib: Automated Inference and Verification of Session Types}
Comments: kmclib is available at this https URL
Subjects: Programming Languages (cs.PL)
[8]  arXiv:2111.12116 [pdf, other]
Title: Caviar: An E-graph Based TRS for Automatic Code Optimization
Subjects: Programming Languages (cs.PL)

Wed, 24 Nov 2021

[9]  arXiv:2111.12063 [pdf, other]
Title: Quantum Advantage for All
Subjects: Programming Languages (cs.PL)
[10]  arXiv:2111.11819 [pdf, ps, other]
Title: Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach
Authors: Emanuele De Angelis (1), Fabio Fioravanti (2), Alberto Pettorossi (3), Maurizio Proietti (1) ((1) IASI-CNR, Roma, Italy, (2) DEC, University G. D'Annunzio, Pescara, Italy, (3) DICII, University of Rome Tor Vergata, Roma, Italy)
Comments: This work has been SUBMITTED (under consideration) to the CILC 2020 specialissue of the Journal of Logic and Computation. arXiv admin note: text overlap with arXiv:2004.07749
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[11]  arXiv:2111.11984 (cross-list from cs.LO) [pdf, ps, other]
Title: Deconfined Global Types for Asynchronous Sessions
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[12]  arXiv:2111.11562 (cross-list from cs.DC) [pdf, other]
Title: Reliable Actors with Retry Orchestration
Authors: Olivier Tardieu (IBM Research), David Grove (IBM Research), Gheorghe-Teodor Bercea (IBM Research), Paul Castro (IBM Research), Jaroslaw Cwiklik (IBM Research), Edward Epstein (IBM Research)
Comments: 14 pages, 6 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

Tue, 23 Nov 2021

[13]  arXiv:2111.10867 [pdf, ps, other]
Title: Qimaera: Type-safe (Variational) Quantum Programming in Idris
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[14]  arXiv:2111.10589 [pdf, other]
Title: Freeing Compute Caches from Serialization and Garbage Collection in Managed Big Data Analytics
Comments: 15 pages, 11 figures, asplos22 submission
Subjects: Programming Languages (cs.PL)
[15]  arXiv:2111.10414 [pdf]
Title: Automated, Targeted Testing of Property-Based Testing Predicates
Authors: Tim Nelson (Brown University, USA), Elijah Rivera (Brown University, USA), Sam Soucie (Indiana University, USA), Thomas Del Vecchio (Brown University, USA), John Wrenn (Brown University, USA), Shriram Krishnamurthi (Brown University, USA)
Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 2, Article 10
Subjects: Programming Languages (cs.PL)
[16]  arXiv:2111.10413 [pdf]
Title: Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity
Authors: Jeremy Gibbons (University of Oxford, UK)
Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 2, Article 7
Subjects: Programming Languages (cs.PL)
[17]  arXiv:2111.10412 [pdf]
Title: Types for Tables: A Language Design Benchmark
Authors: Kuang-Chen Lu (Brown University, USA), Ben Greenman (Brown University, USA), Shriram Krishnamurthi (Brown University, USA)
Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 2, Article 8
Subjects: Programming Languages (cs.PL)
[18]  arXiv:2111.10411 [pdf]
Title: A Transient Semantics for Typed Racket
Authors: Ben Greenman (Brown University, USA), Lukas Lazarek (Northwestern University, USA), Christos Dimoulas (Northwestern University, USA), Matthias Felleisen (Northeastern University, USA)
Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 2, Article 9
Subjects: Programming Languages (cs.PL)
[19]  arXiv:2111.11387 (cross-list from quant-ph) [pdf, other]
Title: Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities
Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)
[20]  arXiv:2111.11218 (cross-list from cs.DC) [pdf, other]
Title: Parallel Logic Programming: A Sequel
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Fri, 19 Nov 2021

[21]  arXiv:2111.09728 [pdf, other]
Title: Measuring source code conciseness across programming languages using compression
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[22]  arXiv:2111.09823 (cross-list from quant-ph) [pdf, other]
Title: NetQASM -- A low-level instruction set architecture for hybrid quantum-classical programs in a quantum internet
Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Programming Languages (cs.PL)

Thu, 18 Nov 2021

[23]  arXiv:2111.09022 (cross-list from cs.FL) [pdf, ps, other]
Title: Context-Bounded Verification of Thread Pools
Subjects: Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)
[24]  arXiv:2111.08874 (cross-list from cs.LG) [pdf, other]
Title: GN-Transformer: Fusing Sequence and Graph Representation for Improved Code Summarization
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)
[ total of 24 entries: 1-24 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2111, contact, help  (Access key information)