Programming Languages

Authors and titles for September 2021

[1] arXiv:2109.00311 [pdf, other]

Title: Termination Analysis for the $π$-Calculus by Reduction to Sequential Program Termination

Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada

Comments: A shorter version will appear in Proceedings of APLAS 2021

Subjects: Programming Languages (cs.PL)

[2] arXiv:2109.00445 [pdf, other]

Title: Linked visualisations via Galois dependencies

Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang

Comments: Extended paper with additional supporting material

Subjects: Programming Languages (cs.PL)

[3] arXiv:2109.00619 [pdf, other]

Title: Learning compositional programs with arguments and sampling

Giovanni De Toni, Luca Erculiani, Andrea Passerini

Comments: Accepted at the Tenth International Workshop on Statistical Relational AI (International Joint Conference on Learning & Reasoning 2021)

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

[4] arXiv:2109.00673 [pdf, other]

Title: Supporting CUDA for an extended RISC-V GPU architecture

Ruobing Han, Blaise Tine, Jaewon Lee, Jaewoong Sim, Hyesoon Kim

Subjects: Programming Languages (cs.PL)

[5] arXiv:2109.01950 [pdf, other]

Title: Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version)

Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

Comments: OOPSLA '21, extended version

Subjects: Programming Languages (cs.PL)

[6] arXiv:2109.02196 [pdf, other]

Title: Quantum CPOs

Andre Kornell (Tulane University, New Orleans, US), Bert Lindenhovius (Johannes Kepler University, Austria), Michael Mislove (Tulane University, New Orleans, US)

Comments: In Proceedings QPL 2020, arXiv:2109.01534

Journal-ref: EPTCS 340, 2021, pp. 174-187

Subjects: Programming Languages (cs.PL); Emerging Technologies (cs.ET)

[7] arXiv:2109.02198 [pdf, other]

Title: Quantum Hoare Type Theory: Extended Abstract

Kartik Singhal (University of Chicago), John Reppy (University of Chicago)

Comments: In Proceedings QPL 2020, arXiv:2109.01534. See expanded version at arXiv:2012.02154

Journal-ref: EPTCS 340, 2021, pp. 291-302

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

[8] arXiv:2109.02409 [pdf, other]

Title: QSSA: An SSA-based IR for Quantum Computing

Anurudh Peduri, Siddharth Bhat

Comments: 20 pages, 16 figures

Subjects: Programming Languages (cs.PL)

[9] arXiv:2109.02458 [pdf, other]

Title: On non-structural subtype entailment

Aleksy Schubert

Comments: The paper contains error in formulation of Lemma 5.5, which invalidates the further construction

Subjects: Programming Languages (cs.PL)

[10] arXiv:2109.02810 [pdf, other]

Title: An Inversion Tool for Conditional Term Rewriting Systems -- A Case Study of Ackermann Inversion

Maria Bendix Mikkelsen (DIKU, University of Copenhagen, Denmark), Robert Glück (DIKU, University of Copenhagen, Denmark), Maja H. Kirkeby (Roskilde University, Denmark)

Comments: In Proceedings VPT 2021, arXiv:2109.02001

Journal-ref: EPTCS 341, 2021, pp. 33-41

Subjects: Programming Languages (cs.PL)

[11] arXiv:2109.02812 [pdf, other]

Title: Program Specialization as a Tool for Solving Word Equations

Antonina Nepeivoda

Comments: In Proceedings VPT 2021, arXiv:2109.02001. arXiv admin note: text overlap with arXiv:2007.12247

Journal-ref: EPTCS 341, 2021, pp. 42-72

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

[12] arXiv:2109.02814 [pdf, other]

Title: An Empirical Study of Partial Deduction for miniKanren

Ekaterina Verbitskaia (JetBrains Research), Daniil Berezun (SPbSU, JetBrains Research), Dmitry Boulytchev (SPbSU, JetBrains Research)

Comments: In Proceedings VPT 2021, arXiv:2109.02001

Journal-ref: EPTCS 341, 2021, pp. 73-94

Subjects: Programming Languages (cs.PL)

[13] arXiv:2109.02958 [pdf, other]

Title: Multi-Level Quickening: Ten Years Later

Stefan Brunthaler

Subjects: Programming Languages (cs.PL)

[14] arXiv:2109.02991 [pdf, other]

Title: Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic

Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur

Subjects: Programming Languages (cs.PL)

[15] arXiv:2109.03139 [pdf, other]

Title: An Executable Structural Operational Formal Semantics for Python

Maximilian A. Köhl

