We gratefully acknowledge support from
the Simons Foundation
and member institutions

Programming Languages

Authors and titles for recent submissions

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

Mon, 19 Feb 2018

[1]  arXiv:1802.05918 [pdf, other]
Title: Compositional Verification of Compiler Optimisations on Relaxed Memory
Comments: Extended version of the paper from ESOP'18
Subjects: Programming Languages (cs.PL)
[2]  arXiv:1802.05863 [pdf, ps, other]
Title: A Calculus for Modeling Floating Authorizations
Authors: Jovanka Pantovic (1), Ivan Prokic (1), Hugo Torres Vieira (2) ((1) Faculty of Technical Sciences, University of Novi Sad, (2) IMT School for Advanced Studies Lucca)
Subjects: Programming Languages (cs.PL)
[3]  arXiv:1802.05862 (cross-list from cs.LO) [html]
Title: Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Authors: Horatiu Cirstea (LORIA, Université de Lorraine, France), David Sabel (Goethe-University Frankfurt am Main, Germany)
Journal-ref: EPTCS 265, 2018
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Thu, 15 Feb 2018

[4]  arXiv:1802.04970 (cross-list from cs.LO) [pdf, other]
Title: Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[5]  arXiv:1802.04799 (cross-list from cs.LG) [pdf, other]
Title: TVM: End-to-End Optimization Stack for Deep Learning
Comments: Longer version of SysML publication, arxiv version of UW techreport this https URL
Subjects: Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

Wed, 14 Feb 2018

[6]  arXiv:1802.04730 [pdf, other]
Title: Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
Subjects: Programming Languages (cs.PL); Learning (cs.LG)
[7]  arXiv:1802.04428 [pdf, other]
Title: Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[8]  arXiv:1802.04408 [pdf, other]
Title: REAS: Combining Numerical Optimization with SAT Solving
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)
[9]  arXiv:1802.04335 (cross-list from cs.AI) [pdf, other]
Title: Neural Program Search: Solving Programming Tasks from Description and Examples
Comments: 9 pages, 3 figures, ICLR workshop
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Programming Languages (cs.PL)

Tue, 13 Feb 2018

[10]  arXiv:1802.03998 [pdf, other]
Title: Erlang Code Evolution Control (Use Cases)
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[11]  arXiv:1802.03950 [pdf, ps, other]
Title: Quasi-Optimal Partial Order Reduction
Comments: 32 pages, 6 figures and 3 tables
Subjects: Programming Languages (cs.PL)
[12]  arXiv:1802.03478 [pdf]
Title: Programming Requests/Responses with GreatFree in the Cloud Environment
Authors: Bing Li
Comments: 20 pages, 16 listings, 4 figures, 4 tables, International Journal of Distributed and Parallel Systems, 2018
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[13]  arXiv:1802.03691 (cross-list from cs.AI) [pdf, other]
Title: Tree-to-tree Neural Networks for Program Translation
Comments: Early version accepted in ICLR 2018 workshop
Subjects: Artificial Intelligence (cs.AI); Learning (cs.LG); Programming Languages (cs.PL)

Mon, 12 Feb 2018

[14]  arXiv:1802.03155 (cross-list from cs.NE) [pdf]
Title: Web-Based Implementation of Travelling Salesperson Problem Using Genetic Algorithm
Subjects: Neural and Evolutionary Computing (cs.NE); Programming Languages (cs.PL)
[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)