Programming Languages

Authors and titles for February 2020

[1] arXiv:2002.00620 [pdf, other]

Title: Validating Mathematical Structures

Kazuhiko Sakaguchi

Comments: Preprint of the paper accepted in proceedings of IJCAR 2020, LNCS, Springer, including appendix

Journal-ref: IJCAR 2020, LNCS, Springer, vol. 12167, pp. 138--157

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

[2] arXiv:2002.00776 [pdf, other]

Title: Treating for-Loops as First-Class Citizens in Proofs

Nathan Wasser, Dominic Steinhöfel

Subjects: Programming Languages (cs.PL)

[3] arXiv:2002.01842 [pdf, other]

Title: Patterns for Name Analysis and Type Analysis with JastAdd

Uwe Meyer, Björn Pfarr

Subjects: Programming Languages (cs.PL)

[4] arXiv:2002.01960 [pdf, other]

Title: A Domain Semantics for Higher-Order Recursive Processes

Ryan Kavanagh

Subjects: Programming Languages (cs.PL)

[5] arXiv:2002.02145 [pdf, other]

Title: PolyScientist: Automatic Loop Transformations Combined with Microkernels for Optimization of Deep Learning Primitives

Sanket Tavarageri, Alexander Heinecke, Sasikanth Avancha, Gagandeep Goyal, Ramakrishna Upadrasta, Bharat Kaul

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

[6] arXiv:2002.02171 [pdf, other]

Title: PaSe: An Extensible and Inspectable DSL for Micro-Animations

Ruben P. Pieters, Tom Schrijvers

Subjects: Programming Languages (cs.PL)

[7] arXiv:2002.02268 [pdf, other]

Title: A Language for Describing Optimization Strategies

Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Sergei Gorlatch, Michel Steuwer

Comments: this https URL this https URL

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

[8] arXiv:2002.02710 [pdf, other]

Title: Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity

Pedro Antonino, A. W. Roscoe

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

[9] arXiv:2002.02904 [pdf, other]

Title: RHLE: Modular Deductive Verification of Relational $\forall\exists$ Properties

Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware

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

[10] arXiv:2002.02914 [pdf, other]

Title: Improving the GP 2 Compiler

Graham Campbell, Jack Romo, Detlef Plump

Comments: Technical Report, Department of Computer Science, University of York, 42 pages, 2019

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

[11] arXiv:2002.04607 [pdf, other]

Title: Back to Futures

Klaas Pruiksma, Frank Pfenning

Comments: 31 pages, 3 figures. Submitted to ESOP 2021. This replaces a previous version with similar content, but has been heavily rewritten to reflect increased understanding of the contents

Journal-ref: J. Funct. Prog. 32 (2022) e6

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

[12] arXiv:2002.04903 [pdf, other]

Title: Building Reliable Cloud Services Using P# (Experience Report)

Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer

Subjects: Programming Languages (cs.PL)

[13] arXiv:2002.05796 [pdf, other]

Title: AnyHLS: High-Level Synthesis with Partial Evaluation

M. Akif Özkan, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Roland Leissa, Sebastian Hack, Jürgen Teich, Frank Hannig

Comments: 12 pages, 9 figures

Subjects: Programming Languages (cs.PL)

[14] arXiv:2002.06176 [pdf, other]

Title: Functional Programming in Pattern-Match-Oriented Programming Style

Satoshi Egi (Rakuten Institute of Technology, Japan), Yuichi Nishiwaki (The University of Tokyo, Japan)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 7

Subjects: Programming Languages (cs.PL)

[15] arXiv:2002.06178 [pdf, other]

Title: Programming Paradigms, Turing Completeness and Computational Thinking

Greg Michaelson (Heriot-Watt University, United Kingdom)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 4

Subjects: Programming Languages (cs.PL)

[16] arXiv:2002.06179 [pdf, other]

Title: Generating a Generic Fluent API in Java

Tomoki Nakamaru (The University of Tokyo, Japan), Shigeru Chiba (The University of Tokyo, Japan)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 9

Subjects: Programming Languages (cs.PL)

[17] arXiv:2002.06180 [pdf, other]

Title: Bacatá: Notebooks for DSLs, Almost for Free

Mauricio Verano Merino (Eindhoven University of Technology, Netherlands), Jurgen Vinju (Centrum Wiskunde & Informatica - TU Eindhoven, Netherlands), Tijs van der Storm (CWI - University of Groningen, Netherlands)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 11

