Programming Languages

Authors and titles for November 2021

[1] arXiv:2111.00324 [pdf, other]

Title: Property-Directed Reachability as Abstract Interpretation in the Monotone Theory

Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox

Comments: Extended version of a POPL 2022 paper: this https URL

Subjects: Programming Languages (cs.PL)

[2] arXiv:2111.02938 [pdf, other]

Title: Source-Level Bitwise Branching for Temporal Verification

Yuandong Cyrus Liu, Ton-Chanh Le, Eric Koskinen

Comments: 2 pages, 1 figure, 1 table, accepted to FMCAD2021 Student Forum. arXiv admin note: substantial text overlap with arXiv:2105.05159

Subjects: Programming Languages (cs.PL)

[3] arXiv:2111.03354 [pdf, html, other]

Title: Programming with union, intersection, and negation types

Giuseppe Castagna

Subjects: Programming Languages (cs.PL)

[4] arXiv:2111.03484 [pdf, other]

Title: Pirouette: Higher-Order Typed Functional Choreographies

Andrew K. Hirsch, Deepak Garg

Subjects: Programming Languages (cs.PL)

[5] arXiv:2111.03701 [pdf, other]

Title: Functional Choreographic Programming

Luís Cruz-Filipe, Eva Graversen, Lovro Lugović, Fabrizio Montesi, Marco Peressotti

Subjects: Programming Languages (cs.PL)

[6] arXiv:2111.03720 [pdf, other]

Title: Exception Handling on Multiparty Interactions

Brian Randell, Avelino Francisco Zorzo

Comments: 18 pages

Subjects: Programming Languages (cs.PL)

[7] arXiv:2111.03881 [pdf, other]

Title: Abstraction for Crash-Resilient Objects (Extended Version)

Artem Khyzha, Ori Lahav

Subjects: Programming Languages (cs.PL)

[8] arXiv:2111.04259 [pdf, other]

Title: OpenMP aware MHP Analysis for Improved Static Data-Race Detection

Utpal Bora, Shraiysh Vaishay, Saurabh Joshi, Ramakrishna Upadrasta

Comments: Accepted at LLVM-HPC'21

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

[9] arXiv:2111.04298 [pdf, other]

Title: Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables

Taolue Chen, Alejandro Flores Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Ruemmer, Zhilin Wu

Comments: 44 pages, 18 figures

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

[10] arXiv:2111.05617 [pdf, other]

Title: Software Model-Checking as Cyclic-Proof Search

Takeshi Tsukada, Hiroshi Unno

Subjects: Programming Languages (cs.PL)

[11] arXiv:2111.05923 [pdf, other]

Title: The Decidability and Complexity of Interleaved Bidirected Dyck Reachability

Adam Husted Kjelstrøm, Andreas Pavlogiannis

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

[12] arXiv:2111.08099 [pdf, other]

Title: Moebius: Metaprogramming using Contextual Types -- The stage where System F can pattern match on itself (Long Version)

Junyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka

Subjects: Programming Languages (cs.PL)

[13] arXiv:2111.08692 [pdf, other]

Title: Unicode at Gigabytes per Second

Daniel Lemire

Comments: SPIRE 2021: String Processing and Information Retrieval

Journal-ref: Software: Practice and Experience, Volume52, Issue2 February 2022

Subjects: Programming Languages (cs.PL)

[14] arXiv:2111.09728 [pdf, other]

Title: Measuring source code conciseness across programming languages using compression

Lodewijk Bergmans, Xander Schrijen, Edwin Ouwehand, Magiel Bruntink

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

[15] arXiv:2111.10411 [pdf, other]

Title: A Transient Semantics for Typed Racket

Ben Greenman (Brown University, USA), Lukas Lazarek (Northwestern University, USA), Christos Dimoulas (Northwestern University, USA), Matthias Felleisen (Northeastern University, USA)

Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 2, Article 9

Subjects: Programming Languages (cs.PL)

[16] arXiv:2111.10412 [pdf, other]

Title: Types for Tables: A Language Design Benchmark

Kuang-Chen Lu (Brown University, USA), Ben Greenman (Brown University, USA), Shriram Krishnamurthi (Brown University, USA)

Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 2, Article 8

Subjects: Programming Languages (cs.PL)

[17] arXiv:2111.10413 [pdf, other]

Title: Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity

Jeremy Gibbons (University of Oxford, UK)

Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 2, Article 7

Subjects: Programming Languages (cs.PL)

