Programming Languages

Authors and titles for October 2019

[1] arXiv:1910.00241 [pdf, other]

Title: Optimal Dyck Reachability for Data-Dependence and Alias Analysis

Krishnendu Chatterjee, Bhavya Choudhary, Andreas Pavlogiannis

Subjects: Programming Languages (cs.PL)

[2] arXiv:1910.00709 [pdf, other]

Title: Mμl: The Power of Dynamic Multi-Methods

Isaac Oscar Gariano, Marco Servetto

Comments: Presented at Workshop on Meta-Programming Techniques and Reflection (META'19)

Subjects: Programming Languages (cs.PL)

[3] arXiv:1910.02146 [pdf, other]

Title: RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers

Tobias Reiher, Alexander Senier, Jeronimo Castrillon, Thorsten Strufe

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[4] arXiv:1910.02375 [pdf, other]

Title: Design and Use of Loop-Transformation Pragmas

Michael Kruse, Hal Finkel

Comments: IWOMP 2019, September 11-13, Auckland, preprint

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

[5] arXiv:1910.03001 [pdf, other]

Title: Trading off Complexity for Expressiveness in Programming Languages: Visions and Preliminary Experiences

Vincenzo De Florio, Chris Blondia

Comments: Appeared in Proc. of the 3rd Int.l Conference on Advanced Communication and Networking (ACN 2011), Lecture Notes in Computer Science. Springer

Subjects: Programming Languages (cs.PL)

[6] arXiv:1910.03784 [pdf, other]

Title: Generalized Property-Directed Reachability for Hybrid Systems

Kohei Suenaga, Takuya Ishizawa

Comments: To appear in VMCAI 2020

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

[7] arXiv:1910.08480 [pdf, other]

Title: Gradual Typing for Extensibility by Rows

Taro Sekiyama, Atsushi Igarashi

Subjects: Programming Languages (cs.PL)

[8] arXiv:1910.08607 [pdf, other]

Title: Exorcising Spectres with Secure Compilers

Marco Patrignani, Marco Guarnieri

Subjects: Programming Languages (cs.PL)

[9] arXiv:1910.08634 [pdf, other]

Title: Universal Composability is Robust Compilation

Marco Patrignani, Robert Künnemann, Riad S. Wahby

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

[10] arXiv:1910.09521 [pdf, other]

Title: Reasoning About Recursive Tree Traversals

Yanjun Wang, Jinwei Liu, Dalin Zhang, Xiaokang Qiu

Subjects: Programming Languages (cs.PL)

[11] arXiv:1910.09579 [pdf, other]

Title: Transparent Synchronous Dataflow

Steven W.T. Cheung, Dan R. Ghica, Koko Muroya

Journal-ref: The Art, Science, and Engineering of Programming, 2021, Vol. 5, Issue 3, Article 12

Subjects: Programming Languages (cs.PL)

[12] arXiv:1910.09586 [pdf, other]

Title: Memory Safety Preservation for WebAssembly

Marco Vassena, Marco Patrignani

Subjects: Programming Languages (cs.PL)

[13] arXiv:1910.09744 [pdf, other]

Title: Decidable Synthesis of Programs with Uninterpreted Functions

Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan

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

[14] arXiv:1910.10421 [pdf, other]

Title: Towards a Complete Picture of Lens Laws

Keisuke Nakano

Comments: Proceedings of the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+), October 28, 2019, Fukuoka, Japan

Subjects: Programming Languages (cs.PL); Databases (cs.DB)

[15] arXiv:1910.10889 [pdf, other]

Title: What's Decidable About Program Verification Modulo Axioms?

Umang Mathur, P. Madhusudan, Mahesh Viswanathan

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

[16] arXiv:1910.10988 [pdf, other]

Title: A Polymorphic RPC Calculus

Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley

Comments: SBMF-Brazilian Symposium on Formal Methods 2019

Subjects: Programming Languages (cs.PL)

[17] arXiv:1910.11108 [pdf, other]

