We gratefully acknowledge support from
the Simons Foundation
and member institutions

Programming Languages

Authors and titles for recent submissions

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

Thu, 23 Nov 2017

[1]  arXiv:1711.08349 [pdf, other]
Title: Relational Symbolic Execution
Subjects: Programming Languages (cs.PL)
[2]  arXiv:1711.08029 [pdf, other]
Title: Program Synthesis using Conflict-Driven Learning
Subjects: Programming Languages (cs.PL)

Wed, 22 Nov 2017

[3]  arXiv:1711.07606 [pdf]
Title: Programmatic Control of a Compiler for Generating High-performance Spatial Hardware
Authors: Hongbo Rong
Subjects: Programming Languages (cs.PL)

Tue, 21 Nov 2017

[4]  arXiv:1711.07257 [pdf, ps, other]
Title: Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra
Comments: An earlier version of this paper has been submitted to TACAS 2018 (this http URL) for peer-review. Compared to the submitted paper, this version contains more up-to-date benchmarks in Section 6
Subjects: Programming Languages (cs.PL)
[5]  arXiv:1711.07148 [pdf, other]
Title: Data-Driven Feedback Generation for Introductory Programming Exercises
Comments: 12 pages
Subjects: Programming Languages (cs.PL); Computers and Society (cs.CY); Software Engineering (cs.SE)
[6]  arXiv:1711.07163 (cross-list from cs.AI) [pdf, other]
Title: Dynamic Neural Program Embedding for Program Repair
Comments: 9 pages
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

Mon, 20 Nov 2017

[7]  arXiv:1711.06467 [pdf, other]
Title: WYS*: A Verified Language Extension for Secure Multi-party Computations
Subjects: Programming Languages (cs.PL)

Fri, 17 Nov 2017

[8]  arXiv:1711.06115 [pdf, other]
Title: An introduction to approximate computing
Subjects: Programming Languages (cs.PL)
[9]  arXiv:1711.06092 [pdf, other]
Title: Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication
Subjects: Programming Languages (cs.PL)
[10]  arXiv:1711.05787 (cross-list from cs.DB) [pdf, other]
Title: WebRelate: Integrating Web Data with Spreadsheets using Examples
Comments: To appear in POPL 2018
Subjects: Databases (cs.DB); Programming Languages (cs.PL)
[ total of 10 entries: 1-10 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)