Programming Languages

Authors and titles for cs.PL in Jan 2021

[1]  arXiv:2101.00930 [pdf, ps, other]

Title: Lassie: HOL4 Tactics by Example

Authors: Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar

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

[2]  arXiv:2101.01312 [pdf, other]

Title: An Ownership Policy and Deadlock Detector for Promises

Authors: Caleb Voss, Vivek Sarkar

Journal-ref: Principles and Practice of Parallel Programming, 2021, ACM, pp. 348-361

Subjects: Programming Languages (cs.PL)

[3]  arXiv:2101.03391 [pdf, other]

Title: Paradoxes of Probabilistic Programming

Authors: Jules Jacobs

Subjects: Programming Languages (cs.PL)

[4]  arXiv:2101.04102 [pdf, other]

Title: Query Lifting: Language-integrated query for heterogeneous nested collections

Authors: Wilmer Ricciotti, James Cheney

Comments: Full version of ESOP 2021 conference paper

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

[5]  arXiv:2101.04622 [pdf, other]

Title: Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types

Authors: Anson Miu (1 and 2), Francisco Ferreira (1), Nobuko Yoshida (1), Fangyi Zhou (1) ((1) Imperial College London, (2) Bloomberg)

Comments: Long version for the paper accepted at CC '21

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

[6]  arXiv:2101.04718 [pdf, other]

Title: Declarative Demand-Driven Reverse Engineering

Authors: Yihao Sun, Jeffrey Ching, Kristopher Micinski

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

[7]  arXiv:2101.04742 [pdf, ps, other]

Title: Programming and Reasoning with Partial Observability

Authors: Eric Atkinson, Michael Carbin

Journal-ref: Proc. ACM Program. Lang. 4, OOPSLA, Article 200 (November 2020), 28 pages

Subjects: Programming Languages (cs.PL)

[8]  arXiv:2101.04808 [pdf, other]

Title: MLGO: a Machine Learning Guided Compiler Optimizations Framework

Authors: Mircea Trofin (1), Yundi Qian (1), Eugene Brevdo (1), Zinan Lin (2), Krzysztof Choromanski (1), David Li (1) ((1) Google, Inc., (2) Carnegie Mellon University)

Comments: First two authors are equal contributors

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

[9]  arXiv:2101.05702 [pdf, other]

Title: Structural Analysis of Multimode DAE Systems: summary of results

Authors: Albert Benveniste (HYCOMES), Benoît Caillaud (HYCOMES), Mathias Malandain (HYCOMES)

Comments: arXiv admin note: substantial text overlap with arXiv:2008.05166

Subjects: Programming Languages (cs.PL)

[10]  arXiv:2101.06249 [pdf, ps, other]

Title: Manifestly Phased Communication via Shared Session Types

Authors: Chuta Sano, Stephanie Balzer, Frank Pfenning

Comments: Extended and revised version of a paper presented at COORDINATION 2021

Subjects: Programming Languages (cs.PL)

[11]  arXiv:2101.06757 [pdf, other]

Title: Higher Order Automatic Differentiation of Higher Order Functions

Authors: Mathieu Huot, Sam Staton, Matthijs Vákár

Comments: arXiv admin note: substantial text overlap with arXiv:2001.02209

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (March 22, 2022) lmcs:7106

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

[12]  arXiv:2101.06759 [pdf, other]

Title: Proceedings of the 2020 Scheme and Functional Programming Workshop

Authors: Baptiste Saleil, Michael D. Adams

Comments: 85 pages; 30 figures; workshop website at this https URL

Subjects: Programming Languages (cs.PL)

[13]  arXiv:2101.08095 [pdf, ps, other]

Title: Automatic Differentiation via Effects and Handlers: An Implementation in Frank

Authors: Jesse Sigal

Comments: Appeared as short paper in PEPM'21, see this https URL for associated talk

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

[14]  arXiv:2101.08181 [pdf, ps, other]

Title: Fair Asynchronous Session Subtyping

Authors: Mario Bravetti, Julien Lange, Gianluigi Zavattaro

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

[15]  arXiv:2101.08458 [pdf, other]

Title: UNIT: Unifying Tensorized Instruction Compilation

Authors: Jian Weng, Animesh Jain, Jie Wang, Leyuan Wang, Yida Wang, Tony Nowatzki

Comments: 13 pages, 13 figures, and 1 table

Journal-ref: 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), Seoul, Korea (South), 2021, pp. 77-89

Subjects: Programming Languages (cs.PL); Hardware Architecture (cs.AR); Machine Learning (cs.LG); Performance (cs.PF)

