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)