Programming Languages

Authors and titles for October 2021

[1] arXiv:2110.00446 [pdf, other]

Title: CHAD for Expressive Total Languages

Fernando Lucatelli Nunes, Matthijs Vákár

Comments: Under review at MSCS

Journal-ref: Mathematical Structures in Computer Science, 33(4-5):311-426, 2023

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Category Theory (math.CT)

[2] arXiv:2110.00677 [pdf, other]

Title: SolType: Refinement Types for Arithmetic Overflow in Solidity

Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng

Comments: To appear in POPL '22. This is the extended version of the paper with the proofs, after the main text went through peer review. 51 pages, 15 figures

Subjects: Programming Languages (cs.PL)

[3] arXiv:2110.01439 [pdf, other]

Title: SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation

Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu

Comments: CSF 2022 pre-print with extra appendices

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

[4] arXiv:2110.01964 [pdf, other]

Title: Deductive Verification of Programs with Underspecified Semantics by Model Extraction

Eduard Kamburjan, Nathan Wasser

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

[5] arXiv:2110.02307 [pdf, other]

Title: Coarsening Optimization for Differentiable Programming

Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Steffi Stumpos, Alanna Tempest, Christy Warden, Shannon Yang

Comments: This is the preprint of a paper to be published at OOPSLA'2021

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

[6] arXiv:2110.02769 [pdf, other]

Title: Visibility Reasoning for Concurrent Snapshot Algorithms

Joakim Öhman, Aleksandar Nanevski

Comments: 45 pages, 12 figures

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

[7] arXiv:2110.03806 [pdf, other]

Title: Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load

Michael Coblenz

Comments: 8 pages. In HATRA 2021

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

[8] arXiv:2110.03868 [pdf, other]

Title: Towards Learning (Dis)-Similarity of Source Code from Program Contrasts

Yangruibo Ding, Luca Buratti, Saurabh Pujar, Alessandro Morari, Baishakhi Ray, Saikat Chakraborty

Comments: ACL 2022 Camera-Ready

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

[9] arXiv:2110.04461 [pdf, other]

Title: Toward Hole-Driven Development with Liquid Haskell

Patrick Redmond, Gan Shen, Lindsey Kuper

Comments: Accepted for publication at HATRA 2021

Subjects: Programming Languages (cs.PL)

[10] arXiv:2110.05043 [pdf, other]

Title: Robust Safety for Move

Marco Patrignani, Sam Blackshear

Subjects: Programming Languages (cs.PL)

[11] arXiv:2110.05390 [pdf, other]

Title: Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching

Osbert Bastani

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

[12] arXiv:2110.05404 [pdf, other]

Title: Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages

Vikraman Choudhury, Jacek Karwowski, Amr Sabry

Comments: Conditionally accepted to POPL'22

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

[13] arXiv:2110.05444 [pdf, other]

Title: User-driven Design and Evaluation of Liquid Types in Java

Catarina Gamboa, Paulo Alexandre Santos, Christopher S. Timperley, Alcides Fonseca

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

[14] arXiv:2110.05771 [pdf, other]

Title: Toward SMT-Based Refinement Types in Agda

Gan Shen, Lindsey Kuper

Comments: Accepted for publication at HATRA 2021

Subjects: Programming Languages (cs.PL)

[15] arXiv:2110.06107 [pdf, other]

Title: Generic Level Polymorphic N-ary Functions

Guillaume Allais

Comments: Draft of the Tyde19 paper

Journal-ref: TyDe 2019: Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development (Pages 14-26)

Subjects: Programming Languages (cs.PL)

[16] arXiv:2110.07018 [pdf, other]

Title: Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra

Yuxiang Peng, Mingsheng Ying, Xiaodi Wu

Comments: extended version, 23 pages, 6 figures, to appear at the 43rd ACM SIGPLAN PLDI 2022

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

[17] arXiv:2110.07349 [pdf, other]

Title: A Functional Abstraction of Typed Invocation Contexts

Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 3 (September 15, 2022) lmcs:8581

Subjects: Programming Languages (cs.PL)

[18] arXiv:2110.07493 [pdf, other]

Title: Parallel Algebraic Effect Handlers

