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

Programming Languages

Authors and titles for recent submissions

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

Wed, 1 Feb 2023

[1]  arXiv:2301.13779 [pdf, other]
Title: FLAME: A small language model for spreadsheet formulas
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[2]  arXiv:2301.13551 [pdf, ps, other]
Title: Designing text representations for existing data using the TextFormats Specification Language
Authors: Giorgio Gonnella
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[3]  arXiv:2301.13816 (cross-list from cs.LG) [pdf, other]
Title: Execution-based Code Generation using Deep Reinforcement Learning
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Programming Languages (cs.PL)

Tue, 31 Jan 2023

[4]  arXiv:2301.12852 [pdf, other]
Title: Type Theory as a Language Workbench
Comments: 18 pages, Accepted for publication at ECVS
Subjects: Programming Languages (cs.PL)
[5]  arXiv:2301.12583 [pdf, other]
Title: Data accounting and error counting
Authors: Michał J. Gajda
Comments: In press
Subjects: Programming Languages (cs.PL); Information Theory (cs.IT); Optimization and Control (math.OC)
[6]  arXiv:2301.12950 (cross-list from cs.LG) [pdf, other]
Title: Hierarchical Programmatic Reinforcement Learning via Learning to Compose Programs
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Robotics (cs.RO)
[7]  arXiv:2301.12556 (cross-list from cs.LO) [pdf, ps, other]
Title: A Log-Sensitive Encoding of Turing Machines in the $λ$-Calculus
Comments: arXiv admin note: substantial text overlap with arXiv:2203.00362
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[8]  arXiv:2301.12030 (cross-list from cs.DB) [pdf, other]
Title: TiLT: A Time-Centric Approach for Stream Query Optimization and Parallelization
Journal-ref: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, 2023
Subjects: Databases (cs.DB); Programming Languages (cs.PL)

Mon, 30 Jan 2023

[9]  arXiv:2301.11664 [pdf, ps, other]
Title: Automatic Alignment in Higher-Order Probabilistic Programming Languages
Subjects: Programming Languages (cs.PL)
[10]  arXiv:2301.11659 [pdf, other]
Title: Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators
Comments: This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction (CC '23), February 25-26, 2023, Montr\'eal, QC, Canada, this https URL
Journal-ref: In Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction (CC '23), February 25-26, 2023, Montr\'eal, QC, Canada
Subjects: Programming Languages (cs.PL)

Fri, 27 Jan 2023

[11]  arXiv:2301.11220 [pdf, other]
Title: User-customizable Transpilation of Scripting Languages
Comments: To be published in OOPSLA 2023
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[12]  arXiv:2301.11117 [pdf, other]
Title: Synthesizing Specifications
Subjects: Programming Languages (cs.PL)
[13]  arXiv:2301.11011 [pdf, other]
Title: Verifying Data Constraint Equivalence in FinTech Systems
Comments: 14 pages, 11 figures, accepted by ICSE 2023
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[14]  arXiv:2301.10827 [pdf, ps, other]
Title: MAG$π$: Types for Failure-Prone Communication
Comments: To be published in ESOP'23
Subjects: Programming Languages (cs.PL)
[15]  arXiv:2301.10807 [pdf, ps, other]
Title: Interpreting Knowledge-based Programs (Extended Version with Proofs)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[16]  arXiv:2301.11301 (cross-list from cs.LO) [pdf, ps, other]
Title: A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[17]  arXiv:2301.10812 (cross-list from cs.LO) [pdf, other]
Title: Multisets and Distributions
Comments: 9 pages, 3 figures
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Thu, 26 Jan 2023

[18]  arXiv:2301.10353 [pdf, ps, other]
Title: Bridging Swift Error Handling Model to C++
Comments: Final Computing Project Report to the Bachelor Degree in Computer Science of the Universidade Federal de Minas Gerais
Subjects: Programming Languages (cs.PL)
[19]  arXiv:2301.10545 (cross-list from cs.SE) [pdf, other]
Title: Beware of the Unexpected: Bimodal Taint Analysis
Journal-ref: International Symposium on Software Testing and Analysis (ISSTA), 2023
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Programming Languages (cs.PL)
[20]  arXiv:2301.10327 (cross-list from cs.LG) [pdf, other]
Title: Generating Multidimensional Clusters With Support Lines
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Programming Languages (cs.PL)
[ total of 20 entries: 1-20 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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