Programming Languages

Authors and titles for cs.PL in May 2021

[1]  arXiv:2105.00417 [pdf, ps, other]

Title: Formalizing Stack Safety as a Security Property

Authors: Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach

Journal-ref: Proceedings of the 2023 IEEE 36th Computer Security Foundations Symposium (CSF)

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

[2]  arXiv:2105.00493 [pdf, other]

Title: Synthesizing Abstract Transformers

Authors: Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas Reps, Subhajit Roy

Comments: 17 Figures, 5 Tables, 32 pages

Subjects: Programming Languages (cs.PL)

[3]  arXiv:2105.01344 [pdf, other]

Title: Simple, Light, Yet Formally Verified, Global Common Subexpression Elimination and Loop-Invariant Code Motion

Authors: David Monniaux (VERIMAG - IMAG), Cyril Six

Subjects: Programming Languages (cs.PL)

[4]  arXiv:2105.01632 [pdf, ps, other]

Title: Solo: A Lightweight Static Analysis for Differential Privacy

Authors: Chike Abuah, David Darais, Joseph P. Near

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

[5]  arXiv:2105.01954 [pdf, other]

Title: Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version)

Authors: Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala

Comments: To appear at the 35th European Conference on Object-Oriented Programming (ECOOP 2021) Artifact available at: this https URL

Subjects: Programming Languages (cs.PL)

[6]  arXiv:2105.02156 [pdf, other]

Title: Recursion and Sequentiality in Categories of Sheaves

Authors: Cristina Matache, Sean Moss, Sam Staton

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

[7]  arXiv:2105.02541 [pdf, ps, other]

Title: From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques

Authors: Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

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

[8]  arXiv:2105.02578 [pdf, ps, other]

Title: Modelling and Verifying BDI Agents with Bigraphs

Authors: Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Comments: 50 pages, 24 figures

Subjects: Programming Languages (cs.PL)

[9]  arXiv:2105.02632 [pdf, other]

Title: Analytical Differential Calculus with Integration

Authors: Han Xu, Zhenjiang Hu

Subjects: Programming Languages (cs.PL)

[10]  arXiv:2105.02856 [pdf, other]

Title: Hashing Modulo Alpha-Equivalence

Authors: Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew Fitzgibbon, Simon Peyton Jones

Comments: Accepted for publication at the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021)

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

[11]  arXiv:2105.03099 [pdf, ps, other]

Title: NoCFG: A Lightweight Approach for Sound Call Graph Approximation

Authors: Aharon Abadi, Bar Makovitzki, Ron Shemer, Shmuel Tyszberowicz

Subjects: Programming Languages (cs.PL)

[12]  arXiv:2105.03522 [pdf, other]

Title: On Abstract Machine Semantics for Proto-Quipper-M

Authors: Andrea Colledan

Comments: 72 pages (34 without appendix), 5 figures

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

[13]  arXiv:2105.04297 [pdf, other]

Title: How could Neural Networks understand Programs?

Authors: Dinglan Peng, Shuxin Zheng, Yatao Li, Guolin Ke, Di He, Tie-Yan Liu

Journal-ref: ICML 2021

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

[14]  arXiv:2105.04385 [pdf, other]

Title: Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (extended version)

Authors: Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller

Subjects: Programming Languages (cs.PL)

[15]  arXiv:2105.04555 [pdf, ps, other]

Title: Customized Monte Carlo Tree Search for LLVM/Polly's Composable Loop Optimization Transformations

Authors: Jaehoon Koo, Prasanna Balaprakash, Michael Kruse, Xingfu Wu, Paul Hovland, Mary Hall

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

[16]  arXiv:2105.04910 [pdf, ps, other]

Title: Splitting recursion schemes into reversible and classical interacting threads

Authors: Armando B. Matos, Luca Paolini, Luca Roversi

Comments: The first 10 pages will appear in the proceedings of 13th Conference on Reversible Computation. Appendix is for this authors version. arXiv admin note: substantial text overlap with arXiv:2102.09436

Subjects: Programming Languages (cs.PL)

[17]  arXiv:2105.04963 [pdf, other]

Title: Exploring a Handwriting Programming Language for Educational Robots

Authors: Laila El-Hamamsy, Vaios Papaspyros, Taavet Kangur, Laura Mathex, Christian Giang, Melissa Skweres, Barbara Bruno, Francesco Mondada

Comments: To appear in the proceedings of the 12th International Conference on Robotics in Education (RiE, 2021)

Subjects: Programming Languages (cs.PL); Computers and Society (cs.CY); Machine Learning (cs.LG); Robotics (cs.RO)

[18]  arXiv:2105.05159 [pdf, ps, other]

Title: Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)

Authors: Yuandong Cyrus Liu (1), Chengbin Pang (1), Daniel Dietsch (2), Eric Koskinen (1), Ton-Chanh Le (1), Georgios Portokalidis (1), Jun Xu (1) ((1) Stevens Institute of Technology, (2) University of Freiburg)

Comments: 39 pages(including Appendix), 10 tables, 4 Postscript figures, accepted to APLAS 2021

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE); Systems and Control (eess.SY)

[19]  arXiv:2105.05398 [pdf, other]

Title: Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers

Authors: Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte

Comments: 20 pages

Subjects: Programming Languages (cs.PL)

[20]  arXiv:2105.06024 [pdf, ps, other]

Title: Type-Based Termination for Futures

Authors: Siva Somayyajula, Frank Pfenning

Comments: 23 pages. Extended version

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

[21]  arXiv:2105.06081 [pdf, other]

Title: Gradual Program Analysis for Null Pointers

Authors: Sam Estep (Carnegie Mellon University), Jenna Wise (Carnegie Mellon University), Jonathan Aldrich (Carnegie Mellon University), Éric Tanter (University of Chile), Johannes Bader (Jane Street), Joshua Sunshine (Carnegie Mellon University)

Comments: 31 pages, 12 figures, published in ECOOP 2021

Subjects: Programming Languages (cs.PL)

[22]  arXiv:2105.06291 [pdf, other]

Title: On the Monitorability of Session Types, in Theory and Practice (Extended Version)

Authors: Christian Batrolo Burlò, Adrian Francalanza, Alceste Scalas

Subjects: Programming Languages (cs.PL)

[23]  arXiv:2105.06424 [pdf, other]

Title: Stateless Model Checking under a Reads-Value-From Equivalence

Authors: Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman

Comments: Full technical report of the CAV2021 work

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

[24]  arXiv:2105.06973 [pdf, other]

Title: Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)

Authors: Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay

Comments: Extended version of paper to appear at ECOOP 2021

Subjects: Programming Languages (cs.PL)

[25]  arXiv:2105.07277 [pdf, other]

Title: Delay-Bounded Scheduling Without Delay! (Extended Technical Report)

Authors: Andrew Johnson, Thomas Wahl

Comments: This is an extended technical report of a paper published in CAV 2021

Subjects: Programming Languages (cs.PL)