Programming Languages

Authors and titles for cs.PL in Dec 2021

[1]  arXiv:2112.00364 [pdf, other]

Title: Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference

Authors: Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman

Journal-ref: Programming Languages and Systems. ESOP 2022. Lecture Notes in Computer Science, volume 13240

Subjects: Programming Languages (cs.PL)

[2]  arXiv:2112.01397 [pdf, other]

Title: Efficient Calling Conventions for Irregular Architectures

Authors: Philipp K. Krause

Subjects: Programming Languages (cs.PL)

[3]  arXiv:2112.01593 [pdf, other]

Title: Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version)

Authors: Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

Comments: 24 pages, plus appendices. Extended version of a paper in the Post-proceedings of TYPES 2021. arXiv admin note: text overlap with arXiv:2104.14759

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

[4]  arXiv:2112.02945 [pdf, other]

Title: Configuration Space Exploration for Digital Printing Systems

Authors: Jasper Denkers, Marvin Brunner, Louis van Gool, Eelco Visser

Comments: 24 pages, 11 figures. This is an extended version of this https URL

Journal-ref: Calinescu R., P\u{a}s\u{a}reanu C.S. (eds) Software Engineering and Formal Methods. SEFM 2021. Lecture Notes in Computer Science, vol 13085. Springer, Cham

Subjects: Programming Languages (cs.PL)

[5]  arXiv:2112.03653 [pdf, ps, other]

Title: A Specification for Typed Template Haskell

Authors: Matthew Pickering, Andres Löh, Nicolas Wu

Subjects: Programming Languages (cs.PL)

[6]  arXiv:2112.04352 [pdf, other]

Title: Efficient Data Race Detection of Async-Finish Programs Using Vector Clocks

Authors: Shivam Kumar, Anupam Agrawal, Swarnendu Biswas

Comments: 13 pages

Subjects: Programming Languages (cs.PL)

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

Title: Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion

Authors: Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken

Comments: 16 pages, 2 figures, submitted to TACAS 2022

Subjects: Programming Languages (cs.PL)

[8]  arXiv:2112.05964 [src]

Title: Overcoming Restraint: Composing Verification of Foreign Functions with Cogent

Authors: Louis Cheung, Liam O'Connor, Christine Rizkallah

Comments: This paper should have been submitted as an update for arXiv:2102.09920

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

[9]  arXiv:2112.06039 [pdf, other]

Title: CertiStr: A Certified String Solver (technical report)

Authors: Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Micha Schrader

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[10]  arXiv:2112.06148 [pdf, other]

Title: Programming with Neural Surrogates of Programs

Authors: Alex Renda, Yi Ding, Michael Carbin

Journal-ref: Onward! 2021

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

[11]  arXiv:2112.06984 [pdf, other]

Title: Implementing a Category-Theoretic Framework for Typed Abstract Syntax

Authors: Benedikt Ahrens, Ralph Matthes, Anders Mörtberg

Journal-ref: In Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP '22), 2022, ACM, New York, NY, USA

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

[12]  arXiv:2112.07636 [pdf, ps, other]

Title: Forwarders as Process Compatibility, Logically

Authors: Marco Carbone, Sonia Marin, Carsten Schürmann

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

[13]  arXiv:2112.07817 [pdf, other]

Title: Simulating Large Eliminations in Cedille

Authors: Christopher Jenkins, Andrew Marmaduke, Aaron Stump

Subjects: Programming Languages (cs.PL)

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

Title: Reflective Metagraph Rewriting as a Foundation for an AGI "Language of Thought"

Authors: Ben Goertzel

Subjects: Programming Languages (cs.PL)

[15]  arXiv:2112.08273 [pdf, other]

Title: Programming Knowledge Tracing: A Comprehensive Dataset and A New Model

Authors: Renyu Zhu, Dongxiang Zhang, Chengcheng Han, Ming Gao, Xuesong Lu, Weining Qian, Aoying Zhou

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

[16]  arXiv:2112.11077 [pdf, other]

Title: A Small-Step Operational Semantics for GP 2

