We gratefully acknowledge support from
the Simons Foundation and member institutions.

Programming Languages

Authors and titles for cs.PL in Jan 2021

[ total of 63 entries: 1-63 ]
[ showing 63 entries per page: fewer | more ]
[1]  arXiv:2101.00930 [pdf, ps, other]
Title: Lassie: HOL4 Tactics by Example
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
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
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
Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)
[7]  arXiv:2101.04742 [pdf, ps, other]
Title: Programming and Reasoning with Partial Observability
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
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
Comments: arXiv admin note: substantial text overlap with arXiv:2001.02209
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
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 Refinement for Asynchronous Session Types (extended version)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[15]  arXiv:2101.08458 [pdf, other]
Title: UNIT: Unifying Tensorized Instruction Compilation
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
Subjects: Programming Languages (cs.PL)
[17]  arXiv:2101.09032 [pdf, other]
Title: Checking Robustness Between Weak Transactional Consistency Models
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
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
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)
Subjects: Programming Languages (cs.PL)
[23]  arXiv:2101.09700 [pdf, other]
Title: A greedy algorithm for dropping digits (Functional Pearl)
Subjects: Programming Languages (cs.PL)
[24]  arXiv:2101.09783 [pdf, other]
Title: Termination Analysis Without the Tears
Subjects: Programming Languages (cs.PL)
[25]  arXiv:2101.10233 [pdf, other]
Title: Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains
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
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)
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
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
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
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
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
Comments: 11 pages with appendices
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]
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
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
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
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
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
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
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) [html]
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, ps, other]
Title: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
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
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
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)
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
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
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
[53]  arXiv:2101.11501 (cross-list from cs.AI) [pdf]
Title: Evolution of artificial intelligence languages, a systematic literature review
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
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
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
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
Comments: 13 pages
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
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
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
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
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
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
Subjects: Medical Physics (physics.med-ph); Programming Languages (cs.PL)
[ total of 63 entries: 1-63 ]
[ showing 63 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2205, contact, help  (Access key information)