Subjects: Programming Languages (cs.PL)

[18] arXiv:2002.06182 [pdf, other]

Title: Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use

Steven Costiou (INRIA, France), Vincent Aranega (INRIA, France), Marcus Denker (INRIA, France)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 5

Subjects: Programming Languages (cs.PL)

[19] arXiv:2002.06183 [pdf, other]

Title: Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System

Jeff Smits (Delft University of Technology, Netherlands), Gabriël D.P. Konat (Delft University of Technology, Netherlands), Eelco Visser (Delft University of Technology, Netherlands)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 16

Subjects: Programming Languages (cs.PL)

[20] arXiv:2002.06184 [pdf, other]

Title: Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala

Pascal Weisenburger (TU Darmstadt, Germany), Guido Salvaneschi (TU Darmstadt, Germany)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 17

Subjects: Programming Languages (cs.PL)

[21] arXiv:2002.06185 [pdf, other]

Title: Robust Contract Evolution in a TypeSafe MicroServices Architecture

João Costa Seco (Universidade NOVA de Lisboa, Portugal), Paulo Ferreira (OutSystems, Portugal), Hugo Lourenço (OutSystems, Portugal), Carla Ferreira (Universidade NOVA de Lisboa, Portugal), Lucio Ferrao (OutSystems, Portugal)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 10

Subjects: Programming Languages (cs.PL)

[22] arXiv:2002.06187 [pdf, other]

Title: Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars

Johannes Mey (TU Dresden, Germany), Thomas Kühn (Karlsruhe Institute of Technology, Germany), René Schöne (TU Dresden, Germany), Uwe Aßmann (TU Dresden, Germany)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 15

Subjects: Programming Languages (cs.PL)

[23] arXiv:2002.06188 [pdf, other]

Title: Gavial: Programming the web with multi-tier FRP

Bob Reynders (Katholieke Universiteit Leuven, Belgium), Frank Piessens (Katholieke Universiteit Leuven, Belgium), Dominique Devriese (Vrije Universiteit Brussel, Belgium)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 6

Subjects: Programming Languages (cs.PL)

[24] arXiv:2002.06190 [pdf, other]

Title: Foundations of a live data exploration environment

Tomas Petricek (University of Kent, United Kingdom)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 8

Subjects: Programming Languages (cs.PL)

[25] arXiv:2002.06223 [pdf, other]

Title: Sthread: In-Vivo Model Checking of Multithreaded Programs

Gene Cooperman (Northeastern University, United States), Martin Quinson (École Normale Supérieure Rennes, France)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 13

Subjects: Programming Languages (cs.PL)

[26] arXiv:2002.07020 [pdf, other]

Title: Fractional Types: Expressive and Safe Space Management for Ancilla Bits

Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry

Comments: For the agda formalization, see this https URL

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

[27] arXiv:2002.07262 [pdf, other]

Title: Denotational semantics as a foundation for cost recurrence extraction for functional languages

Norman Danner, Daniel R. Licata

Comments: Revisions, mostly minor, some more discussion of related work. To appear in Journal of Functional Programming

Journal-ref: Journal of Functional Programming 32, 2022

Subjects: Programming Languages (cs.PL)

[28] arXiv:2002.07770 [pdf, other]

Title: ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs

John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi

Subjects: Programming Languages (cs.PL)

[29] arXiv:2002.08241 [pdf, other]

Title: A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation

Carol Mak, Luke Ong

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

[30] arXiv:2002.08334 [pdf, other]

Title: Holistic Specifications for Robust Programs

Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach

Comments: 44 pages, 1 Table, 11 Figures

Subjects: Programming Languages (cs.PL)

[31] arXiv:2002.08489 [pdf, other]

Title: On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem

Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo

Subjects: Programming Languages (cs.PL)

[32] arXiv:2002.08738 [pdf, other]

Title: Soundness conditions for big-step semantics

Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini

Subjects: Programming Languages (cs.PL)

[33] arXiv:2002.09002 [pdf, other]

Title: RustHorn: CHC-based Verification for Rust Programs (full version)

Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi

Comments: Full version of the same-titled paper in ESOP2020

Subjects: Programming Languages (cs.PL)

[34] arXiv:2002.09030 [pdf, other]

Title: Learning to Represent Programs with Property Signatures

