Programming Languages

Authors and titles for September 2022

[1] arXiv:2209.00975 [pdf, other]

Title: A Reasonably Gradual Type Theory

Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter

Comments: 27pages + 2pages bibliography

Journal-ref: Proceedings of the ACM on Programming Languages Volume 6 Issue ICFP August 2022 Article No 124 pp 931-959

Subjects: Programming Languages (cs.PL)

[2] arXiv:2209.01000 [pdf, other]

Title: Programming with Context-Sensitive Holes using Dependency-Aware Tuning

Linnea Stjerna (1), David Broman (1) ((1) EECS and Digital Futures, KTH Royal Institute of Technology)

Comments: 27 pages, 5 figures

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

[3] arXiv:2209.01081 [pdf, other]

Title: Type-Directed Synthesis of Visualizations from Natural Language Queries

Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig

Comments: 39 pages

Subjects: Programming Languages (cs.PL)

[4] arXiv:2209.01259 [pdf, other]

Title: Category Theory for Programming

Benedikt Ahrens, Kobe Wullaert

Comments: Source code and updates available from this https URL

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

[5] arXiv:2209.01803 [pdf, other]

Title: Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs

Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov, Maxim Stepanov

Subjects: Programming Languages (cs.PL)

[6] arXiv:2209.01825 [pdf, other]

Title: Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation

Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin, Violetta Sim

Subjects: Programming Languages (cs.PL)

[7] arXiv:2209.02147 [pdf, other]

Title: Inferring Region Types via an Abstract Notion of Environment Transformation

Ulrich Schöpp, Chuangjie Xu

Comments: To appear at APLAS'22; arXiv version contains appendices on the construction of concatenation and join for abstract transformations and an example of type inference

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

[8] arXiv:2209.02353 [pdf, other]

Title: From Legal Contracts to Legal Calculi: the code-driven normativity

Silvia Crafa (University of Padova, Italy)

Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777. arXiv admin note: text overlap with arXiv:2110.11069

Journal-ref: EPTCS 368, 2022, pp. 23-42

Subjects: Programming Languages (cs.PL); Computers and Society (cs.CY); Logic in Computer Science (cs.LO)

[9] arXiv:2209.02422 [pdf, other]

Title: Jeopardy: An Invertible Functional Programming Language

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen

Comments: Paper submitted to 34th Symposium on Implementation and Application of Functional Languages, Aug 31--Sep 2, 2022, Copenhagen, DK

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

[10] arXiv:2209.02638 [pdf, other]

Title: DFI: An Interprocedural Value-Flow Analysis Framework that Scales to Large Codebases

Min-Yih Hsu, Felicitas Hetzelt, Michael Franz

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

[11] arXiv:2209.02752 [pdf, other]

Title: Specification-Guided Component-Based Synthesis from Effectful Libraries

Ashish Mishra, Suresh Jagannathan

Subjects: Programming Languages (cs.PL)

[12] arXiv:2209.03398 [pdf, other]

Title: Small Proofs from Congruence Closure

Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha

Subjects: Programming Languages (cs.PL)

[13] arXiv:2209.03602 [pdf, other]

Title: Template-based Program Synthesis using Stellensätze

Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J Motwani

Subjects: Programming Languages (cs.PL)

[14] arXiv:2209.04514 [pdf, other]

Title: Compiler Testing using Template Java Programs

Zhiqiang Zang, Nathan Wiatrek, Milos Gligoric, August Shi

Comments: 13 pages, 6 figures, 2 tables, accepted in ASE 2022 (Research Papers track)

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

[15] arXiv:2209.04939 [pdf, other]

Title: Eiger: Auditable, executable, flexible legal regulations

Alexander Bernauer, Richard A. Eisenberg

Comments: 15 pages, included embedded Haskell code

Subjects: Programming Languages (cs.PL)

[16] arXiv:2209.05149 [pdf, other]

Title: Type checking data structures more complex than trees

Jin Sano, Naoki Yamamoto, Kazunori Ueda

Comments: 19 pages, 27 figures

Subjects: Programming Languages (cs.PL)

[17] arXiv:2209.05250 [pdf, other]

Title: Looplets: A Language For Structured Coiteration

Willow Ahrens, Daniel Donenfeld, Fredrik Kjolstad, Saman Amarasinghe

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

[18] arXiv:2209.06334 [pdf, other]

Title: Monadic and Comonadic Aspects of Dependency Analysis

Pritam Choudhury

Comments: Extended version of paper (with same title) to be published at SPLASH 2022

Subjects: Programming Languages (cs.PL)

[19] arXiv:2209.06648 [pdf, other]

Title: Automated Synthesis of Asynchronizations

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri

Comments: 37 pages, 18 figures, an extended version of a SAS 2022 paper with the same title

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

[20] arXiv:2209.07427 [pdf, other]

Title: A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning

Aleksander Boruch-Gruszecki, Radosław Waśko, Yichen Xu, Lionel Parreaux

