Programming Languages

Authors and titles for cs.PL in Apr 2020, skipping first 50

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

Title: Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere

Authors: Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner

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

[52]  arXiv:2004.04338 (cross-list from cs.DC) [pdf, ps, other]

Title: OV: Validity-based Optimistic Smart Contracts

Authors: Quan Nguyen, Andre Cronje, Michael Kong

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

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

Title: Parameterized Verification of Systems with Global Synchronization and Guards

Authors: Nouraldin Jaber (1), Swen Jacobs (2), Christopher Wagner (1), Milind Kulkarni (1), Roopsha Samanta (1) ((1) Purdue University, (2) CISPA Helmholtz Center for Information Security)

Comments: Conference version published at CAV 2020; this version contains a correction of guard-compatibility conditions C2.1 and C2.2

Journal-ref: Lecture Notes in Computer Science, vol 12224. Springer (2020)

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

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

Title: Sequence Model Design for Code Completion in the Modern IDE

Authors: Gareth Ari Aye, Gail E. Kaiser

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

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

Title: What Kind of Programming Language Best Suits Integrative AGI?

Authors: Ben Goertzel

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

[56]  arXiv:2004.05500 (cross-list from cs.CR) [pdf, ps, other]

Title: Analysing Flow Security Properties in Virtualised Computing Systems

Authors: Chunyan Mu

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

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

Title: Evaluation of Generalizability of Neural Program Analyzers under Semantic-Preserving Transformations

Authors: Md Rafiqul Islam Rabin, Mohammad Amin Alipour

Comments: Related to arXiv:2008.01566

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

[58]  arXiv:2004.08200 (cross-list from cs.DC) [pdf, ps, other]

Title: Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory

Authors: Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim

Comments: This is the full version of the paper that is to appear in FORTE 2020 (this https URL)

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

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

Title: On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers

Authors: Dominik Winterer, Chengyu Zhang, Zhendong Su

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

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

Title: Taming the Expressiveness and Programmability of Graph Analytical Queries

Authors: Lu Qin, Longbin Lai, Kongzhang Hao, Zhongxin Zhou, Yiwei Zhao, Yuxing Han, Xuemin Lin, Zhengping Qian, Jingren Zhou

Comments: 22 pages

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

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

Title: The Imandra Automated Reasoning System (system description)

Authors: Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto

Comments: To appear in Proceedings of The International Joint Conference on Automated Reasoning (IJCAR) 2020, Lecture Notes in Artificial Intelligence, Springer-Verlag

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

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

Title: A Fortran-Keras Deep Learning Bridge for Scientific Computing

Authors: Jordan Ott, Mike Pritchard, Natalie Best, Erik Linstead, Milan Curcic, Pierre Baldi

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

[63]  arXiv:2004.12403 (cross-list from cs.LO) [pdf, ps, other]

Title: Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems

Authors: Ansgar Fehnker (University of Twente), Hubert Garavel (INRIA Grenoble Rhône-Alpes)

Journal-ref: EPTCS 316, 2020

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

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

Title: LIO*: Low Level Information Flow Control in F*

Authors: Jean-Joseph Marty, Lucas Franceschino, Jean-Pierre Talpin, Niki Vazou

Comments: Submitted to ICFP

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

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

Title: Certifying Certainty and Uncertainty in Approximate Membership Query Structures -- Extended Version

Authors: Kiran Gopinathan, Ilya Sergey

Comments: 24 pages

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

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

Title: Synergistic CPU-FPGA Acceleration of Sparse Linear Algebra

Authors: Mohammadreza Soltaniyeh, Richard P. Martin, Santosh Nagarakatte

Comments: 12 pages

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

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

Title: Specifying a Cryptographical Protocol in Lustre and SCADE

Authors: Lina Marsso

Comments: In Proceedings MARS 2020, arXiv:2004.12403. arXiv admin note: text overlap with arXiv:1703.06573

Journal-ref: EPTCS 316, 2020, pp. 149-199

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

[68]  arXiv:2004.14750 (cross-list from cs.LO) [pdf, ps, other]

Title: Proceedings 16th International Conference on Quantum Physics and Logic

Authors: Bob Coecke (University of Oxford), Matthew Leifer (Chapman University)

Journal-ref: EPTCS 318, 2020

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Information Theory (cs.IT); Programming Languages (cs.PL)

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

Title: Robustness Certification of Generative Models

Authors: Matthew Mirman, Timon Gehr, Martin Vechev

Comments: Prior version submitted to ICLR 2020

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

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

Title: Open Diagrams via Coend Calculus

Authors: Mario Román (Tallinn University of Technology)

Comments: Formatting revision after Proceedings ACT 2020, minor changes

Journal-ref: EPTCS 333, 2021, pp. 65-78

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