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-10 | 11-20 | 21-30 | 31-40 | ... | 71-76 ]
[ showing 10 entries per page: fewer | more | all ]
[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)
[ total of 76 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 71-76 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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