Programming Languages

Authors and titles for July 2020

[11] arXiv:2007.05283 [pdf, other]

Title: Reverse AD at Higher Types: Pure, Principled and Denotationally Correct

Matthijs Vákár

Journal-ref: Proc. ESOP 2021

Subjects: Programming Languages (cs.PL)

[12] arXiv:2007.05569 [pdf, other]

Title: Conditional Lower Bound for Inclusion-Based Points-to Analysis

Qirun Zhang

Subjects: Programming Languages (cs.PL)

[13] arXiv:2007.06760 [pdf, other]

Title: Synthesis in Uclid5

Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia

Subjects: Programming Languages (cs.PL)

[14] arXiv:2007.08017 [pdf, other]

Title: $\lambda_S$: Computable Semantics for Differentiable Programming with Higher-Order Functions and Datatypes

Benjamin Sherman, Jesse Michel, Michael Carbin

Comments: 31 pages, 10 figures

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

[15] arXiv:2007.08638 [pdf, other]

Title: Probabilistic Programming Semantics for Name Generation

Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman

Comments: 29 pages, 1 figure; to be published in POPL 2021

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

[16] arXiv:2007.09909 [pdf, other]

Title: Coinduction Plain and Simple

François Bry

Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

[17] arXiv:2007.09944 [pdf, other]

Title: The Decidability of Verification under Promising 2.0

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Viktor Vafeiadis

Subjects: Programming Languages (cs.PL)

[18] arXiv:2007.09946 [pdf, other]

Title: Program algebra for random access machine programs

C. A. Middelburg

Comments: 27 pages, revision of v2 with presentation improved. arXiv admin note: substantial text overlap with arXiv:1901.08840, arXiv:1808.04264

Journal-ref: Scientific Annals of Computer Science 32(2):285-319 (2022)

Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC)

[19] arXiv:2007.10688 [pdf, other]

Title: What Programs Want: Automatic Inference of Input Data Specifications

Caterina Urban

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

[20] arXiv:2007.10809 [pdf, other]

Title: Software Transactional Memory with Interactions

Marino Miculan, Marco Peressotti

Comments: arXiv admin note: substantial text overlap with arXiv:1602.05365

Subjects: Programming Languages (cs.PL)

[21] arXiv:2007.11203 [pdf, other]

Title: Simplifying Dependent Reductions in the Polyhedral Model

Cambridge Yang, Eric Atkinson, Michael Carbin

Journal-ref: Proc. ACM Program. Lang. 5, POPL, Article 20 (2021)

Subjects: Programming Languages (cs.PL)

[22] arXiv:2007.12015 [pdf, other]

Title: Dataflow Analysis With Prophecy and History Variables

Martin Rinard, Austin Gadient

Subjects: Programming Languages (cs.PL)

[23] arXiv:2007.12247 [pdf, other]

Title: On Solving Word Equations via Program Transformation

Antonina Nepeivoda

Comments: Another version of this work will be uploaded on arXiv by eptcs

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

[24] arXiv:2007.12477 [pdf, other]

Title: An Object Oriented Approach For the Protection of Information Systems

Joël Colloc (IDEES)

Comments: in French. INFORSID 1991 Paris Pantheon Sorbonne, 1991, Paris, France

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

[25] arXiv:2007.12630 [pdf, other]

Title: Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification

Cameron Moy, Phúc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn

Comments: To appear in POPL 2021

Subjects: Programming Languages (cs.PL)

[26] arXiv:2007.12737 [pdf, other]

Title: Build Scripts with Perfect Dependencies

Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt

Subjects: Programming Languages (cs.PL)

[27] arXiv:2007.12987 [pdf, other]

Title: Coupled Relational Symbolic Execution for Differential Privacy

Gian Pietro Farina, Stephen Chong, Marco Gaboardi

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

[28] arXiv:2007.14259 [pdf, other]

Title: Inductive Reachability Witnesses

Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi

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

[29] arXiv:2007.14381 [pdf, other]

Title: BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration

Augustus Odena, Kensen Shi, David Bieber, Rishabh Singh, Charles Sutton, Hanjun Dai

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

[30] arXiv:2007.15126 [pdf, other]

Title: Towards a Formal Foundation of Intermittent Computing

Milijana Surbatovich (Carnegie Mellon University), Limin Jia (Carnegie Mellon University), Brandon Lucia (Carnegie Mellon University)

Comments: Update acknowledgements with link to repo of Coq mechanization

Journal-ref: Proc. ACM Program. Lang. 4, OOPSLA, Article 163 (November 2020), 31 pages (2020)

Subjects: Programming Languages (cs.PL)

[31] arXiv:2007.15617 [pdf, other]

Title: A Core Calculus for Static Latency Tracking with Placement Types

Tobias Reinhard

Comments: 3 pages, 0 figures, accepted at Student Research Competition @ POPL 2019

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

[32] arXiv:2007.16171 [pdf, other]

Title: Reversible Debugging in Logic Programming

Germán Vidal

Comments: 15 pages, to appear in "LNCS Honorary Volume for Manuel Hermenegildo" [AVERTIS 2019]

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

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

Title: Automatic Horizontal Fusion for GPU Kernels

Ao Li, Bojian Zheng, Gennady Pekhimenko, Fan Long

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

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

Title: You Autocomplete Me: Poisoning Vulnerabilities in Neural Code Completion

Roei Schuster, Congzheng Song, Eran Tromer, Vitaly Shmatikov

Comments: Accepted at USENIX Security '21

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

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

Title: Logic of computational semi-effects and categorical gluing for equivariant functors

Yuichi Nishiwaki, Toshiya Asai

Comments: 32 pages

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