We gratefully acknowledge support from
the Simons Foundation
and member institutions

Programming Languages

Authors and titles for recent submissions

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

Tue, 12 Dec 2017

[1]  arXiv:1712.03894 [pdf, other]
Title: Coqatoo: Generating Natural Language Versions of Coq Proofs
Authors: Andrew Bedford
Comments: International Workshop on Coq for Programming Languages (CoqPL 2018)
Subjects: Programming Languages (cs.PL)

Mon, 11 Dec 2017

[2]  arXiv:1712.03112 [pdf, other]
Title: Effective Extensible Programming: Unleashing Julia on GPUs
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[3]  arXiv:1712.02869 (cross-list from cs.AI) [pdf, other]
Title: Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation
Authors: Harold Boley, Gen Zou
Comments: 39 pages, 5 figures, 2 tables
Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Programming Languages (cs.PL)

Wed, 6 Dec 2017

[4]  arXiv:1712.01718 (cross-list from cs.SE) [pdf, other]
Title: An LLVM Instrumentation Plug-in for Score-P
Comments: 8 pages
Journal-ref: LLVM-HPC'17: Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC, 2017, 2:1--2:8
Subjects: Software Engineering (cs.SE); Performance (cs.PF); Programming Languages (cs.PL)
[5]  arXiv:1712.01281 (cross-list from astro-ph.EP) [pdf, other]
Title: Studying tidal effects in planetary systems with Posidonius. A N-body simulator written in Rust
Comments: To appear in the "EWASS Special Session 4 (2017): Star-planet interactions" proceedings
Subjects: Earth and Planetary Astrophysics (astro-ph.EP); Instrumentation and Methods for Astrophysics (astro-ph.IM); Solar and Stellar Astrophysics (astro-ph.SR); Programming Languages (cs.PL)

Tue, 5 Dec 2017

[6]  arXiv:1712.01163 [pdf, other]
Title: Introspection for C and its Applications to Library Robustness
Authors: Manuel Rigger (Johannes Kepler University Linz, Austria), Rene Mayrhofer (Johannes Kepler University Linz, Austria), Roland Schatz (Oracle Labs, Austria), Matthias Grimmer (Oracle Labs, Austria), Hanspeter Mössenböck (Johannes Kepler University Linz, Austria)
Journal-ref: The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 2, Article 4
Subjects: Programming Languages (cs.PL)
[7]  arXiv:1712.01161 [pdf, other]
Title: Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications
Authors: Laure Philips (Software Languages Lab, Belgium), Joeri De Koster (Vrije Universiteit Brussel, Belgium), Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium), Coen De Roover (Vrije Universiteit Brussel, Belgium)
Journal-ref: The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 2, Article 3
Subjects: Programming Languages (cs.PL)
[8]  arXiv:1712.01024 (cross-list from cs.SE) [pdf, other]
Title: A Quantitative Study of Java Software Buildability
Journal-ref: Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2016), pages 17-25. ACM, 2016
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[9]  arXiv:1712.01014 (cross-list from cs.LO) [pdf, other]
Title: Generalizing inference systems by coaxioms
Comments: Master Thesis supervised by Davide Ancona and Elena Zucca, University of Genova, 2017
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[10]  arXiv:1712.00898 (cross-list from cs.LO) [html]
Title: Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving
Journal-ref: EPTCS 262, 2017
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

Fri, 1 Dec 2017

[11]  arXiv:1711.11396 [pdf, other]
Title: An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code
Comments: Submitted to PLDI 2018
Subjects: Programming Languages (cs.PL)
[12]  arXiv:1711.11211 [pdf, other]
Title: On Asynchrony and Choreographies
Authors: Luís Cruz-Filipe (University of Southern Denmark), Fabrizio Montesi (University of Southern Denmark)
Comments: In Proceedings ICE 2017, arXiv:1711.10708
Journal-ref: EPTCS 261, 2017, pp. 76-90
Subjects: Programming Languages (cs.PL)
[13]  arXiv:1711.11438 (cross-list from cs.SE) [pdf, other]
Title: SyGuS-Comp 2017: Results and Analysis
Authors: Rajeev Alur (1), Dana Fisman (2), Rishabh Singh (3), Armando Solar-Lezama (4) ((1) University of Pennsylvania, (2) Ben-Gurion University, (3) Microsoft Research, Redmond, (4) Massachusetts Institute of Technology)
Comments: In Proceedings SYNT 2017, arXiv:1711.10224. arXiv admin note: text overlap with arXiv:1611.07627, arXiv:1602.01170
Journal-ref: EPTCS 260, 2017, pp. 97-115
Subjects: Software Engineering (cs.SE); Learning (cs.LG); Programming Languages (cs.PL)
[ total of 13 entries: 1-13 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)