Comments: 46 pages, 11 figures. For the associated mechanized proof of soundness, see this https URL. This is an extended version of the paper published at OOPSLA'22. v2 fixes typos in Fig. 3, and slightly tweaks some sentences to mirror the formally published version

Subjects: Programming Languages (cs.PL)

[21] arXiv:2209.07439 [pdf, other]

Title: Coeffects for Sharing and Mutation

Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto

Subjects: Programming Languages (cs.PL)

[22] arXiv:2209.07448 [pdf, other]

Title: Proving Hypersafety Compositionally

Emanuele D'Osualdo, Azadeh Farzan, Derek Dreyer

Comments: 44 pages. Extended version of the OOPSLA'22 paper with the same title. Includes full proofs and case studies in appendix. v2 fixes typos in a derivation

Journal-ref: Proc. ACM Program. Lang. 6, OOPSLA2, Article 135 (October 2022), 26 pages (2022)

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

[23] arXiv:2209.07490 [pdf, other]

Title: Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming

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

Subjects: Programming Languages (cs.PL)

[24] arXiv:2209.08046 [pdf, other]

Title: Symbolic Execution for Randomized Programs

Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy

Comments: 47 pages, 9 figures, to appear at OOPSLA 2022

Subjects: Programming Languages (cs.PL)

[25] arXiv:2209.08205 [pdf, other]

Title: Necessity Specifications for Robustness

Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach

Subjects: Programming Languages (cs.PL)

[26] arXiv:2209.08385 [pdf, other]

Title: langcc: A Next-Generation Compiler Compiler

Joe Zimmerman

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

[27] arXiv:2209.08511 [pdf, other]

Title: A Type-Directed, Dictionary-Passing Translation of Method Overloading and Structural Subtyping in Featherweight Generic Go

Martin Sulzmann, Stefan Wehr

Comments: To appear in JFP. 64 pages, includes appendix with full proofs

Subjects: Programming Languages (cs.PL)

[28] arXiv:2209.09127 [pdf, other]

Title: Is Rust C++-fast? Benchmarking System Languages on Everyday Routines

Nikolay Ivanov

Comments: Michigan State University

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

[29] arXiv:2209.09327 [pdf, other]

Title: S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs

Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin

Comments: 24 pages

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

[30] arXiv:2209.09471 [pdf, other]

Title: A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages

Georgian-Vlad Saioc (Department of Computer Science Aarhus University, Denmark), Hans Hüttel (Department of Computer Science Aalborg University, Denmark, Department of Computer Science University of Copenhagen, Denmark)

Comments: In Proceedings FROM 2022, arXiv:2209.09208

Journal-ref: EPTCS 369, 2022, pp. 51-66

Subjects: Programming Languages (cs.PL)

[31] arXiv:2209.09729 [pdf, other]

Title: Staged Compilation with Two-Level Type Theory

András Kovács

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

[32] arXiv:2209.10445 [pdf, other]

Title: Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap

Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl

Comments: 16 pages, 9 figures

Subjects: Programming Languages (cs.PL)

[33] arXiv:2209.10941 [pdf, other]

Title: Embedding generic monadic transformer into Scala

Ruslan Shevchenko

Comments: Accepted to publication into "Trends of Functional Programming 2022"

Subjects: Programming Languages (cs.PL)

[34] arXiv:2209.12456 [pdf, other]

Title: Full-Program Induction: Verifying Array Programs sans Loop Invariants

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Comments: Invited paper in the International Journal on Software Tools for Technology Transfer (STTT), special issue TACAS 2022

Subjects: Programming Languages (cs.PL)

[35] arXiv:2209.12669 [pdf, other]

Title: A metalanguage for cost-aware denotational semantics

Yue Niu, Robert Harper

Subjects: Programming Languages (cs.PL)

[36] arXiv:2209.13000 [pdf, other]

Title: Focusing on Refinement Typing

Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield

Comments: 61 pages + appendix with proofs, Just Accepted version of paper (with new title) at ACM Transactions on Programming Languages and Systems

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

[37] arXiv:2209.13692 [pdf, other]

Title: Embedding Hindsight Reasoning in Separation Logic

Roland Meyer, Thomas Wies, Sebastian Wolff

Journal-ref: Proc. ACM Program. Lang. 7, PLDI, Article 182 (June 2023), 24 pages

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

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

Title: Performance of the Vipera framework for DSLs on micro-core architectures

Maurice Jamieson, Nick Brown

Comments: This preprint to the DSL-HPC workshop has not undergone any post-submission improvements or corrections

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

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

Title: Automatic Detection of Speculative Execution Combinations

Xaver Fabian, Marco Guarnieri, Marco Patrignani

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

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

Title: Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables

Jian Gu, Harald C. Gall

Comments: 5 pages, 3 figures, 2 tables, accepted by ESEC/FSE 2023, the camera-ready version

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

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

Title: Exploring the Verifiability of Code Generated by GitHub Copilot