Subjects: Programming Languages (cs.PL)

[16] arXiv:2109.03950 [pdf, other]

Title: Study of the Subtyping Machine of Nominal Subtyping with Variance (full version)

Ori Roth

Journal-ref: Proc. ACM Program. Lang. 5 (2021) 27 pages

Subjects: Programming Languages (cs.PL)

[17] arXiv:2109.04258 [pdf, other]

Title: A Derivative-based Parser Generator for Visibly Pushdown Grammars

Xiaodong Jia, Ashish Kumar, Gang Tan

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

[18] arXiv:2109.04629 [pdf, other]

Title: An Overview of the HFL Model Checking Project

Naoki Kobayashi (The University of Tokyo)

Comments: In Proceedings HCVS 2021, arXiv:2109.03988

Journal-ref: EPTCS 344, 2021, pp. 1-12

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

[19] arXiv:2109.04630 [pdf, other]

Title: Termination Analysis of Programs with Multiphase Control-Flow

Jesús J. Domenech (Universidad Complutense de Madrid), Samir Genaim (Universidad Complutense de Madrid)

Comments: In Proceedings HCVS 2021, arXiv:2109.03988

Journal-ref: EPTCS 344, 2021, pp. 13-21

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

[20] arXiv:2109.05049 [pdf, other]

Title: Solver-based Gradual Type Migration

Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, Arjun Guha

Subjects: Programming Languages (cs.PL)

[21] arXiv:2109.05631 [pdf, other]

Title: Verifying Concurrent Multicopy Search Structures

Nisarg Patel, Siddharth Krishna, Dennis Shasha, Thomas Wies

Comments: Extended version of an article to appear in OOPSLA'21

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

[22] arXiv:2109.06114 [pdf, other]

Title: One Down, 699 to Go: or, synthesising compositional desugarings

Sándor Bartha, James Cheney, Vaishak Belle

Comments: To appear, PACM:PL(OOPSLA) 2021

Subjects: Programming Languages (cs.PL)

[23] arXiv:2109.06132 [pdf, other]

Title: Specifying and Testing GPU Workgroup Progress Models

Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson

Comments: OOPSLA 2021

Subjects: Programming Languages (cs.PL)

[24] arXiv:2109.06493 [pdf, other]

Title: Formal Methods for Quantum Programs: A Survey

Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu

Subjects: Programming Languages (cs.PL)

[25] arXiv:2109.06557 [pdf, other]

Title: The concept of class invariant in object-oriented programming

Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov

Comments: Revised version following refereeing

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

[26] arXiv:2109.07382 [pdf, other]

Title: Toward Modern Fortran Tooling and a Thriving Developer Community

Milan Curcic, Ondřej Čertík, Brad Richardson, Sebastian Ehlert, Laurence Kedward, Arjen Markus, Ivan Pribec, Jérémie Vandenplas

Comments: Submitted to ACM Fortran Forum

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

[27] arXiv:2109.07541 [pdf, other]

Title: Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom

Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad

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

[28] arXiv:2109.07863 [pdf, other]

Title: Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal

Journal-ref: Proc. ACM Program. Lang., Vol. 8, No. POPL, Article 9. Publication date: January 2024

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

[29] arXiv:2109.07923 [pdf, other]

Title: Efficient Path-Sensitive Data-Dependence Analysis

Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang

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

[30] arXiv:2109.08267 [pdf, other]

Title: CompilerGym: Robust, Performant Compiler Optimization Environments for AI Research

Chris Cummins, Bram Wasti, Jiadong Guo, Brandon Cui, Jason Ansel, Sahir Gomez, Somya Jain, Jia Liu, Olivier Teytaud, Benoit Steiner, Yuandong Tian, Hugh Leather

Comments: 12 pages. Source code available at this https URL

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

[31] arXiv:2109.08291 [pdf, other]

Title: Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch

Paul Tarau (University of North Texas)

Comments: In Proceedings ICLP 2021, arXiv:2109.07914

Journal-ref: EPTCS 345, 2021, pp. 141-154

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[32] arXiv:2109.08298 [pdf, other]

Title: Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming

Sarat Chandra Varanasi (The University of Texas at Dallas), Neeraj Mittal (The University of Texas at Dallas), Gopal Gupta (The University of Texas at Dallas)

Comments: In Proceedings ICLP 2021, arXiv:2109.07914. arXiv admin note: substantial text overlap with arXiv:2011.04045

Journal-ref: EPTCS 345, 2021, pp. 219-233

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

[33] arXiv:2109.11397 [pdf, other]

