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

Programming Languages

Authors and titles for recent submissions

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

Tue, 25 Feb 2020

[1]  arXiv:2002.10213 [pdf, other]
Title: Superoptimization of WebAssembly Bytecode
Comments: 4 pages, 3 figures, MoreVMs 2020
Subjects: Programming Languages (cs.PL)
[2]  arXiv:2002.09519 [pdf, ps, other]
Title: Exponential Amortized Resource Analysis
Subjects: Programming Languages (cs.PL)
[3]  arXiv:2002.09857 (cross-list from cs.SE) [pdf, ps, other]
Title: Verifying Array Manipulating Programs with Full-Program Induction
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

Mon, 24 Feb 2020

[4]  arXiv:2002.09115 [pdf, other]
Title: Symbolic Execution Game Semantics
Comments: 41 pages, 5 figures
Subjects: Programming Languages (cs.PL)
[5]  arXiv:2002.09030 [pdf, other]
Title: Learning to Represent Programs with Property Signatures
Comments: ICLR 2020
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[6]  arXiv:2002.09002 [pdf, other]
Title: RustHorn: CHC-based Verification for Rust Programs (full version)
Comments: Full version of the same-titled paper in ESOP2020
Subjects: Programming Languages (cs.PL)

Fri, 21 Feb 2020

[7]  arXiv:2002.08738 [pdf, ps, other]
Title: Soundness conditions for big-step semantics
Subjects: Programming Languages (cs.PL)
[8]  arXiv:2002.08489 [pdf, ps, other]
Title: On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
Subjects: Programming Languages (cs.PL)
[9]  arXiv:2002.08874 (cross-list from cs.LO) [pdf, other]
Title: Contextual Equivalence for Signal Flow Graphs
Comments: Accepted for publication in the proceedings of the 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2020)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[10]  arXiv:2002.08523 (cross-list from cs.LO) [pdf, other]
Title: Constructive Game Logic
Comments: 74 pages, extended preprint for ESOP
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[11]  arXiv:2002.08392 (cross-list from cs.LO) [pdf, ps, other]
Title: Decomposing Probabilistic Lambda-calculi
Authors: Ugo Dal Lago (1), Giulio Guerrieri (2), Willem Heijltjes (2) ((1) Dipartimento di Informatica - Scienza e Ingegneria, Università di Bologna, Bologna, Italy and (2) Department of Computer Science University of Bath, Bath, UK)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Thu, 20 Feb 2020

[12]  arXiv:2002.08334 [pdf, other]
Title: Holistic Specifications for Robust Programs
Comments: 44 pages, 1 Table, 11 Figures
Subjects: Programming Languages (cs.PL)
[13]  arXiv:2002.08241 [pdf, ps, other]
Title: A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation
Authors: Carol Mak, Luke Ong
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
[14]  arXiv:2002.08155 (cross-list from cs.CL) [pdf, other]
Title: CodeBERT: A Pre-Trained Model for Programming and Natural Languages
Comments: 10 pages
Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)
[15]  arXiv:2002.07970 (cross-list from cs.DC) [pdf, other]
Title: Supporting OpenMP 5.0 Tasks in hpxMP -- A study of an OpenMP implementation within Task Based Runtime Systems
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
[16]  arXiv:2002.07951 (cross-list from cs.DB) [pdf, other]
Title: SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra
Subjects: Databases (cs.DB); Programming Languages (cs.PL)

Wed, 19 Feb 2020

[17]  arXiv:2002.07770 [pdf, other]
Title: ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs
Subjects: Programming Languages (cs.PL)
[18]  arXiv:2002.07262 [pdf, ps, other]
Title: Denotational semantics as a foundation for cost recurrence extraction for functional languages
Subjects: Programming Languages (cs.PL)
[19]  arXiv:2002.07472 (cross-list from stat.CO) [pdf, other]
Title: A method for deriving information from running R code
Comments: 11 pages, 1 figure. Accepted for publication by the R Journal (2020-02-20)
Subjects: Computation (stat.CO); Programming Languages (cs.PL)
[ total of 19 entries: 1-19 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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