Dakota Wong, Austin Kothig, Patrick Lam

Comments: HATRA workshop at SPLASH 2022

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

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

Title: A Formal Theory of Choreographic Programming

Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti

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

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

Title: Programming Autonomous Machines

Shaoshan Liu, Xiaoming Li, Tongsheng Geng, Stephane Zuckerman, Jean-Luc Gaudiot

Comments: EMSOFT 2022

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

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

Title: A Generic Type System for Higher-Order $Ψ$-calculi

Alex Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lybech

Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777

Journal-ref: EPTCS 368, 2022, pp. 43-59

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

[45] arXiv:2209.02442 (cross-list from cs.CR) [pdf, html, other]

Title: SimCLF: A Simple Contrastive Learning Framework for Function-level Binary Embeddings

Sun RuiJin, Guo Shize, Guo Jinhong, Li Wei, Zhan Dazhi, Sun Meng, Pan Zhisong

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

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

Title: TAPA: A Scalable Task-Parallel Dataflow Programming Framework for Modern FPGAs with Co-Optimization of HLS and Physical Design

Licheng Guo, Yuze Chi, Jason Lau, Linghao Song, Xingyu Tian, Moazin Khatti, Weikang Qiao, Jie Wang, Ecenur Ustun, Zhenman Fang, Zhiru Zhang, Jason Cong

Journal-ref: ACM Transactions on Reconfigurable Technology and Systems (2023), Volume 16, Issue 4 Article No.: 63, Pages 1 - 31

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

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

Title: Sgap: Towards Efficient Sparse Tensor Algebra Compilation for GPU

Genghan Zhang, Yuetong Zhao, Yanting Tao, Zhongming Yu, Guohao Dai, Sitao Huang, Yuan Wen, Pavlos Petoumenos, Yu Wang

Comments: 23 pages, 10 figures

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

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

Title: Democratizing Domain-Specific Computing

Yuze Chi, Weikang Qiao, Atefeh Sohrabizadeh, Jie Wang, Jason Cong

Comments: To be published in CACM'22

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

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

Title: Alternate Timelines for TidalCycles

Alex McLean

Comments: Accepted for the International Conference on Live Coding (ICLC) 2021

Subjects: Other Computer Science (cs.OH); Programming Languages (cs.PL)

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

Title: Explaining Results of Multi-Criteria Decision Making

Martin Erwig, Prashant Kumar

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

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

Title: On using VeriFast, VerCors, Plural, and KeY to check object usage

João Mota, Marco Giunti, António Ravara

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

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

Title: Bisimulations Respecting Duration and Causality for the Non-interleaving Applied $π$-Calculus

Clément Aubert (Augusta University, USA), Ross Horne ( University of Luxembourg, Luxembourg ), Christian Johansen (NTNU, Norway)

Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777

Journal-ref: EPTCS 368, 2022, pp. 3-22

Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

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

Title: A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency

Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez

Comments: 27 pages + the appendices

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

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

Title: Smart Contract Vulnerability Detection Technique: A Survey

Peng Qian, Zhenguang Liu, Qinming He, Butian Huang, Duanzheng Tian, Xun Wang

Comments: This manuscript is the English translation version of our paper published in Ruan Jian Xue Bao/Journal of Software, 22, 33(8)

Journal-ref: Journal of Software, vol. 33, no. 8, pp. 3059-3085, August 2022

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

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

Title: AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers

Fabian Ritter, Sebastian Hack

Comments: To appear in Proceedings of the ACM on Programming Languages (PACMPL), Vol. 6, No. OOPSLA2

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

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

Title: Borch: A Deep Universal Probabilistic Programming Language

Lewis Belcher, Johan Gudmundsson, Michael Green

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

[57] arXiv:2209.06603 (cross-list from q-bio.GN) [pdf, other]

Title: Typesafe Coordinate Systems in High-Throughput Sequencing Applications

Charles Thomas Gregory, James S. Blachly

Comments: 14 pages, 3 figures. Code available at this https URL

Subjects: Genomics (q-bio.GN); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

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

Title: SQL and NoSQL Databases Software architectures performance analysis and assessments -- A Systematic Literature review

Wisal Khan, Teerath Kumar, Zhang Cheng, Kislay Raj, Arunabha M Roy, Bin Luo

Comments: 57 pages systematic literature review, already submitted to Big Data Research; More importantly, we can not add method, result and conclusion section in the abstract here due to characters limitations. Please check pdf file

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

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

Title: Practical LR Parser Generation

Joe Zimmerman

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

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

Title: Proceedings of the Sixth Working Formal Methods Symposium

Vlad Rusu

Journal-ref: EPTCS 369, 2022

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

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

Title: ECSAS: Exploring Critical Scenarios from Action Sequence in Autonomous Driving

Shuting Kang, Heng Guo, Lijun Zhang, Guangzhen Liu, Yunzhi Xue, Yanjun Wu

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