Title: Model-View-Update-Communicate: Session Types meet the Elm Architecture

Simon Fowler

Comments: Extended version of paper to appear at ECOOP 2020

Subjects: Programming Languages (cs.PL)

[18] arXiv:1910.11629 [pdf, other]

Title: Runners in action

Danel Ahman, Andrej Bauer

Comments: ESOP 2020 final version + online appendix

Subjects: Programming Languages (cs.PL)

[19] arXiv:1910.11714 [pdf, other]

Title: Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation

Roland Meyer, Sebastian Wolff

Subjects: Programming Languages (cs.PL)

[20] arXiv:1910.11717 [pdf, other]

Title: Selective Lambda Lifting

Sebastian Graf, Simon Peyton Jones

Comments: Rejected from ICFP 2019

Subjects: Programming Languages (cs.PL)

[21] arXiv:1910.11724 [pdf, other]

Title: Embracing a mechanized formalization gap

Antal Spector-Zabusky, Joachim Breitner, Yao Li, Stephanie Weirich

Comments: Submitted to CPP'20

Subjects: Programming Languages (cs.PL)

[22] arXiv:1910.11741 [pdf, other]

Title: Implementing choreography extraction

Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina

Subjects: Programming Languages (cs.PL)

[23] arXiv:1910.11924 [pdf, other]

Title: A Calculus for Language Transformations

Benjamin Mourad, Matteo Cimini

Subjects: Programming Languages (cs.PL)

[24] arXiv:1910.12256 [pdf, other]

Title: Complexity and Information in Invariant Inference

Yotam M. Y. Feldman, Neil Immerman, Mooly Sagiv, Sharon Shoham

Subjects: Programming Languages (cs.PL)

[25] arXiv:1910.12272 [pdf, other]

Title: Declarative Semantics of the Hybrid Constraint Language HydLa

Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii

Comments: 10 pages, 3 figures. This is an English translation of the paper that originally appeared in Computer Software, Vol.28, No.1 (2011), pp.306-311, doi:https://doi.org/10.11309/jssst.28.1_306

Subjects: Programming Languages (cs.PL)

[26] arXiv:1910.12935 [pdf, other]

Title: Precise Dataflow Analysis of Event-Driven Applications

Ming-Ho Yee, Ayaz Badouraly, Ondřej Lhoták, Frank Tip, Jan Vitek

Subjects: Programming Languages (cs.PL)

[27] arXiv:1910.14619 [pdf, other]

Title: Reductions for Safety Proofs (Extended Version)

Azadeh Farzan, Anthony Vandikas

Subjects: Programming Languages (cs.PL)

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

Title: Structural Language Models of Code

Uri Alon, Roy Sadaka, Omer Levy, Eran Yahav

Comments: Appeared in ICML'2020

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

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

Title: Compositional Non-Interference for Fine-Grained Concurrent Programs

Dan Frumin, Robbert Krebbers, Lars Birkedal

Comments: New example in Section 2 has been added. A simpler security condition is now used in Section 3. Major editing in Sections 1, 2, and 7

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

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

Title: Constant-Time Foundations for the New Spectre Era

Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe

Comments: To appear at PLDI '20

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

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

Title: Field-based Coordination with the Share Operator

Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 4 (October 2, 2020) lmcs:5817

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

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

Title: IoTSim-Edge: A Simulation Framework for Modeling the Behaviour of IoT and Edge Computing Environments

Devki Nandan Jha, Khaled Alwasel, Areeb Alshoshan, Xianghua Huang, Ranesh Kumar Naha, Sudheer Kumar Battula, Saurabh Garg, Deepak Puthal, Philip James, Albert Y. Zomaya, Schahram Dustdar, Rajiv Ranjan

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

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

Title: Do People Prefer "Natural" code?

Casey Casalnuovo, Kevin Lee, Hulin Wang, Prem Devanbu, Emily Morgan

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

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

Title: Deciding Differential Privacy for Programs with Finite Inputs and Outputs

Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

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

