Programming Languages

Authors and titles for May 2021

[26] arXiv:2105.08996 [pdf, other]

Title: Separating Sessions Smoothly

Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 3 (July 12, 2023) lmcs:9361

Subjects: Programming Languages (cs.PL)

[27] arXiv:2105.09377 [pdf, other]

Title: Pure Tensor Program Rewriting via Access Patterns (Representation Pearl)

Gus Henry Smith, Andrew Liu, Steven Lyubomirsky, Scott Davidson, Joseph McMahan, Michael Taylor, Luis Ceze, Zachary Tatlock

Comments: To be published at MAPS 2021

Subjects: Programming Languages (cs.PL)

[28] arXiv:2105.09469 [pdf, other]

Title: Decomposing reverse-mode automatic differentiation

Roy Frostig, Matthew J. Johnson, Dougal Maclaurin, Adam Paszke, Alexey Radul

Comments: Presented at the LAFI 2021 workshop at POPL, 17 January 2021

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

[29] arXiv:2105.10687 [pdf, other]

Title: Normalising Lustre Preserves Security

Sanjiva Prasad, R. Madhukar Yerraguntla

Comments: Submitted version. 27 Pages including appendix and references

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

[30] arXiv:2105.10819 [pdf, other]

Title: Choosing is Losing: How to combine the benefits of shallow and deep embeddings through reflection

Artjoms Šinkarovs, Jesper Cockx

Subjects: Programming Languages (cs.PL)

[31] arXiv:2105.11148 [pdf, other]

Title: CHESSIoT support of event-based modeling for the Internet of Things applications

Felicien Ihirwe

Comments: 12 figures

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

[32] arXiv:2105.11620 [pdf, other]

Title: Comparative Synthesis: Learning Near-Optimal Network Designs by Query

Yanjun Wang, Zixuan Li, Chuan Jiang, Xiaokang Qiu, Sanjay G. Rao

Subjects: Programming Languages (cs.PL); Human-Computer Interaction (cs.HC); Networking and Internet Architecture (cs.NI)

[33] arXiv:2105.11896 [pdf, other]

Title: Tracking Captured Variables in Types

Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondřej Lhoták, Martin Odersky

Comments: 23 pages, 11 figures

Subjects: Programming Languages (cs.PL)

[34] arXiv:2105.13411 [pdf, other]

Title: Model Repair Revamped: On the Automated Synthesis of Markov Chains

Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

Comments: 18 pages

Subjects: Programming Languages (cs.PL)

[35] arXiv:2105.13468 [pdf, other]

Title: Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications

Abhiroop Sarkar, Mary Sheeran

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

[36] arXiv:2105.13840 [pdf, other]

Title: Gobra: Modular Specification and Verification of Go Programs (extended version)

Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João C. Pereira, Peter Müller

Subjects: Programming Languages (cs.PL)

[37] arXiv:2105.13941 [pdf, other]

Title: Reflections on Termination of Linear Loops

Shaowei Zhu, Zachary Kincaid

Subjects: Programming Languages (cs.PL)

[38] arXiv:2105.14381 [pdf, other]

Title: Formally Validating a Practical Verification Condition Generator (extended version)

Gaurav Parthasarathy, Peter Müller, Alexander J. Summers

Comments: Extended version of CAV 2021 publication

Subjects: Programming Languages (cs.PL)

[39] arXiv:2105.14467 [pdf, other]

Title: Occam Learning Meets Synthesis Through Unification

Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu

Subjects: Programming Languages (cs.PL)

[40] arXiv:2105.14748 [pdf, other]

Title: Diffy: Inductive Reasoning of Array Programs using Difference Invariants

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Comments: Revised

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

[41] arXiv:2105.14769 [pdf, other]

Title: Gillian: A Multi-Language Platform for Unified Symbolic Analysis

Petar Maksimović, José Fragoso Santos, Sacha-Élie Ayoun, Philippa Gardner

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

[42] arXiv:2105.14840 [pdf, other]

Title: Elegant elaboration with function invocation

Tesla Zhang

Comments: 6 pages, 3 figures

Subjects: Programming Languages (cs.PL)

[43] arXiv:2105.00399 (cross-list from math.CT) [pdf, other]

Title: Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic

Ryu Hasegawa

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

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

Title: Encoding Tight Typing in a Unified Framework

Delia Kesner, Andrés Viso

Comments: arXiv admin note: text overlap with arXiv:2002.04011

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

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

Title: Abstract clones for abstract syntax

Nathanael Arkor, Dylan McDermott