Ningning Xie, Daniel D. Johnson, Dougal Maclaurin, Adam Paszke

Comments: Short paper submitted to the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) 2022

Subjects: Programming Languages (cs.PL)

[19] arXiv:2110.07542 [pdf, other]

Title: ALFRED: Virtual Memory for Intermittent Computing

Andrea Maioli (Politecnico di Milano, Italy), Luca Mottola (Politecnico di Milano, Italy and <a href="http://RI.SE" rel="external noopener nofollow" class="link-external link-http">this http URL</a> Computer Science and Uppsala University, Sweden)

Subjects: Programming Languages (cs.PL)

[20] arXiv:2110.07902 [pdf, other]

Title: Zipping Strategies and Attribute Grammars

José Nuno Macedo, Marcos Viera, João Saraiva

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

[21] arXiv:2110.08362 [pdf, other]

Title: Fast and Reliable Formal Verification of Smart Contracts with the Move Prover

David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Emma Zhong

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

[22] arXiv:2110.08650 [pdf, other]

Title: Challenges Porting a C++ Template-Metaprogramming Abstraction Layer to Directive-based Offloading

Jeffrey Kelling, Sergei Bastrakov, Alexander Debus, Thomas Kluge, Matt Leinhauser, Richard Pausch, Klaus Steiniger, Jan Stephan, René Widera, Jeff Young, Michael Bussmann, Sunita Chandrasekaran, Guido Juckeland

Comments: 20 pages, 1 figure, 3 tables, WACCPD@SC21

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

[23] arXiv:2110.08983 [pdf, other]

Title: An Empirical Study of Protocols in Smart Contracts

Timothy Mou, Michael Coblenz, Jonathan Aldrich

Comments: 10 pages. In HATRA 2021

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

[24] arXiv:2110.08993 [pdf, other]

Title: Typed Image-based Programming with Structure Editing

Jonathan Edwards (independent), Tomas Petricek (University of Kent)