Title: IdBench: Evaluating Semantic Representations of Identifier Names in Source Code

Yaza Wainakh, Moiz Rauf, Michael Pradel

Comments: Accepted as full research paper at International Conference on Software Engineering (ICSE) 2021

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

[36] arXiv:1910.06500 (cross-list from cs.NE) [pdf, other]

Title: DeepVS: An Efficient and Generic Approach for Source Code Modeling Usage

Yasir Hussain, Zhiqiu Huang, Yu Zhou, Senzhang Wang

Journal-ref: Electronics Letters ( Volume: 56 , Issue: 12 , 6 11 2020 ) Page(s): 604 - 607

Subjects: Neural and Evolutionary Computing (cs.NE); Programming Languages (cs.PL); Software Engineering (cs.SE)

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

Title: Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages

Ibéria Medeiros (1), Nuno Neves (1), Miguel Correia (2) ((1) LASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal, (2) INESC-ID, Instituto Superior Técnico, Universidade de Lisboa, Portugal)

Comments: 31 pages

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

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

Title: Adversarial Examples for Models of Code

Noam Yefet, Uri Alon, Eran Yahav

Comments: Accepted to OOPSLA'2020

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

[39] arXiv:1910.07519 (cross-list from cs.DB) [pdf, other]

Title: On foundational aspects of RDF and SPARQL

Dominique Duval (CASC), Rachid Echahed (LIG Laboratoire d'Informatique de Grenoble), Frederic Prost (LIG)

Subjects: Databases (cs.DB); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

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

Title: Abstract Transducers

Andreas Stahlbauer

Subjects: Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

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

Title: MultiVerse: Causal Reasoning using Importance Sampling in Probabilistic Programming

Yura Perov, Logan Graham, Kostis Gourgoulias, Jonathan G. Richens, Ciarán M. Lee, Adam Baker, Saurabh Johri

Comments: Logan and Yura have made equal contributions to the paper. Accepted to the 2nd Symposium on Advances in Approximate Bayesian Inference (Vancouver, Canada, 2019)

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Programming Languages (cs.PL); Computation (stat.CO); Machine Learning (stat.ML)

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

Title: Programming and Symbolic Computation in Maude

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn Talcott

Comments: Journal of Logical and Algebraic Methods in Programming, 2019

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

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

Title: Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory

Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev

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

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

Title: Knowledge of Uncertain Worlds: Programming with Logical Constraints

Yanhong A. Liu, Scott D. Stoller

Journal-ref: Journal of Logic and Computation, 31(1):193-212, Jan. 2021, Oxford University Press

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

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

Title: A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille

Aaron Stump (The University of Iowa)

Comments: In Proceedings LFMTP 2019, arXiv:1910.08712

Journal-ref: EPTCS 307, 2019, pp. 55-67

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

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

Title: Automatically Batching Control-Intensive Programs for Modern Accelerators

Alexey Radul, Brian Patton, Dougal Maclaurin, Matthew D. Hoffman, Rif A. Saurous

Comments: 10 pages; Machine Learning and Systems 2020

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

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

Title: Overview of Logical Foundations of Cyber-Physical Systems

André Platzer

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

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

Title: Machine Translation from Natural Language to Code using Long-Short Term Memory

K.M. Tahsin Hassan Rahit, Rashidul Hasan Nabil, Md Hasibul Huq

Comments: 8 pages, 3 figures, conference

Journal-ref: Proceedings of the Future Technologies Conference (FTC) 2019. Advances in Intelligent Systems and Computing, vol 1069. Springer, Cham

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

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

Title: Ready, set, Go! Data-race detection and the Go language

Daniel Schnetzer Fava, Martin Steffen

Comments: 22nd Brazilian Symposium on Formal Methods

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

[50] arXiv:1910.13324 (cross-list from stat.ML) [pdf, other]

Title: Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support

Yuan Zhou, Hongseok Yang, Yee Whye Teh, Tom Rainforth

Comments: Published at the 37th International Conference on Machine Learning (ICML 2020)

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