Title: Position Paper: Goals of the Luau Type System

Lily Brown, Andy Friesen, Alan Jeffrey

Comments: In HATRA '21: Human Aspects of Types and Reasoning Assistants 2021

Subjects: Programming Languages (cs.PL)

[34] arXiv:2109.11802 [pdf, other]

Title: Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization

Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin

Subjects: Programming Languages (cs.PL)

[35] arXiv:2109.12473 [pdf, other]

Title: Statically Bounded-Memory Delayed Sampling for Probabilistic Streams

Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin

Comments: The following is a summary of the changes in each revision. [v2] corrected the URL for the code repository. [v3] corrected the definition of the m-consumed semantic property. [v4] fixed a typo. [v5] added this comment

Journal-ref: Proc. ACM Program. Lang. 5, OOPSLA, Article 115 (October 2021)

Subjects: Programming Languages (cs.PL)

[36] arXiv:2109.12997 [pdf, other]

Title: Benchmarking the Status of Default Pseudorandom Number Generators in Common Programming Languages

Nils van den Honert, Diederick Vermetten, Anna V. Kononova

Subjects: Programming Languages (cs.PL)

[37] arXiv:2109.13001 [pdf, other]

Title: I$\heartsuit$LA: Compilable Markdown for Linear Algebra

Yong Li, Shoaib Kamil, Alec Jacobson, Yotam Gingold

Subjects: Programming Languages (cs.PL); Graphics (cs.GR)

[38] arXiv:2109.14908 [pdf, other]

Title: Proceedings 14th Interaction and Concurrency Experience

Julien Lange (Royal Holloway, University of London), Anastasia Mavridou (KBR/NASA Ames Research Center), Larisa Safina (INRIA), Alceste Scalas (Technical University of Denmark)

Journal-ref: EPTCS 347, 2021

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

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

Title: CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation

Yue Wang, Weishi Wang, Shafiq Joty, Steven C.H. Hoi

Comments: Accepted to EMNLP 2021. 13 pages

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

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

Title: Indexing Context-Sensitive Reachability

Qingkai Shi, Yongchao Wang, Charles Zhang

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

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

Title: Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly

Rodothea Myrsini Tsoupidi, Musard Balliu, Benoit Baudry

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

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

Title: A Survey of the Proof-Theoretic Foundations of Logic Programming

Dale Miller

Comments: To appear in Theory and Practice of Logic Programming (TPLP)

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

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

Title: Proceedings of the 9th International Workshop on Verification and Program Transformation

Alexei Lisitsa (The University of Liverpool, UK), Andrei P. Nemytykh (Program Systems Institute of RAS, Russia)

Journal-ref: EPTCS 341, 2021

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

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

Title: Gottesman Types for Quantum Programs

Robert Rand (University of Chicago), Aarthi Sundaram (Microsoft Quantum), Kartik Singhal (University of Chicago), Brad Lackey (Microsoft Quantum and University of Maryland)

Comments: In Proceedings QPL 2020, arXiv:2109.01534. arXiv admin note: substantial text overlap with arXiv:2101.08939

Journal-ref: EPTCS 340, 2021, pp. 279-290

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

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

Title: Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis

Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

Comments: To be published in OOPSLA 2021

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

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

Title: Compiler-Driven FPGA Virtualization with SYNERGY

Joshua Landgraf, Tiffany Yang, Will Lin, Christopher J. Rossbach, Eric Schkufza

Journal-ref: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2021), 2021, pp. 818-831

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

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

Title: Improving Dynamic Code Analysis by Code Abstraction

Isabella Mastroeni (Department of Computer Science, University of Verona (Italy)), Vincenzo Arceri (Department of Environmental Sciences, Informatics and Statistics, Ca' Foscari University of Venice (Italy))

Comments: In Proceedings VPT 2021, arXiv:2109.02001

Journal-ref: EPTCS 341, 2021, pp. 17-32

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

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

Title: SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices)

Pengbo Yan, Toby Murray

Comments: Extended version of conference paper published at OOPSLA 2021

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

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

Title: Conjectures, Tests and Proofs: An Overview of Theory Exploration

Moa Johansson (Chalmers University of Technology), Nicholas Smallbone (Chalmers University of Technology)

Comments: In Proceedings VPT 2021, arXiv:2109.02001

Journal-ref: EPTCS 341, 2021, pp. 1-16

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Logic (math.LO)

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

Title: Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses

Jerome Jochems

Comments: In Proceedings HCVS 2021, arXiv:2109.03988

Journal-ref: EPTCS 344, 2021, pp. 36-64

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