Programming Languages

Authors and titles for July 2017

[1] arXiv:1707.00639 [pdf, other]

Title: Checking Linearizability of Concurrent Priority Queues

Ahmed Bouajjani, Constantin Enea, Chao Wang

Comments: An extended abstract is published in the Proceedings of CONCUR 2017

Subjects: Programming Languages (cs.PL)

[2] arXiv:1707.01277 [pdf, other]

Title: Combining Forward and Backward Abstract Interpretation of Horn Clauses

Alexey Bakhirkin (VERIMAG - IMAG), David Monniaux (VERIMAG - IMAG)

Comments: Francesco Ranzato. 24th International Static Analysis Symposium (SAS), Aug 2017, New York City, United States. Springer, Static Analysis

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[3] arXiv:1707.01469 [pdf, other]

Title: Synthesis of Data Completion Scripts using Finite Tree Automata

Xinyu Wang, Isil Dillig, Rishabh Singh

Subjects: Programming Languages (cs.PL)

[4] arXiv:1707.01550 [pdf, other]

Title: Information-gain computation

Anthony Di Franco

Comments: Accepted, PLP 2017 (this http URL) Revised version of project for Phys 256B @ Davis (this http URL) Reduces to practice ideas previously presented in arXiv:1505.00002 and at this https URL

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Information Theory (cs.IT)

[5] arXiv:1707.01989 [pdf, other]

Title: Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version)

Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson

Subjects: Programming Languages (cs.PL)

[6] arXiv:1707.02029 [pdf, other]

Title: LoopInvGen: A Loop Invariant Generator based on Precondition Inference

Saswat Padhi, Rahul Sharma, Todd Millstein

Comments: Tool Description ( for technical details, see our PLDI paper at this https URL ), SyGuS-COMP'19 Competition Contribution, 4 pages

Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)

[7] arXiv:1707.02115 [pdf, other]

Title: A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4

Heiko Becker, Nikita Zyuzin, Raphael Monat, Eva Darulova, Magnus O. Myreen, Anthony Fox

Subjects: Programming Languages (cs.PL)

[8] arXiv:1707.02118 [pdf, other]

Title: Sound Mixed-Precision Optimization with Rewriting

Eva Darulova, Einar Horn, Saksham Sharma

Subjects: Programming Languages (cs.PL)

[9] arXiv:1707.02121 [pdf, other]

Title: On Sound Relative Error Bounds for Floating-Point Arithmetic

Anastasiia Izycheva, Eva Darulova

Subjects: Programming Languages (cs.PL)

[10] arXiv:1707.02347 [pdf, other]

Title: Applying the Polyhedral Model to Tile Time Loops in Devito

Dylan McCormick

Subjects: Programming Languages (cs.PL); Mathematical Software (cs.MS)

[11] arXiv:1707.02466 [pdf, other]

Title: Recalling a Witness: Foundations and Applications of Monotonic State

Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy

Comments: POPL'18 camera ready

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

[12] arXiv:1707.02590 [pdf, other]

Title: Refinable Function : An Object-oriented Approach to Procedure Modularity

Hiun Kim

Comments: limitations of evaluation

Subjects: Programming Languages (cs.PL)

[13] arXiv:1707.02772 [pdf, other]

Title: Probabilistic Program Equivalence for NetKAT

Steffen Smolka, Praveen Kumar, Nate Foster, Justin Hsu, David Kahn, Dexter Kozen, Alexandra Silva

Subjects: Programming Languages (cs.PL)

[14] arXiv:1707.02894 [pdf, other]

Title: Kleene Algebra Modulo Theories

Michael Greenberg, Ryan Beckett, Eric Campbell

Comments: PLDI 2022

Subjects: Programming Languages (cs.PL)

[15] arXiv:1707.03668 [pdf, other]

Title: Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems

Herbert Wiklicky (1), Erik de Vink (2) ((1) Imperial College London (2) Eindhoven University of Technology)

Journal-ref: EPTCS 250, 2017

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[16] arXiv:1707.03762 [pdf, other]

Title: Revisiting Elementary Denotational Semantics

Jeremy G. Siek

Comments: 25 pages, revision of POPL 2018 submission, now under submission to ESOP 2018

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[17] arXiv:1707.04127 [pdf, other]

Title: Bridging Static and Dynamic Program Analysis using Fuzzy Logic

Jacob Lidman (Chalmers University of Technology), Josef Svenningsson (Chalmers University of Technology)

Comments: In Proceedings QAPL 2017, arXiv:1707.03668

Journal-ref: EPTCS 250, 2017, pp. 111-126

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[18] arXiv:1707.04148 [pdf, other]

Title: On Repair with Probabilistic Attribute Grammars

Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor Kuncak

Subjects: Programming Languages (cs.PL)

[19] arXiv:1707.04245 [pdf, other]