Comments: To appear in the proceedings of FSCD 2021; 16 pages

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

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

Title: Positional Injectivity for Innocent Strategies

Lison Blondeau-Patissier (ENS Lyon), Pierre Clairambault (LIP, PLUME)

Journal-ref: 6TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION, Jul 2021, Buenos Aires, Argentina

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

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

Title: Code2Image: Intelligent Code Analysis by Computer Vision Techniques and Application to Vulnerability Prediction

Zeki Bilgin

Comments: 17 pages

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

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

Title: Bring Your Own Codegen to Deep Learning Compiler

Zhi Chen, Cody Hao Yu, Trevor Morris, Jorn Tuyls, Yi-Hsiang Lai, Jared Roesch, Elliott Delaye, Vin Sharma, Yida Wang

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

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

Title: Toward Code Generation: A Survey and Lessons from Semantic Parsing

Celine Lee (1 and 2), Justin Gottschlich (1 and 2), Dan Roth (2) ((1) Intel Labs, (2) University of Pennsylvania)

Comments: 12 pages, 6 figures

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

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

Title: GADTs, Functoriality, Parametricity: Pick Two

Patricia Johann (Appalachian State University), Enrico Ghiorzi (Appalachian State University), Daniel Jeffries (Appalachian State University)

Comments: In Proceedings LSFA 2021, arXiv:2204.03415

Journal-ref: EPTCS 357, 2022, pp. 77-92

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

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

Title: Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python

Yun Peng, Cuiyun Gao, Zongjie Li, Bowei Gao, David Lo, Qirun Zhang, Michael Lyu

Comments: This paper has been accepted by 44th International Conference on Software Engineering (ICSE 2022)

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

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

Title: High-performance symbolic-numerics via multiple dispatch

Shashi Gowda, Yingbo Ma, Alessandro Cheli, Maja Gwozdz, Viral B. Shah, Alan Edelman, Christopher Rackauckas

Subjects: Computation and Language (cs.CL); Mathematical Software (cs.MS); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

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

Title: Why Aren't Regular Expressions a Lingua Franca? An Empirical Study on the Re-use and Portability of Regular Expressions

James C. Davis, Louis G. Michael IV, Christy A. Coghlan, Francisco Servant, Dongyoon Lee

Comments: ESEC/FSE 2019

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

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

Title: Breaking the Computation and Communication Abstraction Barrier in Distributed Machine Learning Workloads

Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Sarikivi

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

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

Title: SoK: Practical Foundations for Software Spectre Defenses

Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan

Comments: To appear at Oakland '22

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

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

Title: CoTexT: Multi-task Learning with Code-Text Transformer

Long Phan, Hieu Tran, Daniel Le, Hieu Nguyen, James Anibal, Alec Peltekian, Yanfang Ye

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

[57] arXiv:2105.09257 (cross-list from math.CT) [pdf, other]

Title: The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition

Paul Wilson (University of Southampton), Fabio Zanasi (University College London)

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal-ref: EPTCS 372, 2022, pp. 262-275

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

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

Title: Join Inverse Rig Categories for Reversible Functional Programming, and Beyond

Robin Kaarsgaard (University of Edinburgh), Mathys Rennela (INRIA Paris)

Comments: In Proceedings MFPS 2021, arXiv:2112.13746

Journal-ref: EPTCS 351, 2021, pp. 152-167

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

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

Title: Automatic task-based parallelization of C++ applications by source-to-source transformations

Garip Kusoglu, Berenger Bramas, Stephane Genaud

Comments: Published at Compas 2020

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

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

Title: Actions You Can Handle: Dependent Types for AI Plans

Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick

Comments: 14 pages, 5 figures, Accepted to TyDe 2021

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

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

Title: A beginner guide to Iris, Coq and separation logic

Elizabeth Dietrich

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

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

Title: TreeBERT: A Tree-Based Pre-Trained Model for Programming Language

Xue Jiang, Zhuoran Zheng, Chen Lyu, Liang Li, Lei Lyu

Comments: Accepted by UAI2021

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

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

Title: Implementation of Live Reverse Debugging in LLDB

Anthony Savidis, Vangelis Tsiatsianas

Comments: 28 pages, 32 figures

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

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

Title: RL-GRIT: Reinforcement Learning for Grammar Inference

Walt Woods

Comments: 13 pages, published at IEEE LangSec 2021 (this https URL). ArXiv version: lacking correct 'minted' package behavior, so some atoms may look a little off

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

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

Title: Towards a modeling and analysis environment for industrial IoT systems

Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio

Comments: 7 figures, 10 pages

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