Programming Languages

Authors and titles for February 2020

[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)