Programming Languages

Authors and titles for recent submissions

• Thu, 21 May 2020
• Wed, 20 May 2020
• Tue, 19 May 2020
• Mon, 18 May 2020
• Fri, 15 May 2020

Thu, 21 May 2020

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

Title: Learning Semantic Program Embeddings with GraphInterval Neural Network

Authors: Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang

Comments: The abstract is simplified, for full abstract, please refer to the paper

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

Wed, 20 May 2020

[2]  arXiv:2005.09520 [pdf, other]

Title: Choreographies as Objects

Authors: Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti

Subjects: Programming Languages (cs.PL)

[3]  arXiv:2005.09516 [pdf, other]

Title: RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system

Authors: Sören Tempel (University of Bremen), Tristan Bruns (University of Bremen)

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

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

Title: Monads and "do" notation in the Wolfram Language

Authors: Kacper Topolnicki

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

[5]  arXiv:2005.09452 [pdf, other]

Title: PubSub implementation in Haskell with formal verification in Coq

Authors: Boro Sitnikovski, Biljana Stojcevska, Lidija Goracinova-Ilieva, Irena Stojmenovska

Comments: 4 pages, accepted for presentation at the CIIT 2020, 17th International Conference on Informatics and Information Technologies

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

[6]  arXiv:2005.09089 [pdf, ps, other]

Title: Dice: Compiling Discrete Probabilistic Programs for Scalable Inference

Authors: Steven Holtzen, Guy Van den Broeck, Todd Millstein

Subjects: Programming Languages (cs.PL)

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

Title: Sham: A DSL for Fast DSLs

Authors: Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt

Subjects: Programming Languages (cs.PL)

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

Title: Weakest Preexpectation Semantics for Bayesian Inference

Authors: Marcin Szymczak, Joost-Pieter Katoen

Subjects: Programming Languages (cs.PL)

Tue, 19 May 2020

[9]  arXiv:2005.08396 [pdf, other]

Title: A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper

Authors: Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

Comments: To appear in Proceedings of the 12th International Conference on Reversible Computation (RC 2020), Oslo, Norway, 2020

Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)

[10]  arXiv:2005.08211 [pdf]

Title: Quantifying the Impact on Software Complexity of Composable Inductive Programming using Zoea

Authors: Edward McDaid, Sarah McDaid

Comments: 8 pages, 8 figures

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

[11]  arXiv:2005.08063 [pdf, other]

Title: Distributed Bounded Model Checking

Authors: Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal

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

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

Title: Fixed Point Semantics for Stream Reasoning

Authors: Christian Antić

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

Mon, 18 May 2020

[13]  arXiv:2005.07464 (cross-list from cs.AI) [pdf]

Title: An Object Model for the Representation of Empirical Knowledge

Authors: Joël Colloc (IDEES), Danielle Boulanger

Comments: in French. Colloque International ICO'89, Jun 1989, Quebec, Canada

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

Fri, 15 May 2020

[14]  arXiv:2005.06875 [pdf, other]

Title: Developing Accessible Mobile Applications with Cross-Platform Development Frameworks

Authors: Sergio Mascetti, Mattia Ducci, Niccoló Cantù, Paolo Pecis, Dragan Ahmetovic

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

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

Title: Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

Authors: Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle

Comments: Extended version of a paper accepted for publication in CAV'20

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

[16]  arXiv:2005.06645 [pdf, other]

Title: A Generating-Extension-Generator for Machine Code

Authors: Michael Vaughn, Thomas Reps

Comments: 21 pages, 8 Figures Fixed inclusion of LaTeX macro in plaintext abstract

Subjects: Programming Languages (cs.PL)

[17]  arXiv:2005.06496 [pdf, ps, other]

Title: FlowCFL: A Framework for Type-based Reachability Analysis in the Presence of Mutable Data

Authors: Ana Milanova

Subjects: Programming Languages (cs.PL)

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

Title: Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI

Authors: Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia

Comments: Full version of a CAV 2020 paper

Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL); Systems and Control (eess.SY); Machine Learning (stat.ML)

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

Title: A Multi-Perspective Architecture for Semantic Code Search

Authors: Rajarshi Haldar, Lingfei Wu, Jinjun Xiong, Julia Hockenmaier

Comments: ACL 2020

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

• Thu, 21 May 2020
• Wed, 20 May 2020
• Tue, 19 May 2020
• Mon, 18 May 2020
• Fri, 15 May 2020