Title: Hot-Rodding the Browser Engine: Automatic Configuration of JavaScript Compilers

Chris Fawcett, Lars Kotthoff, Holger H. Hoos

Comments: 11 pages, long version of a poster presented at CGO 2016

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Performance (cs.PF)

[20] arXiv:1707.04600 [pdf, other]

Title: One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax

James Koppel, Varot Premtoon, Armando Solar-Lezama

Journal-ref: Proc. ACM Program. Lang., Vol. 2, No. OOPSLA, Article 122. Publication date: November 2018

Subjects: Programming Languages (cs.PL)

[21] arXiv:1707.04704 [pdf, other]

Title: The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs

Panos Rondogiannis, Ioanna Symeonidou

Comments: Paper presented at the 33rd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017. Under consideration for acceptance in TPLP. 16 pages (article) + 9 pages (appendix)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[22] arXiv:1707.04755 [pdf, other]

Title: Abstracting Definitional Interpreters

David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn

Journal-ref: Proc. ACM Program. Lang. 1, ICFP, Article 12 (September 2017)

Subjects: Programming Languages (cs.PL)

[23] arXiv:1707.04984 [pdf, other]

Title: FabULous Interoperability for ML and a Linear Language

Gabriel Scherer, Max New, Nick Rioux, Amal Ahmed

Comments: Published in Fossacs 2018

Subjects: Programming Languages (cs.PL)

[24] arXiv:1707.05881 [pdf, other]

Title: On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory

Alan Jeffrey, James Riely

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (March 29, 2019) lmcs:3804

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[25] arXiv:1707.05923 [pdf, other]

Title: Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility

Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind

Journal-ref: Parallel Architectures and Compilation Techniques (PACT), 2017 26th International Conference on, pp. 288-302. IEEE, 2017

Subjects: Programming Languages (cs.PL)

[26] arXiv:1707.06685 [pdf, other]

Title: A monadic solution to the Cartwright-Felleisen-Wadler conjecture

Ohad Kammar, Dylan McDermott

Comments: Talk proposal uploaded for archival purposes

Subjects: Programming Languages (cs.PL)

[27] arXiv:1707.06901 [pdf, other]

Title: A Verified Compiler for Probability Density Functions

Manuel Eberl, Johannes Hölzl, Tobias Nipkow

Comments: Presented at ESOP 2015

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Probability (math.PR)

[28] arXiv:1707.07845 [pdf, other]

Title: Design and Implementation of a Reversible Object-Oriented Programming Language

Tue Haulund

Comments: Master's Thesis, 110 pages, 55 figures

Subjects: Programming Languages (cs.PL)

[29] arXiv:1707.07872 [pdf, other]

Title: An Executable Specification of Typing Rules for Extensible Records based on Row Polymorphism

Ki Yung Ahn

Subjects: Programming Languages (cs.PL)

[30] arXiv:1707.02034 (cross-list from cs.LO) [pdf, other]

Title: Complete Call-by-Value Calculi of Control Operators II: Strong Termination

Ryu Hasegawa

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 1 (March 2, 2021) lmcs:3777

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[31] arXiv:1707.02056 (cross-list from cs.LO) [pdf, other]

Title: Complete Call-by-Value Calculi of Control Operators, I

Ryu Hasegawa

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[32] arXiv:1707.02652 (cross-list from cs.DM) [pdf, other]

Title: Generation and analysis of lamplighter programs

Carlos Martin

Comments: Added section 7 (sampling random programs) and section 8 (distribution of runtimes)

Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL); Combinatorics (math.CO); Group Theory (math.GR)

[33] arXiv:1707.03555 (cross-list from cs.SE) [pdf, other]

Title: Verifying Array Manipulating Programs by Tiling

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Comments: Published in SAS 2017

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[34] arXiv:1707.04126 (cross-list from cs.LO) [pdf, other]

Title: Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination

Diego Latella (Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo"), Mieke Massink (Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo")

Comments: In Proceedings QAPL 2017, arXiv:1707.03668

Journal-ref: EPTCS 250, 2017, pp. 92-110

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[35] arXiv:1707.04314 (cross-list from stat.ML) [pdf, other]

Title: Bayesian Optimization for Probabilistic Programs

Tom Rainforth, Tuan Anh Le, Jan-Willem van de Meent, Michael A. Osborne, Frank Wood

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Computation (stat.CO)

[36] arXiv:1707.04724 (cross-list from cs.LO) [pdf, other]

Title: Memoisation: Purely, Left-recursively, and with (Continuation Passing) Style

Samer Abdallah

Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL); Programming Languages (cs.PL)

[37] arXiv:1707.05599 (cross-list from cs.LO) [pdf, other]

Title: Inspecting Maude Variants with GLINTS

María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 15 pages, LaTeX, 7 PDF figures, 2 PNG figures

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)