[16]  arXiv:2101.08733 [pdf, other]

Title: Deductive Verification of Floating-Point Java Programs in KeY

Authors: Rosa Abbasi Boroujeni, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt

Subjects: Programming Languages (cs.PL)

[17]  arXiv:2101.09032 [pdf, other]

Title: Checking Robustness Between Weak Transactional Consistency Models

Authors: Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Comments: 38 pages, 7 figures, 2 tables, extended version of ESOP 2021 conference paper

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

[18]  arXiv:2101.09038 [pdf, ps, other]

Title: A Decentralized Analysis of Multiparty Protocols

Authors: Bas van den Heuvel, Jorge A. Pérez

Comments: extended proofs following anonymous reviews

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

[19]  arXiv:2101.09408 [pdf, ps, other]

Title: Equational reasoning for non-determinism monad: the case of Spark aggregation

Authors: Shin-Cheng Mu

Subjects: Programming Languages (cs.PL)

[20]  arXiv:2101.09409 [pdf, ps, other]

Title: Calculating a backtracking algorithm: an exercise in monadic program derivation

Authors: Shin-Cheng Mu

Subjects: Programming Languages (cs.PL)

[21]  arXiv:2101.09619 [pdf, other]

Title: Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System

Authors: Pascual Julián-Iranzo, Fernando Sáenz-Pérez

Comments: To be published in the Journal of Theory and Practice of Logic Programming, 17 pages, 4 figures, 5 tables

Subjects: Programming Languages (cs.PL)

[22]  arXiv:2101.09699 [pdf, other]

Title: Longest segment of balanced parentheses -- an exercise in program inversion in a segment problem (Functional Pearl)

Authors: Shin-Cheng Mu, Tsung-Ju Chiang

Journal-ref: Journal of Functional Programming , Volume 31 , 2021 , e31

Subjects: Programming Languages (cs.PL)

[23]  arXiv:2101.09700 [pdf, other]

Title: A greedy algorithm for dropping digits (Functional Pearl)

Authors: Richard Bird, Shin-Cheng Mu

Journal-ref: Journal of Functional Programming , Volume 31 , 2021 , e29

Subjects: Programming Languages (cs.PL)

[24]  arXiv:2101.09783 [pdf, other]

Title: Termination Analysis Without the Tears

Authors: Shaowei Zhu, Zachary Kincaid

Subjects: Programming Languages (cs.PL)

[25]  arXiv:2101.10233 [pdf, other]

Title: Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains

Authors: Snigdha Athaiya, Raghavan Komondoor, K Narayan Kumar

Comments: 61 pages, 4 figures, 3 Tables, European Symposium on Programming 2021

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

[26]  arXiv:2101.10479 [pdf, other]

Title: A Monad for Probabilistic Point Processes

Authors: Swaraj Dash (University of Oxford), Sam Staton (University of Oxford)

Comments: In Proceedings ACT 2020, arXiv:2101.07888

Journal-ref: EPTCS 333, 2021, pp. 19-32

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

[27]  arXiv:2101.11320 [pdf, ps, other]

Title: Tutorial implementation of Hoare logic in Haskell

Authors: Boro Sitnikovski

Comments: Added sample implementation for H-Consequence, H-While, and another example; Added CoI section, tweaks to labels for 'boptimize'; Improved Hoare logic implementation by relying on actual Propositional calculus and Number theory systems, rather than toy optimization functions; improve formula printer; small tweak updates. Associated files are available at this https URL

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

[28]  arXiv:2101.11351 [pdf, other]

Title: Compositional Semantics for Probabilistic Programs with Exact Conditioning

Authors: Dario Stein, Sam Staton

Comments: 16 pages, 5 figures

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)

[29]  arXiv:2101.11421 [pdf, ps, other]

Title: Deriving monadic quicksort (Declarative Pearl)

Authors: Shin-Cheng Mu, Tsung-Ju Chiang

Journal-ref: In Nakano K., Sagonas K. (eds) Functional and Logic Programming (FLOPS 2020). LNCS 12073. pp 124-138. 2020

Subjects: Programming Languages (cs.PL); Data Structures and Algorithms (cs.DS)

[30]  arXiv:2101.12299 [pdf, other]

Title: Putting gradual types to work

Authors: Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek

Journal-ref: Practical Aspects of Declarative Languages (2021) 54-70

Subjects: Programming Languages (cs.PL)

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

Title: Fair Training of Decision Tree Classifiers

Authors: Francesco Ranzato, Caterina Urban, Marco Zanella

Subjects: Machine Learning (cs.LG); Computers and Society (cs.CY); Programming Languages (cs.PL)

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

