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

Programming Languages

Authors and titles for recent submissions

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

Mon, 30 Mar 2020

[1]  arXiv:2003.12106 [pdf, other]
Title: Data-Driven Inference of Representation Invariants
Comments: 18 Pages, Full version of PLDI 2020 paper
Subjects: Programming Languages (cs.PL)
[2]  arXiv:2003.12209 (cross-list from cs.SE) [pdf, other]
Title: An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language
Comments: 22 pages
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

Thu, 26 Mar 2020

[3]  arXiv:2003.11118 [pdf, ps, other]
Title: Context-Aware Parse Trees
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)
[4]  arXiv:2003.11517 (cross-list from cs.CL) [pdf, other]
Title: From Algebraic Word Problem to Program: A Formalized Approach
Comments: 9 pages, 6 figures, Course project of Programming Languages
Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)

Wed, 25 Mar 2020

[5]  arXiv:2003.10536 (cross-list from cs.LG) [pdf, other]
Title: ProGraML: Graph-based Deep Learning for Program Optimization and Analysis
Comments: 20 pages, author preprint
Subjects: Machine Learning (cs.LG); Performance (cs.PF); Programming Languages (cs.PL); Machine Learning (stat.ML)

Tue, 24 Mar 2020

[6]  arXiv:1803.07244 (cross-list from cs.AI) [pdf, other]
Title: The Three Pillars of Machine Programming
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)

Mon, 23 Mar 2020

[7]  arXiv:2003.09040 [pdf, other]
Title: TF-Coder: Program Synthesis for Tensor Manipulations
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG); Machine Learning (stat.ML)
[ total of 7 entries: 1-7 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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