Authors: Brian Courtehoute (University of York, United Kingdom), Detlef Plump (University of York, United Kingdom)

Comments: In Proceedings GCM 2021, arXiv:2112.10217

Journal-ref: EPTCS 350, 2021, pp. 89-110

Subjects: Programming Languages (cs.PL)

[17]  arXiv:2112.11879 [pdf, other]

Title: Lifting C Semantics for Dataflow Optimization

Authors: Alexandru Calotoiu, Tal Ben-Nun, Grzegorz Kwasniewski, Johannes de Fine Licht, Timo Schneider, Philipp Schaad, Torsten Hoefler

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

[18]  arXiv:2112.11988 [pdf, other]

Title: Reducing Programs to Objects

Authors: Yegor Bugayenko

Subjects: Programming Languages (cs.PL)

[19]  arXiv:2112.12693 [pdf, other]

Title: Deadlock-free asynchronous message reordering in Rust with multiparty session types

Authors: Zak Cutner, Nobuko Yoshida, Martin Vassor

Comments: Full-version, 24 pages. Short version to appear in PPoPP 2022. Updated according to the latest modifications of the camera-ready conference version

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

[20]  arXiv:2112.12823 [pdf, other]

Title: A Rationale-Based Classification of MISRA C Guidelines

Authors: Roberto Bagnara, Abramo Bagnara, Patricia M. Hill

Comments: 12 pages, 2 figures

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

[21]  arXiv:2112.12869 [pdf, ps, other]

Title: A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging

Authors: Juan José González-Abril, Germán Vidal

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

[22]  arXiv:2112.14048 [pdf, ps, other]

Title: Monads for Measurable Queries in Probabilistic Databases

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

Comments: In Proceedings MFPS 2021, arXiv:2112.13746

Journal-ref: EPTCS 351, 2021, pp. 34-50

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

[23]  arXiv:2112.14053 [pdf, ps, other]

Title: From Semantics to Types: the Case of the Imperative lambda-Calculus

Authors: Ugo de'Liguoro, Riccardo Treglia

Comments: In Proceedings MFPS 2021, arXiv:2112.13746. arXiv admin note: substantial text overlap with arXiv:2104.01358

Journal-ref: EPTCS 351, 2021, pp. 168-183

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

[24]  arXiv:2112.14679 [pdf, other]

Title: Profile Guided Optimization without Profiles: A Machine Learning Approach

Authors: Nadav Rotem, Chris Cummins

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

[25]  arXiv:2112.14714 [pdf, other]

Title: Automated Code Optimization with E-Graphs

Authors: Alessandro Cheli

Comments: Bachelor Thesis in Computer Science, University of Pisa

Subjects: Programming Languages (cs.PL); Symbolic Computation (cs.SC)

[26]  arXiv:2112.14716 [pdf, ps, other]

Title: Exploring Aspects of Polyglot High-Performance Virtual Machine GraalVM

Authors: M. Šipek, B. Mihaljević, A. Radovan

Comments: 6 pages, 4 figures, 3 tables

Journal-ref: 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), Opatija, Croatia, 2019, pp. 1671-1676,

Subjects: Programming Languages (cs.PL)

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

Title: Deriving Distributive Laws for Graded Linear Types

Authors: Jack Hughes (University of Kent), Michael Vollmer (University of Kent), Dominic Orchard (University of Kent)

Comments: In Proceedings Linearity&TLLA 2020, arXiv:2112.14305

Journal-ref: EPTCS 353, 2021, pp. 109-131

Subjects: Programming Languages (cs.PL)

[28]  arXiv:2112.00206 (cross-list from cs.CV) [pdf, other]

Title: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation

Authors: Edward Kim, Jay Shenoy, Sebastian Junges, Daniel Fremont, Alberto Sangiovanni-Vincentelli, Sanjit Seshia

Comments: pre-print

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Robotics (cs.RO)

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

Title: Conflict-free Collaborative Set Sharing for Distributed Systems

Authors: Masato Takeichi

Comments: 11 pages, 3 figures

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

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