Augustus Odena, Charles Sutton

Comments: ICLR 2020

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

[35] arXiv:2002.09115 [pdf, other]

Title: Symbolic Execution Game Semantics

Yu-Yang Lin, Nikos Tzevelekos

Comments: 41 pages, 5 figures

Subjects: Programming Languages (cs.PL)

[36] arXiv:2002.09519 [pdf, other]

Title: Exponential Automatic Amortized Resource Analysis

David M Kahn, Jan Hoffmann

Subjects: Programming Languages (cs.PL)

[37] arXiv:2002.10213 [pdf, other]

Title: Superoptimization of WebAssembly Bytecode

Javier Cabrera-Arteaga, Shrinish Donde, Jian Gu, Orestis Floros, Lucas Satabin, Benoit Baudry, Martin Monperrus

Comments: 4 pages, 3 figures. Proceedings of MoreVMs: Workshop on Modern Language Runtimes, Ecosystems, and VMs (2020)

Journal-ref: Proceedings of MoreVMs: Workshop on Modern Language Runtimes, Ecosystems, and VMs (2020)

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

[38] arXiv:2002.10900 [pdf, other]

Title: Security Wrappers for Information-Flow Control in Active Object Languages with Futures

Farzane Karami, Olaf Owe, Gerardo Schneider

Subjects: Programming Languages (cs.PL)

[39] arXiv:2002.11054 [pdf, other]

Title: MLIR: A Compiler Infrastructure for the End of Moore's Law

Chris Lattner, Mehdi Amini, Uday Bondhugula, Albert Cohen, Andy Davis, Jacques Pienaar, River Riddle, Tatiana Shpeisman, Nicolas Vasilache, Oleksandr Zinenko

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

[40] arXiv:2002.11562 [pdf, other]

Title: Declarative Programming with Intensional Sets in Java Using JSetL

Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi

Subjects: Programming Languages (cs.PL)

[41] arXiv:2002.12793 [pdf, other]

Title: Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Steen Jakobsen, Mikkel Klinke Kettunen, António Ravara

Subjects: Programming Languages (cs.PL)

[42] arXiv:2002.01184 (cross-list from stat.CO) [pdf, other]

Title: tfp.mcmc: Modern Markov Chain Monte Carlo Tools Built for Modern Hardware

Junpeng Lao, Christopher Suter, Ian Langmore, Cyril Chimisov, Ashish Saxena, Pavel Sountsov, Dave Moore, Rif A. Saurous, Matthew D. Hoffman, Joshua V. Dillon

Comments: Based on extended abstract submitted to PROBPROG 2020

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

[43] arXiv:2002.02702 (cross-list from cs.LG) [pdf, other]

Title: DynamicPPL: Stan-like Speed for Dynamic Probabilistic Models

Mohamed Tarek, Kai Xu, Martin Trapp, Hong Ge, Zoubin Ghahramani

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

[44] arXiv:2002.02884 (cross-list from cs.LG) [pdf, other]

Title: Grammar Filtering For Syntax-Guided Synthesis

Kairo Morton, William Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito

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

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

Title: The Bang Calculus Revisited

Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso

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

[46] arXiv:2002.04694 (cross-list from cs.LG) [pdf, other]

Title: Adversarial Robustness for Code

Pavol Bielik, Martin Vechev

Comments: Proceedings of the 37th International Conference on Machine Learning, Online, PMLR 119, 2020

Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE); Machine Learning (stat.ML)

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

Title: The Abstract Machinery of Interaction (Long Version)

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Comments: Accepted at PPDP 2020

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

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

Title: Did JHotDraw Respect the Law of Good Style?: A deep dive into the nature of false positives of bad code smells

Daniel Speicher (Bonn-Aachen International Center for Information Technology, B-IT, Germany)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 14

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

[49] arXiv:2002.07472 (cross-list from stat.CO) [pdf, other]

Title: A method for deriving information from running R code

Mark P.J. van der Loo

Comments: 11 pages, 1 figure. Accepted for publication by the R Journal (2020-02-20)

Subjects: Computation (stat.CO); Programming Languages (cs.PL)

[50] arXiv:2002.07951 (cross-list from cs.DB) [pdf, other]

Title: SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra

Yisu Remy Wang, Shana Hutchison, Jonathan Leang, Bill Howe, Dan Suciu

Subjects: Databases (cs.DB); Programming Languages (cs.PL)