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

Programming Languages

Authors and titles for cs.PL in May 2022

[ total of 76 entries: 1-76 ]
[ showing 76 entries per page: fewer | more ]
[1]  arXiv:2205.00661 [pdf, other]
Title: Giallar: Push-Button Verification for the Qiskit Quantum Compiler
Comments: PLDI 2022; Improves arXiv:1908.08963
Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)
[2]  arXiv:2205.00795 [pdf, ps, other]
Title: Rusty Links in Local Chains
Subjects: Programming Languages (cs.PL)
[3]  arXiv:2205.00862 [pdf, other]
Title: Accelerating Verified-Compiler Development with a Verified Rewriting Engine
Comments: 13th International Conference on Interactive Theorem Proving (ITP 2022)
Subjects: Programming Languages (cs.PL)
[4]  arXiv:2205.01171 [pdf, ps, other]
Title: Reversing an Imperative Concurrent Programming Language
Comments: 48 pages, 21 figures
Subjects: Programming Languages (cs.PL)
[5]  arXiv:2205.01183 [pdf, other]
Title: A fast in-place interpreter for WebAssembly
Authors: Ben L. Titzer
Subjects: Programming Languages (cs.PL); Performance (cs.PF)
[6]  arXiv:2205.01241 [pdf, ps, other]
Title: Propositional Equality for Gradual Dependently Typed Programming
Comments: Under submission to ICFP 2022
Subjects: Programming Languages (cs.PL)
[7]  arXiv:2205.02029 [pdf, other]
Title: CODE-MVP: Learning to Represent Source Code from Multiple Views with Contrastive Pre-Training
Comments: Accepted by NAACL 2022
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[8]  arXiv:2205.02282 [pdf, other]
Title: Low-Code Programming Models
Authors: Martin Hirzel
Subjects: Programming Languages (cs.PL)
[9]  arXiv:2205.02287 [pdf, other]
Title: Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
Comments: This version of the paper differs from ACM Proceedings in that it includes a more refined comparison to prior work, specifically in Sections 3.5 and 9.6
Journal-ref: Proc. ACM Program. Lang. 6, POPL, Article 30 (January 2022), 32 pages
Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)
[10]  arXiv:2205.02636 [pdf, other]
Title: Implementing Choreography Extraction
Comments: arXiv admin note: text overlap with arXiv:1910.11741
Subjects: Programming Languages (cs.PL)
[11]  arXiv:2205.03262 [pdf]
Title: Synchron -- An API and Runtime for Embedded Systems
Comments: 39 pages; published in ECOOP 2022
Subjects: Programming Languages (cs.PL)
[12]  arXiv:2205.03590 [pdf, other]
Title: Can We Run in Parallel? Automating Loop Parallelization for TornadoVM
Subjects: Programming Languages (cs.PL)
[13]  arXiv:2205.03707 [pdf, other]
Title: Slicing of Probabilistic Programs based on Specifications
Subjects: Programming Languages (cs.PL)
[14]  arXiv:2205.04373 [pdf, ps, other]
Title: Making ProB compatible with SWI-Prolog
Comments: 15 pages. Paper to be presented at the 38th International Conference on Logic Programming (ICLP 2022), under consideration for acceptance in TPLP
Subjects: Programming Languages (cs.PL)
[15]  arXiv:2205.04384 [pdf, other]
Title: Applying consensus and replication securely with FLAQR
Comments: 31 pages, 5 figures, Appearing in CSF 2022
Subjects: Programming Languages (cs.PL)
[16]  arXiv:2205.04432 [pdf, other]
Title: Static Analysis for AWS Best Practices in Python Code
Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[17]  arXiv:2205.05181 [pdf, ps, other]
Title: The Move Borrow Checker
Subjects: Programming Languages (cs.PL)
[18]  arXiv:2205.06150 [pdf, other]
Title: Direct Foundations for Compositional Programming
Authors: Andong Fan (1), Xuejing Huang (2), Han Xu (3), Yaozhu Sun (2), Bruno C. d. S. Oliveira (2) ((1) Zhejiang University, (2) The University of Hong Kong, (3) Peking University)
Comments: the extended version of Direct Foundations for Compositional Programming to appear in ECOOP 2022
Subjects: Programming Languages (cs.PL)
[19]  arXiv:2205.06322 [pdf, other]
Title: Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[20]  arXiv:2205.06444 [pdf, other]
Title: UniHeap: Managing Persistent Objects Across Managed Runtimes for Non-Volatile Memory
Comments: A 2 page extended abstract for NVMW 2022'
Subjects: Programming Languages (cs.PL)
[21]  arXiv:2205.06535 [pdf, other]
Title: Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version
Subjects: Programming Languages (cs.PL)
[22]  arXiv:2205.06780 [pdf, other]
Title: Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version)
Comments: Extended version of ECOOP'22 paper (with appendix)
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[23]  arXiv:2205.06841 [pdf, ps, other]
Title: From Logic to Functional Logic Programs
Authors: Michael Hanus
Comments: Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages (without appendix)
Subjects: Programming Languages (cs.PL)
[24]  arXiv:2205.06921 [src]
Title: Ferrite: A Judgmental Embedding of Session Types in Rust
Comments: Accidental duplication of arXiv:2009.13619
Subjects: Programming Languages (cs.PL)
[25]  arXiv:2205.07780 [pdf, other]
Title: Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version)
Comments: This is the extended version including appendices of the submission to ECOOP 2022; 24 pages content + 6 pages references + 15 pages appendix; 24 figures
Subjects: Programming Languages (cs.PL)
[26]  arXiv:2205.07811 [pdf, other]
Title: Natural Language Specifications in Proof Assistants
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL)
[27]  arXiv:2205.07979 [pdf, ps, other]
Title: Budge: a programming language and a theorem prover
Authors: Boro Sitnikovski
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
[28]  arXiv:2205.08260 [pdf]
Title: LabVIEW is faster and C is economical interfacing tool for UCT automation
Comments: 15 pages, 9 figures, 2 tables, 23 references
Subjects: Programming Languages (cs.PL); Robotics (cs.RO)
[29]  arXiv:2205.08762 [pdf, other]
Title: Leapfrog: Certified Equivalence for Protocol Parsers
Subjects: Programming Languages (cs.PL)
[30]  arXiv:2205.08768 [pdf, other]
Title: Global Type Inference for Featherweight Generic Java
Comments: 33 pages, abridged version appears in ECOOP 2022
Subjects: Programming Languages (cs.PL)
[31]  arXiv:2205.08786 [pdf, other]
Title: Fair Termination of Multiparty Sessions
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[32]  arXiv:2205.09246 [pdf, ps, other]
Title: Transformer-based Program Synthesis for Low-Data Environments
Authors: Jack Roper
Comments: 11 pages. Corpus can be found at this https URL
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[33]  arXiv:2205.09655 [pdf, other]
Title: Primrose: Selecting Container Data Types by their Properties
Subjects: Programming Languages (cs.PL); Data Structures and Algorithms (cs.DS)
[34]  arXiv:2205.10255 [pdf, other]
Title: Tower: Data Structures in Quantum Superposition
Comments: 30 pages, 22 figures. [v2] add discussion of concurrent work in Sec 1.4 and add acknowledgements section. [v3] camera-ready version, incorporates revisions following conference review
Journal-ref: Proc. ACM Program. Lang. 6, OOPSLA2, Article 134 (October 2022)
Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)
[35]  arXiv:2205.11368 [pdf, other]
Title: Dual-Numbers Reverse AD, Efficiently
Subjects: Programming Languages (cs.PL)
[36]  arXiv:2205.11622 [pdf, other]
Title: SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring
Comments: Accepted at International Conference on Supercomputing (ICS) '22
Subjects: Programming Languages (cs.PL); Performance (cs.PF)
[37]  arXiv:2205.12425 [pdf, other]
Title: Katara: Synthesizing CRDTs with Verified Lifting
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[38]  arXiv:2205.13430 [pdf, other]
Title: GNOLL: Efficient Software for Real-World Dice Notation and Extensions
Comments: 11 pages, 12 figures, Under Review for JCDCG^3 '22
Subjects: Programming Languages (cs.PL)
[39]  arXiv:2205.14479 [pdf, other]
Title: TinyIREE: An ML Execution Environment for Embedded Systems from Compilation to Deployment
Comments: 9 pages, 3 figures, to be published in IEEE Micro
Subjects: Programming Languages (cs.PL)
[40]  arXiv:2205.14943 [pdf, ps, other]
Title: Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[41]  arXiv:2205.15204 [pdf, ps, other]
Title: Programming with rules and everything else, seamlessly
Subjects: Programming Languages (cs.PL)
[42]  arXiv:2205.15211 [pdf, ps, other]
Title: Type Systems in Resource-Aware Programming: Opportunities and Challenges
Subjects: Programming Languages (cs.PL)
[43]  arXiv:2205.15917 [pdf, other]
Title: Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[44]  arXiv:2205.01293 (cross-list from cs.SE) [pdf, other]
Title: A Survey of Deep Learning Models for Structural Code Understanding
Comments: 48 pages, 4 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); General Literature (cs.GL); Programming Languages (cs.PL)
[45]  arXiv:2205.01713 (cross-list from cs.LO) [pdf, other]
Title: A Typechecker for a Set-Based Constraint Logic Programming Language
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[46]  arXiv:2205.01959 (cross-list from cs.LO) [pdf, ps, other]
Title: Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs
Authors: Mingsheng Ying
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Quantum Physics (quant-ph)
[47]  arXiv:2205.02590 (cross-list from cs.LO) [pdf, other]
Title: Low-Level Bi-Abduction
Comments: Published in European Conference on Object-Oriented Programming ECOOP 2022
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[48]  arXiv:2205.02954 (cross-list from cs.DB) [pdf, other]
Title: Leveraging Application Data Constraints to Optimize Database-Backed Web Applications
Subjects: Databases (cs.DB); Programming Languages (cs.PL)
[49]  arXiv:2205.03311 (cross-list from cs.LO) [pdf, ps, other]
Title: One-sorted Program Algebras
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)
[50]  arXiv:2205.03322 (cross-list from cs.CR) [pdf, ps, other]
Title: Private delegated computations using strong isolation
Subjects: Cryptography and Security (cs.CR); Operating Systems (cs.OS); Programming Languages (cs.PL)
[51]  arXiv:2205.03332 (cross-list from cs.CR) [pdf, ps, other]
Title: The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code)
Comments: Two page abstract, presented at PriSC 2022
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)
[52]  arXiv:2205.03960 (cross-list from cs.LG) [pdf, other]
Title: $α$NAS: Neural Architecture Search using Property Guided Synthesis
Comments: Our code is available at this https URL
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)
[53]  arXiv:2205.06039 (cross-list from cs.LO) [pdf, other]
Title: Reactive Synthesis of Smart Contract Control Flows
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Programming Languages (cs.PL)
[54]  arXiv:2205.06236 (cross-list from cs.LO) [pdf, ps, other]
Title: Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Authors: Emanuele De Angelis (1), Fabio Fioravanti (2), Alberto Pettorossi (3), Maurizio Proietti (1) ((1) IASI-CNR, Rome, Italy, (2) DEc, University 'G. d'Annunzio', Chieti-Pescara, Pescara, Italy, (3) DICII, University of Rome 'Tor Vergata', Rome, Italy)
Comments: Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages; added Journal reference and related DOI
Journal-ref: Theory and Practice of Logic Programming, 22(4), 555-572, July 2022
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[55]  arXiv:2205.07808 (cross-list from eess.SY) [pdf, other]
Title: Switch as a Verifier: Toward Scalable Data Plane Checking via Distributed, On-Device Verification
Subjects: Systems and Control (eess.SY); Networking and Internet Architecture (cs.NI); Programming Languages (cs.PL)
[56]  arXiv:2205.07985 (cross-list from cs.AI) [pdf]
Title: Expert Systems with Logic#. A Novel Modeling Framework for Logic Programming in an Object-Oriented Context of C#
Comments: 23 pages, 4 figures, 4 tables, 7 appendices
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[57]  arXiv:2205.08128 (cross-list from cs.LO) [pdf, ps, other]
Title: Local Completeness Logic on Kleene Algebra with Tests
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[58]  arXiv:2205.08718 (cross-list from cs.LO) [pdf, ps, other]
Title: An approach to translating Haskell programs to Agda and reasoning about them
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[59]  arXiv:2205.08882 (cross-list from cs.AR) [pdf, other]
Title: Hyperion: A Case for Unified, Self-Hosting, Zero-CPU Data-Processing Units (DPUs)
Subjects: Hardware Architecture (cs.AR); Distributed, Parallel, and Cluster Computing (cs.DC); Operating Systems (cs.OS); Programming Languages (cs.PL)
[60]  arXiv:2205.09556 (cross-list from cs.LO) [pdf, ps, other]
Title: Neural Networks in Imandra: Matrix Representation as a Verification Choice
Comments: FOMLAS'22, The 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[61]  arXiv:2205.11116 (cross-list from cs.CL) [pdf, other]
Title: Summarize and Generate to Back-translate: Unsupervised Translation of Programming Languages
Comments: Work in progress
Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)
[62]  arXiv:2205.11258 (cross-list from cs.LG) [pdf, other]
Title: Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)
[63]  arXiv:2205.11304 (cross-list from cs.SE) [pdf]
Title: Automatic Generation of Programming Exercises
Authors: Peter Sovietov
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[64]  arXiv:2205.11707 (cross-list from cs.LO) [pdf, other]
Title: A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java
Authors: Alessandro Coglio (Kestrel Institute)
Comments: In Proceedings ACL2 2022, arXiv:2205.11103
Journal-ref: EPTCS 359, 2022, pp. 168-184
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[65]  arXiv:2205.11708 (cross-list from cs.LO) [pdf, other]
Title: A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2
Authors: Alessandro Coglio (Kestrel Institute)
Comments: In Proceedings ACL2 2022, arXiv:2205.11103
Journal-ref: EPTCS 359, 2022, pp. 185-201
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[66]  arXiv:2205.11709 (cross-list from cs.LO) [pdf, other]
Title: Hardware/Software Co-Assurance using the Rust Programming Language and ACL2
Authors: David Hardin (Collins Aerospace)
Comments: In Proceedings ACL2 2022, arXiv:2205.11103
Journal-ref: EPTCS 359, 2022, pp. 202-216
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[67]  arXiv:2205.12422 (cross-list from cs.CL) [pdf, other]
Title: Active Programming by Example with a Natural Language Prior
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[68]  arXiv:2205.13022 (cross-list from cs.SE) [pdf, other]
Title: Towards Using Data-Centric Approach for Better Code Representation Learning
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[69]  arXiv:2205.13457 (cross-list from cs.SE) [pdf, other]
Title: AutoTSG: Learning and Synthesis for Incident Troubleshooting
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Programming Languages (cs.PL)
[70]  arXiv:2205.14318 (cross-list from cs.LG) [pdf, other]
Title: Learning from Self-Sampled Correct and Partially-Correct Programs
Comments: 15 pages
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)
[71]  arXiv:2205.14374 (cross-list from cs.SE) [pdf, other]
Title: Syntax-Guided Program Reduction for Understanding Neural Code Intelligence Models
Comments: The 6th ACM SIGPLAN International Symposium on Machine Programming (MAPS'22); Related to arXiv:2202.06474
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)
[72]  arXiv:2205.15203 (cross-list from cs.LO) [pdf, ps, other]
Title: Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
Comments: Version with proofs of the LICS 2022 paper with the same title
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[73]  arXiv:2205.15479 (cross-list from cs.SE) [pdf, other]
Title: Learning to Represent Programs with Code Hierarchies
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[74]  arXiv:2205.05781 (cross-list from quant-ph) [pdf, ps, other]
Title: VyZX : A Vision for Verifying the ZX Calculus
Comments: 12 pages
Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)
[75]  arXiv:2205.06346 (cross-list from quant-ph) [pdf, other]
Title: Retrodictive Quantum Computing
Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)
[76]  arXiv:2205.10596 (cross-list from quant-ph) [pdf, other]
Title: Not All SWAPs Have the Same Cost: A Case for Optimization-Aware Qubit Routing
Comments: 17 pages, 11 figures
Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Programming Languages (cs.PL)
[ total of 76 entries: 1-76 ]
[ showing 76 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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