Programming Languages

Authors and titles for December 2018

[1] arXiv:1812.00089 [pdf, other]

Title: Parametric Denotational Semantics for Extensible Language Definition and Program Analysis

In-Ho Yi

Subjects: Programming Languages (cs.PL)

[2] arXiv:1812.00992 [pdf, other]

Title: Ann: A domain-specific language for the effective design and validation of Java annotations

Irene Córdoba, Juan de Lara

Comments: 45 pages, 14 figures, 2016 journal publication. arXiv admin note: text overlap with arXiv:1807.03566

Journal-ref: Computer Languages, Systems and Structures, 45:164-190, 2016

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[3] arXiv:1812.01069 [pdf, other]

Title: Undecidability of Inferring Linear Integer Invariants

Sharon Shoham

Subjects: Programming Languages (cs.PL)

[4] arXiv:1812.01329 [pdf, other]

Title: JANUS: Fast and Flexible Deep Learning via Symbolic Graph Execution of Imperative Programs

Eunji Jeong, Sungwoo Cho, Gyeong-In Yu, Joo Seong Jeong, Dong-Jin Shin, Byung-Gon Chun

Comments: Appeared in NSDI 2019

Journal-ref: 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2019)

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

[5] arXiv:1812.03571 [pdf, other]

Title: Practical Optional Types for Clojure

Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt

Subjects: Programming Languages (cs.PL)

[6] arXiv:1812.03992 [pdf, other]

Title: Optimizing Frameworks Performance Using C++ Modules Aware ROOT

Yuka Takahashi (1 and 2), Vassil Vassilev (1), Oksana Shadura (3), Raphael Isemann (2 and 4) ((1) Princeton University (2) CERN (3) University of Nebraska Lincoln (4) Chalmers University of Technology)

Comments: 8 pages, 3 figures, 6 listing, CHEP 2018 - 23rd International Conference on Computing in High Energy and Nuclear Physics

Subjects: Programming Languages (cs.PL)

[7] arXiv:1812.04077 [pdf, other]

Title: BRISC-V Emulator: A Standalone, Installation-Free, Browser-Based Teaching Tool

Mihailo Isakov, Michel A. Kinsy

Subjects: Programming Languages (cs.PL)

[8] arXiv:1812.04090 [pdf, other]

Title: Relational Cost Analysis for Functional-Imperative Programs

Weihao Qu, Marco Gaboardi, Deepak Garg

Comments: 14 pages

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

[9] arXiv:1812.04125 [pdf, other]

Title: Yaps: Python Frontend to Stan

Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar

Subjects: Programming Languages (cs.PL)

[10] arXiv:1812.04905 [pdf, other]

Title: CAMLroot: revisiting the OCaml FFI

Frédéric Bour

Subjects: Programming Languages (cs.PL)

[11] arXiv:1812.05067 [pdf, other]

Title: Bidirectional Type Checking for Relational Properties

Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg

Comments: 14 pages

Subjects: Programming Languages (cs.PL)

[12] arXiv:1812.06197 [pdf, other]

Title: Truly Visual Polymorphic Algebraic Data Structures through Maramafication

Chide Groenouwe, Jesse Nortier, John-Jules Ch. Meyer

Subjects: Programming Languages (cs.PL)

[13] arXiv:1812.07429 [pdf, other]

Title: CPEG: A Typed Tree Construction from Parsing Expression Grammars with Regex-Like Captures

Daisuke Yamaguchi, Kimio Kuramitsu

Comments: Accepted for publication in the proceedings of the 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)

Subjects: Programming Languages (cs.PL)

[14] arXiv:1812.07439 [pdf, other]

Title: Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs

Daniel Lundén, David Broman, Fredrik Ronquist, Lawrence M. Murray

Comments: 19 pages, 10 figures

Subjects: Programming Languages (cs.PL)

[15] arXiv:1812.08278 [pdf, other]

Title: Coroutines with Higher Order Functions

Dimitri Racordon

Comments: 6 pages

Subjects: Programming Languages (cs.PL)

[16] arXiv:1812.08829 [pdf, other]

Title: Formal Specification and Verification of Smart Contracts for Azure Blockchain

Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer

Comments: 13 pages

Subjects: Programming Languages (cs.PL)

[17] arXiv:1812.09411 [pdf, other]

Title: Correct by construction

M.H. van Emden

Comments: 16 pages, 4 figures

Subjects: Programming Languages (cs.PL)

[18] arXiv:1812.10891 [pdf, other]

Title: Proceedings ML Family Workshop / OCaml Users and Developers workshops

Kenichi Asai (Ochanomizu University), Mark Shinwell (Jane Street Europe)

Journal-ref: EPTCS 285, 2018

Subjects: Programming Languages (cs.PL)

[19] arXiv:1812.11664 [pdf, other]

Title: Eff Directly in OCaml

Oleg Kiselyov (Tohoku University, Japan), KC Sivaramakrishnan (University of Cambridge, UK)

Comments: In Proceedings ML/OCAML 2016, arXiv:1812.10891

Journal-ref: EPTCS 285, 2018, pp. 23-58

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

[20] arXiv:1812.11665 [pdf, other]

Title: Generic Programming in OCaml

Florent Balestrieri (ENSTA-ParisTech), Michel Mauny (Inria Paris)

Comments: In Proceedings ML/OCAML 2016, arXiv:1812.10891

Journal-ref: EPTCS 285, 2018, pp. 59-100

Subjects: Programming Languages (cs.PL)

[21] arXiv:1812.11668 [pdf, other]

Title: Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers

Timothy Bourke (Inria Paris & École normale supérieure, PSL University), Jun Inoue (National Institute of Advanced Industrial Science and Technology), Marc Pouzet (Sorbonne Universités, UPMC Univ Paris 06 & École normale supérieure, PSL University & Inria Paris)

Comments: In Proceedings ML/OCAML 2016, arXiv:1812.10891

Journal-ref: EPTCS 285, 2018, pp. 101-130

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

[22] arXiv:1812.11838 [pdf, other]

Title: Property-based testing for Spark Streaming

Adrián Riesco, Juan Rodríguez-Hortalá

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

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

[23] arXiv:1812.11918 [pdf, other]

Title: Whittemore: An embedded domain specific language for causal programming

Joshua Brulé

Comments: 7 pages, 6 figures

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Methodology (stat.ME)

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

Title: Debugging Smart Contract's Business Logic Using Symbolic Model-Checking

Evgeniy Shishkin

Comments: 16 pages

Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Programming Languages (cs.PL)

[25] arXiv:1812.01099 (cross-list from physics.geo-ph) [pdf, other]

Title: R scripting libraries for comparative analysis of the correlation methods to identify factors affecting Mariana Trench formation

Polina Lemenkova

Comments: 8 pages; 11 figures

Journal-ref: Journal of Marine Technology and Environment 2 (2018) 35-42

Subjects: Geophysics (physics.geo-ph); Programming Languages (cs.PL)