Title: Operation-based Collaborative Data Sharing for Distributed Systems

Authors: Masato Takeichi

Comments: 11 pages, 4 figures

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

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

Title: Graph Conditioned Sparse-Attention for Improved Source Code Understanding

Authors: Junyan Cheng, Iordanis Fostiropoulos, Barry Boehm

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

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

Title: Memory-efficient array redistribution through portable collective communication

Authors: Norman A. Rink, Adam Paszke, Dimitrios Vytiniotis, Georg Stefan Schmid

Comments: minor errata fixed

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

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

Title: Simplifying heterogeneous migration between x86 and ARM machines

Authors: Nikolaos Mavrogeorgis

Comments: 3 pages, 1 figure, submitted and accepted at EuroSys Doctoral Workshop 2021 (no proceedings)

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

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

Title: Dynamic Sparse Tensor Algebra Compilation

Authors: Stephen Chou, Saman Amarasinghe

Comments: 15 pages, 16 figures

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

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

Title: VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning

Authors: Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Graham Neubig, Bogdan Vasilescu, Claire Le Goues

Comments: Accepted by ICSE 2022

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

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

Title: Jigsaw: Large Language Models meet Program Synthesis

Authors: Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma

Comments: Accepted to ICSE'22

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

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

Title: Towards Neural Functional Program Evaluation

Authors: Torsten Scholak, Jonathan Pilault, Joey Velez-Ginorio

Comments: 9 pages. Accepted at the AIPLANS workshop at NeurIPS 2021

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

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

Title: BCD: A Cross-Architecture Binary Comparison Database Experiment Using Locality Sensitive Hashing Algorithms

Authors: Haoxi Tan

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

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

Title: A simple proof of three properties on Simpson's 4-slot Algorithm

Authors: Xu Wang, Qiwen Xu

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

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

Title: Bento and the Art of Repeated Research

Authors: Peter-Jan Gootzen, Animesh Trivedi

Subjects: Operating Systems (cs.OS); Programming Languages (cs.PL)

[41]  arXiv:2112.07064 (cross-list from cs.CY) [pdf, ps, other]

Title: Ergo -- a programming language for Smart Legal Contracts

Authors: Niall Roche, Walter Hernandez, Eason Chen, Jérôme Siméon, Dan Selman

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

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

Title: Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library

Authors: Paulo Emílio de Vilhena, François Pottier

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (October 23, 2023) lmcs:8851

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

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

Title: FLOWER: A comprehensive dataflow compiler for high-level synthesis

Authors: Puya Amiri, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Roland Leißa, Sebastian Hack

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

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

Title: Distilling the Real Cost of Production Garbage Collectors

Authors: Zixian Cai, Stephen M. Blackburn, Michael D. Bond, Martin Maas

Comments: Camera-ready version

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

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

Title: Programmatic Reward Design by Example

Authors: Weichao Zhou, Wenchao Li

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

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

Title: A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code

Authors: Ho Young Jhoo, Sehoon Kim, Woosung Song, Kyuyeon Park, DongKwon Lee, Kwangkeun Yi

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

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

Title: Chat2Code: Towards conversational concrete syntax for model specification and code generation, the case of smart contracts

Authors: Ilham Qasse, Shailesh Mishra, Mohammad Hamdaqa

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL)

[48]  arXiv:2112.11226 (cross-list from cs.LG) [src]

Title: Energy-bounded Learning for Robust Models of Code

Authors: Nghi D. Q. Bui, Yijun Yu

Comments: There are some flaws in our experiments, we would like to fix it and publish a fixed version again in the very near future

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

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

Title: Model Sketching by Abstraction Refinement for Lifted Model Checking (Extended Version)

Authors: Aleksandar S. Dimovski

Comments: 6 pages

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

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

Title: Security Risks of Porting C Programs to WebAssembly

Authors: Quentin Stiévenart, Coen De Roover, Mohammad Ghafari

Comments: The 37th ACM/SIGAPP Symposium on Applied Computing (SAC'22), 2022. arXiv admin note: text overlap with arXiv:2111.01421

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