Title: Learning Differentially Private Mechanisms

Authors: Subhajit Roy, Justin Hsu, Aws Albarghouthi

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

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

Title: New Directions in Cloud Programming

Authors: Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano

Journal-ref: CIDR 2021

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Databases (cs.DB); Operating Systems (cs.OS); Programming Languages (cs.PL)

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

Title: Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs

Authors: Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata

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

[35]  arXiv:2101.02522 (cross-list from cs.CL) [pdf, other]

Title: Towards a Smart Data Processing and Storage Model

Authors: Ronie Salgado, Marcus Denker (RMOD), Stéphane Ducasse (RMOD), Anne Etien (RMOD), Vincent Aranega (RMOD)

Journal-ref: IWST20: International Workshop on Smalltalk Technologies, Sep 2020, Novi Sad, Serbia

Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL); Software Engineering (cs.SE)

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

Title: Theorem Proving and Algebra

Authors: Joseph A. Goguen

Comments: 427+ xviii pages, 38 figures, Unfinished book by Joseph A. Goguen, Edited by Kokichi Futatsugi, Narciso Mart\'i-Oliet and Jos\'e Meseguer; revised version corrects some strange characters in page xv

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

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

Title: Neurosymbolic Transformers for Multi-Agent Communication

Authors: Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama

Journal-ref: NeurIPS 2020

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

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

Title: SyReNN: A Tool for Analyzing Deep Neural Networks

Authors: Matthew Sotoudeh, Aditya V. Thakur

Comments: Accepted paper at TACAS 2021. Tool is available at this https URL

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

[39]  arXiv:2101.04395 (cross-list from cs.DC) [pdf, ps, other]

Title: Symbolic Loop Compilation for Tightly Coupled Processor Arrays

Authors: Michael Witterauf, Dominik Walter, Frank Hannig, Jürgen Teich

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Programming Languages (cs.PL)

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

Title: Type4Py: Practical Deep Similarity Learning-Based Type Inference for Python

Authors: Amir M. Mir, Evaldas Latoskinas, Sebastian Proksch, Georgios Gousios

Comments: Preprint for the ICSE'22 technical track

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

[41]  arXiv:2101.06039 (cross-list from cs.CR) [pdf, other]

Title: Secure Optimization Through Opaque Observations

Authors: Son Tuan Vu, Albert Cohen, Karine Heydemann, Arnaud de Grandmaison, Christophe Guillon

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

[42]  arXiv:2101.06087 (cross-list from cs.LO) [pdf, ps, other]

Title: An Abstract Contract Theory for Programs with Procedures

Authors: Christian Lidström, Dilian Gurov (KTH Royal Institute of Technology, Stockholm, Sweden)

Comments: 24 pages. This is the full version of the paper An Abstract Contract Theory for Programs with Procedures, published in Proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering (FASE 2021), which includes the proofs of all theorems and additional examples. The conference version should always be cited

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

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

Title: ConE: A Concurrent Edit Detection Tool for Large Scale Software Development

Authors: Chandra Maddila, Nachiappan Nagappan, Christian Bird, Georgios Gousios, Arie van Deursen

Journal-ref: ACM Transactions on Software Engineering and Methodology (TOSEM), 2022, 31(2)

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

[44]  arXiv:2101.07888 (cross-list from cs.DM) [pdf, ps, other]

Title: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020

Authors: David I. Spivak (Massachusetts Institute of Technology), Jamie Vicary (University of Cambridge)

Journal-ref: EPTCS 333, 2021

Subjects: Discrete Mathematics (cs.DM); Programming Languages (cs.PL)

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

Title: Improving type information inferred by decompilers with supervised machine learning

Authors: Javier Escalada (1), Ted Scully (2), Francisco Ortin (1 and 2) ((1) University of Oviedo, (2) Cork Institute of Technology)

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

[46]  arXiv:2101.08491 (cross-list from cs.LO) [pdf, ps, other]

Title: Complete trace models of state and control

Authors: Guilhem Jaber (GALLINETTE, LS2N), Andrzej S. Murawski

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

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

Title: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond

Authors: Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 4 (October 21, 2022) lmcs:7606

Subjects: Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

[48]  arXiv:2101.08720 (cross-list from cs.FL) [pdf, ps, other]

Title: Leafy Automata for Higher-Order Concurrency

Authors: Alex Dixon, Ranko Lazić, Andrzej S. Murawski, Igor Walukiewicz

Comments: 18 pages plus appendices

Subjects: Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

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

Title: PyGlove: Symbolic Programming for Automated Machine Learning