[18] arXiv:2111.10414 [pdf, other]

Title: Automated, Targeted Testing of Property-Based Testing Predicates

Tim Nelson (Brown University, USA), Elijah Rivera (Brown University, USA), Sam Soucie (Indiana University, USA), Thomas Del Vecchio (Brown University, USA), John Wrenn (Brown University, USA), Shriram Krishnamurthi (Brown University, USA)

Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 2, Article 10

Subjects: Programming Languages (cs.PL)

[19] arXiv:2111.10589 [pdf, other]

Title: Garbage Collection or Serialization? Between a Rock and a Hard Place!

Iacovos G. Kolokasis, Giannos Evdorou, Anastasios Papagiannis, Foivos Zakkak, Christos Kozanitis, Shoaib Akram, Polyvios Pratikakis, Angelos Bilas

Comments: 17 pages, 12 figures, asplos23 submission revision

Subjects: Programming Languages (cs.PL)

[20] arXiv:2111.10867 [pdf, other]

Title: Qimaera: Type-safe (Variational) Quantum Programming in Idris

Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev

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

[21] arXiv:2111.11819 [pdf, other]

Title: Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach

Emanuele De Angelis (1), Fabio Fioravanti (2), Alberto Pettorossi (3), Maurizio Proietti (1) ((1) IASI-CNR, Roma, Italy, (2) DEC, University G. D'Annunzio, Pescara, Italy, (3) DICII, University of Rome Tor Vergata, Roma, Italy)

Comments: This work has been SUBMITTED (under consideration) to the CILC 2020 specialissue of the Journal of Logic and Computation. arXiv admin note: text overlap with arXiv:2004.07749

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

[22] arXiv:2111.12063 [pdf, other]

Title: Quantum Advantage for All

Christoph M. Kirsch, Stefanie Muroya Lei

Subjects: Programming Languages (cs.PL)

[23] arXiv:2111.12116 [pdf, other]

Title: Caviar: An E-graph Based TRS for Automatic Code Optimization

Smail Kourta, Adel Namani, Fatima Benbouzid-Si Tayeb, Kim Hazelwood, Chris Cummins, Hugh Leather, Riyadh Baghdadi

Comments: Accepted in the 31st Conference on Compiler Construction (CC 2022)

Subjects: Programming Languages (cs.PL)

[24] arXiv:2111.12147 [pdf, other]

Title: kmclib: Automated Inference and Verification of Session Types

Keigo Imai, Julien Lange, Rumyana Neykova

Comments: kmclib is available at this https URL

Subjects: Programming Languages (cs.PL)

[25] arXiv:2111.12238 [pdf, other]

Title: Composing Loop-carried Dependence with Other Loops

Kazem Cheshmi, Michelle Mills Strout, Maryam Mehri Dehnavi

Subjects: Programming Languages (cs.PL)

[26] arXiv:2111.12243 [pdf, other]

Title: Vectorizing Sparse Matrix Codes with Dependency Driven Trace Analysis

Zachary Cetinic, Kazem Cheshmi, Maryam Mehri Dehnavi

Subjects: Programming Languages (cs.PL)

[27] arXiv:2111.12420 [pdf, other]

Title: CircuitFlow: A Domain Specific Language for Dataflow Programming (with appendices)

Riley Evans, Samantha Frohlich, Meng Wang

Comments: 31 pages, 5 figures, to be published in PADL 2022

Subjects: Programming Languages (cs.PL)

[28] arXiv:2111.12478 [pdf, other]

Title: Predictive Data Race Detection for GPUs

Sagnik Dey, Mayant Mukul, Parth Sharma, Swarnendu Biswas

Comments: 14 pages, 12 figures, 4 tables

Subjects: Programming Languages (cs.PL)

[29] arXiv:2111.12553 [pdf, other]

Title: CycleQ: An Efficient Basis for Cyclic Equational Reasoning

Eddie Jones, C-.H. Luke Ong, Steven Ramsay

Comments: Version accepted to PLDI'22

Subjects: Programming Languages (cs.PL)

[30] arXiv:2111.12682 [pdf, other]

Title: CQS: A Formally-Verified Framework for Fair and Abortable Synchronization

Nikita Koval, Dmitry Khalanskiy, Dan Alistarh

Comments: PLDI 2023

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

[31] arXiv:2111.13040 [pdf, other]

Title: Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs

Thomas Koehler, Phil Trinder, Michel Steuwer

Comments: 23 pages excluding references, submitted to OOPLSA 2022

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

[32] arXiv:2111.13384 [pdf, html, other]

Title: EOLANG and $\varphi$-calculus

Yegor Bugayenko

Subjects: Programming Languages (cs.PL)

[33] arXiv:2111.13662 [pdf, other]

Title: Modular Information Flow through Ownership

Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan

Comments: Published at PLDI 2022

Subjects: Programming Languages (cs.PL)

[34] arXiv:2111.14249 [pdf, other]

Title: Virtualizing Intermittent Computing

Caglar Durmaz, Kasim Sinan Yildirim, Geylani Kardas

Subjects: Programming Languages (cs.PL); Hardware Architecture (cs.AR)

[35] arXiv:2111.14917 [pdf, other]

Title: A Separation Logic for Negative Dependence

Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti

Comments: 61 pages, 9 figures, to appear in Proceedings of the ACM on Programming Languages (POPL 2022)

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

[36] arXiv:2111.15149 [pdf, other]

Title: SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez

Comments: ICFP 2020 camera-ready version

Subjects: Programming Languages (cs.PL)

[37] arXiv:2111.15456 [pdf, other]

Title: Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages

Alexander K. Lew, Mathieu Huot, Vikash K. Mansinghka

Comments: Presented at the NeurIPS 2021 differentiable programming workshop

Subjects: Programming Languages (cs.PL)

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

Title: Trojan Source: Invisible Vulnerabilities

Nicholas Boucher, Ross Anderson

Comments: To appear in the 32nd USENIX Security Symposium. Revisions: Adds 4 languages, 2 encodings, threat model, & scanning details

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

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

Title: A Hybrid Software Test Automation for Educational Portals

A. T. Aniwange, P. T. Nyishar, B. S. Afolabi, A. O. Ejidokun

Journal-ref: INTERNATIONAL JOURNAL OF INNOVATIONS IN ENGINEERING RESEARCH AND TECHNOLOGY, VOLUME 8, ISSUE 8, Aug. -2021

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

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

Title: Equinox: neural networks in JAX via callable PyTrees and filtered transformations

Patrick Kidger, Cristian Garcia

Comments: Accepted at the Differentiable Programming workshop at NeurIPS 2021

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

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

Title: Towards Reformulating Essence Specifications for Robustness

Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon

Comments: 12 pages, 6 figures, presented at ModRef 2021

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

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

Title: Code2Snapshot: Using Code Snapshots for Learning Representations of Source Code

Md Rafiqul Islam Rabin, Mohammad Amin Alipour

Comments: The 21st IEEE International Conference on Machine Learning and Applications (ICMLA'22)

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

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

Title: The Security Risk of Lacking Compiler Protection in WebAssembly

Quentin Stiévenart, Coen De Roover, Mohammad Ghafari

Comments: The 21st IEEE International Conference on Software Quality, Reliability and Security (QRS 2021)

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

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

Title: Do Names Echo Semantics? A Large-Scale Study of Identifiers Used in C++'s Named Casts

Constantin Cezar Petrescu, Sam Smith, Rafail Giavrimis, Santanu Kumar Dash

Comments: The manuscript has 27 pages and it contains 4 Figures, 18 Listings and 4 Tables. The preprint has been accepted at Journal of Systems and Software from Elsevier

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

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

Title: Neural Program Generation Modulo Static Analysis

Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Chris Jermaine

Comments: Accepted for publication at Neurips 2021

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

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

Title: Learning Formulas in Finite Variable Logics

Paul Krogmeier, P. Madhusudan

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

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

Title: D$^2$ABS: A Framework for Dynamic Dependence Abstraction of Distributed Programs

Haipeng Cai, Xiaoqin Fu

Comments: 23 pages, 7 figures, 8 tables

Journal-ref: IEEE Transactions on Software Engineering (TSE), 2021

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

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

Title: Performance Evaluation of Python Parallel Programming Models: Charm4Py and mpi4py

Zane Fink, Simeng Liu, Jaemin Choi, Matthias Diener, Laxmikant V. Kale

Comments: 7 pages, 7 figures. To appear at "Sixth International IEEE Workshop on Extreme Scale Programming Models and Middleware"

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

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

Title: vlang: Mapping Verilog Netlists to Modern Technologies

Nicholas V. Giamblanco, Andrew Schmidt

Subjects: Hardware Architecture (cs.AR); Programming Languages (cs.PL)

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

Title: Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate

Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu

Comments: This is the extended version of the paper with the same title published at VMCAI 2022

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