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
Authors: Nikita Koval, Dmitry Khalanskiy, Dan Alistarh
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
Authors: Eddie Jones, C-.H. Luke Ong, Steven Ramsay
Subjects: Programming Languages (cs.PL)
[3]  arXiv:2111.12478 [pdf, other]
Title: Predictive Data Race Detection for GPUs
Authors: Sagnik Dey, Mayant Mukul, Parth Sharma, Swarnendu Biswas
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)
Authors: Riley Evans, Samantha Frohlich, Meng Wang
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
Authors: Zachary Cetinic, Kazem Cheshmi, Maryam Mehri Dehnavi
Subjects: Programming Languages (cs.PL)
[6]  arXiv:2111.12238 [pdf, other]
Title: Composing Loop-carried Dependence with Other Loops
Authors: Kazem Cheshmi, Michelle Mills Strout, Maryam Mehri Dehnavi
Subjects: Programming Languages (cs.PL)
[7]  arXiv:2111.12147 [pdf, other]
Title: kmclib: Automated Inference and Verification of Session Types}
Authors: Keigo Imai, Julien Lange, Rumyana Neykova
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
Authors: Smail Kourta, Adel Namani, Fatima Benbouzid-Si Tayeb, Kim Hazelwood, Chris Cummins, Hugh Leather, Riyadh Baghdadi
Subjects: Programming Languages (cs.PL)

Wed, 24 Nov 2021

[9]  arXiv:2111.12063 [pdf, other]
Title: Quantum Advantage for All
Authors: Christoph M. Kirsch, Stefanie Muroya Lei
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
Authors: Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
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
Authors: Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev
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
Authors: Iacovos G. Kolokasis, Giannos Evdorou, Anastasios Papagiannis, Foivos Zakkak, Christos Kozanitis, Shoaib Akram, Polyvios Pratikakis, Angelos Bilas
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
Authors: Jessica Pointing, Oded Padon, Zhihao Jia, Henry Ma, Auguste Hirth, Jens Palsberg, Alex Aiken
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
Authors: Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
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
Authors: Lodewijk Bergmans, Xander Schrijen, Edwin Ouwehand, Magiel Bruntink
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
Authors: Axel Dahlberg, Bart van der Vecht, Carlo Delle Donne, Matthew Skrzypczyk, Ingmar te Raa, Wojciech Kozlowski, Stephanie Wehner
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
Authors: Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
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
Authors: Junyan Cheng, Iordanis Fostiropoulos, Barry Boehm
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)