Comments: Accepted to: Human Aspects of Types and Reasoning Assistants (HATRA'21), Oct 19, 2021, Chicago, US

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

[25] arXiv:2110.10548 [pdf, other]

Title: Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning

Ningning Xie, Tamara Norman, Dominik Grewe, Dimitrios Vytiniotis

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

[26] arXiv:2110.11069 [pdf, other]

Title: Pacta sunt servanda: legal contracts in Stipula

Silvia Crafa, Cosimo Laneve, Giovanni Sartor

Subjects: Programming Languages (cs.PL)

[27] arXiv:2110.11790 [pdf, other]

Title: Automatic Guide Generation for Stan via NumPyro

Guillaume Baudart, Louis Mandel

Comments: PROBPROG 2021

Subjects: Programming Languages (cs.PL)

[28] arXiv:2110.12865 [pdf, other]

Title: Sparsity-Specific Code Optimization using Expression Trees

Philipp Herholz, Xuan Tang, Teseo Schneider, Shoaib Kamil, Daniele Panozzo, Olga Sorkine-Hornung

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

[29] arXiv:2110.12909 [pdf, other]

Title: Formal Verification of the Ethereum 2.0 Beacon Chain

Franck Cassez, Joanne Fuller, Aditya Asgaonkar

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

[30] arXiv:2110.14560 [pdf, other]

Title: Bugs in Quantum Computing Platforms: An Empirical Study

Matteo Paltenghi, Michael Pradel

Comments: Accepted as full paper in the technical track of OOPSLA 2022

Subjects: Programming Languages (cs.PL)

[31] arXiv:2110.14824 [pdf, other]

Title: A GNN Based Approach to LTL Model Checking

Prasita Mukherjee, Tiark Rompf

Comments: This is an older submission. The updated submissions exist as a separate paper

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

[32] arXiv:2110.15183 [pdf, other]

Title: A Theory of RPC Calculi for Client-Server Model

Kwanghoon Choi, Byeong-Mo Chang

Comments: ArXiv version of the JFP2019 published paper

Journal-ref: Journal of Functional Programming (JFP), Vol.29, pp.1-39, 2019

Subjects: Programming Languages (cs.PL)

[33] arXiv:2110.15425 [pdf, other]

Title: Distill: Domain-Specific Compilation for Cognitive Models

Jan Vesely, Raghavendra Pradyumna Pothukuchi, Ketaki Joshi, Samyak Gupta, Jonathan D. Cohen, Abhishek Bhattacharjee

Comments: 11 pages, 7 figures

Subjects: Programming Languages (cs.PL)

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

Title: An Attempt to Generate Code for Symmetric Tensor Computations

Jessica Shi, Stephen Chou, Fredrik Kjolstad, Saman Amarasinghe

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

[35] arXiv:2110.00602 (cross-list from stat.CO) [pdf, other]

Title: Applied Measure Theory for Probabilistic Modeling

Chad Scherrer, Moritz Schauer

Journal-ref: JuliaCon Proceedings, 1(1), 92 (2022)

Subjects: Computation (stat.CO); Programming Languages (cs.PL)

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

Title: Minimizing LR(1) State Machines is NP-Hard

Wuu Yang

Comments: 15 pages, 4 appendices, 14 figures. A preliminary version of this paper appeared in Proc. 14th International Conf. Autonomic and Autonomous Systems (ICAS 2018) May 20-24, 2018, Nice, France

Subjects: Computation and Language (cs.CL); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

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

Title: Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector

Michael Coblenz, Michelle Mazurek, Michael Hicks

Comments: Michael Coblenz, Michelle L. Mazurek, and Michael Hicks. 2022. Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector. In 44th International Conference on Software Engineering (ICSE '22), May 21-29, 2022, Pittsburgh, PA, USA. ACM, New York, NY, USA, 12 pages. this https URL

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

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

Title: Efficient Extensional Binary Tries

Andrew W Appel, Xavier Leroy (CAMBIUM)

Journal-ref: Journal of Automated Reasoning, 2023, 67, pp.Article number 8

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

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

Title: Searching for Replacement Classes

Malavika Samak, Jose Pablo Cambronero, Martin C. Rinard

Comments: 11 pages, 3 figures

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

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

Title: A Brief Introduction to Automatic Differentiation for Machine Learning

Davan Harrison

Comments: 8 pages

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

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

Title: NetRep: Automatic Repair for Network Programs

Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo

Comments: 24 pages, 9 figures

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

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

Title: Cascaded Fast and Slow Models for Efficient Semantic Code Search

Akhilesh Deepak Gotmare, Junnan Li, Shafiq Joty, Steven C.H. Hoi

Comments: 12 pages

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

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

Title: Verification of MPI programs

Andrew M. Mironov

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

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

Title: NeuralArTS: Structuring Neural Architecture Search with Type Theory

Robert Wu, Nayan Saxena, Rohan Jain

Comments: (Student Abstract) In Proceedings of the 36th AAAI Conference on Artificial Intelligence, Vancouver, BC,Canada, 2022

Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Machine Learning (stat.ML)

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

Title: Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems

Atharv Sonwane, Sharad Chitlangia, Tirtharaj Dash, Lovekesh Vig, Gautam Shroff, Ashwin Srinivasan

Comments: Equal contribution from first two authors. Accepted at the 10th International Workshop on Approaches and Applications of Inductive Programming as a Work In Progress Report

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

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

Title: Can Fortran's 'do concurrent' replace directives for accelerated computing?

Miko M. Stulajter, Ronald M. Caplan, Jon A. Linker

Comments: 18 pages, 2 figures, Accepted for publication at WACCPD 2021

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

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

Title: Certifying C program correctness with respect to CompCert with VeriFast

Stefan Wils, Bart Jacobs

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

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

Title: HWTool: Fully Automatic Mapping of an Extensible C++ Image Processing Language to Hardware

James Hegarty, Omar Eldash, Amr Suleiman, Armin Alaghi

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

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

Title: Scaling Neural Program Synthesis with Distribution-based Search

Nathanaël Fijalkow, Guillaume Lagarde, Théo Matricon, Kevin Ellis, Pierre Ohlmann, Akarsh Potta

Comments: Attached repository: this https URL

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

[50] arXiv:2110.12487 (cross-list from quant-ph) [pdf, other]

Title: A Programming Language For Quantum Oracle Construction

Ayush Tambde

Comments: 17 pages, 10 figures

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