Authors: Daiyi Peng, Xuanyi Dong, Esteban Real, Mingxing Tan, Yifeng Lu, Hanxiao Liu, Gabriel Bender, Adam Kraft, Chen Liang, Quoc V. Le

Comments: NeurIPS 2020 Oral

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

[50]  arXiv:2101.09042 (cross-list from cs.LO) [pdf, ps, other]

Title: PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)

Authors: Marie-Christine Jakobs

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

[51]  arXiv:2101.10720 (cross-list from cs.LO) [pdf, ps, other]

Title: A program logic for fresh name generation

Authors: Harold Pancho Eliott, Martin Berger

Comments: 15 core pages accepted for publication in FSEN 2021, +60 pages of proofs included in appendix

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

[52]  arXiv:2101.11049 (cross-list from cs.DC) [pdf, other]

Title: C-for-Metal: High Performance SIMD Programming on Intel GPUs

Authors: Guei-Yuan Lueh, Kaiyu Chen, Gang Chen, Joel Fuentes, Wei-Yu Chen, Fangwen Fu, Hong Jiang, Hongzheng Li, Daniel Rhee

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

[53]  arXiv:2101.11501 (cross-list from cs.AI) [pdf, ps, other]

Title: Evolution of artificial intelligence languages, a systematic literature review

Authors: Emmanuel Adetiba, Temitope John, Adekunle Akinrinmade, Funmilayo Moninuola, Oladipupo Akintade, Joke Badejo

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

[54]  arXiv:2101.11730 (cross-list from cs.LO) [pdf, ps, other]

Title: Alignment Completeness for Relational Hoare Logics

Authors: Ramana Nagasamudram, David A. Naumann

Comments: Minor revision of original. To appear in LICS 2021 but this version has appendix

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

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

Title: Type-Based Analysis of Logarithmic Amortised Complexity

Authors: Martin Hofmann, Lorenz Leutgeb, Georg Moser, David Obwaller, Florian Zuleger

Comments: 35 pages. arXiv admin note: text overlap with arXiv:1807.08242

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

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

Title: Safety Verification of Parameterized Systems under Release-Acquire

Authors: Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer

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

[57]  arXiv:2101.02993 (cross-list from quant-ph) [pdf, other]

Title: Efficient decomposition of unitary matrices in quantum circuit compilers

Authors: A. M. Krol, A. Sarkar, I. Ashraf, Z. Al-Ars, K. Bertels

Comments: 13 pages

Journal-ref: Appl. Sci. 2022, 12(2), 759;

Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)

[58]  arXiv:2101.08939 (cross-list from quant-ph) [pdf, other]

Title: A Rich Type System for Quantum Programs

Authors: Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey

Comments: 49 pages, 3 figures

Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[59]  arXiv:2101.09031 (cross-list from hep-ph) [pdf, other]

Title: CutLang V2: towards a unified Analysis Description Language

Authors: G. Unel, S. Sekmen, A. M. Toon, B. Gokturk, B. Orgen, A. Paul, N. Ravel, J. Setpal

Comments: published version

Journal-ref: Front. Big Data 4:659986, 2021

Subjects: High Energy Physics - Phenomenology (hep-ph); Programming Languages (cs.PL)

[60]  arXiv:2101.10491 (cross-list from math.CT) [pdf, ps, other]

Title: Categorical semantics of a simple differential programming language

Authors: Geoffrey Cruttwell, Jonathan Gallagher, Dorette Pronk

Comments: In Proceedings ACT 2020, arXiv:2101.07888

Journal-ref: EPTCS 333, 2021, pp. 289-310

Subjects: Category Theory (math.CT); Programming Languages (cs.PL)

[61]  arXiv:2101.11030 (cross-list from quant-ph) [pdf, other]

Title: Enabling Dataflow Optimization for Quantum Programs

Authors: David Ittah, Thomas Häner, Vadym Kliuchnikov, Torsten Hoefler

Comments: 15 pages, 7 figures, 4 tables. To be published in ACM Transactions on Quantum Computing - Special Issue on Software Tools for Quantum Computing

Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Programming Languages (cs.PL)

[62]  arXiv:2101.11365 (cross-list from quant-ph) [pdf, other]

Title: A MLIR Dialect for Quantum Assembly Languages

Authors: Alexander McCaskey, Thien Nguyen

Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)

[63]  arXiv:2101.12624 (cross-list from physics.med-ph) [pdf, ps, other]

Title: MRIReco.jl: An MRI Reconstruction Framework written in Julia

Authors: Tobias Knopp, Mirco Grosser

Subjects: Medical Physics (physics.med-ph); Programming Languages (cs.PL)