Programming Languages

Authors and titles for cs.PL in Sep 2019

[1]  arXiv:1909.00043 [pdf, other]

Title: Declarative Programming for Microcontrollers -- Datalog on Arduino

Authors: Mario Wenzel, Stefan Brass

Comments: Part of DECLARE 19 proceedings

Subjects: Programming Languages (cs.PL)

[2]  arXiv:1909.00097 [pdf, other]

Title: VST-A: A Foundationally Sound Annotation Verifier

Authors: Litao Zhou, Jianxing Qin, Qinshi Wang, Andrew W. Appel, Qinxiang Cao

Subjects: Programming Languages (cs.PL)

[3]  arXiv:1909.00989 [pdf, other]

Title: Value-centric Dynamic Partial Order Reduction

Authors: Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman

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

[4]  arXiv:1909.01465 [pdf, other]

Title: Towards Gradual Checking of Reference Capabilities

Authors: Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Tobias Wrigstad

Comments: draft

Subjects: Programming Languages (cs.PL)

[5]  arXiv:1909.02457 [pdf, other]

Title: QCOR: A Language Extension Specification for the Heterogeneous Quantum-Classical Model of Computation

Authors: Tiffany M. Mintz, Alexander J. Mccaskey, Eugene F. Dumitrescu, Shirley V. Moore, Sarah Powers, Pavel Lougovski

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

[6]  arXiv:1909.02481 [pdf, other]

Title: Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy

Authors: Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song

Comments: Extended version of OOPSLA 2019 paper

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

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

Title: Formal Methods and Event Notification Systems in Mobile Computing Environment

Authors: Prashant Kumar, R. K. Ghosh

Comments: 8 pages

Subjects: Programming Languages (cs.PL)

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

Title: Predicting All Data Race Pairs for a Specific Schedule (extended version)

Authors: Martin Sulzmann, Kai Stadtmüller

Subjects: Programming Languages (cs.PL)

[9]  arXiv:1909.03523 [pdf, other]

Title: Obsidian: Typestate and Assets for Safer Blockchain Programming

Authors: Michael Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich

Comments: Working draft

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

[10]  arXiv:1909.03658 [pdf, other]

Title: Sindarin: A Versatile Scripting API for the Pharo Debugger

Authors: Thomas Dupriez (RMOD), Guillermo Polito (RMOD), Steven Costiou (RMOD), Vincent Aranega (RMOD), Stéphane Ducasse (RMOD)

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

[11]  arXiv:1909.03721 [pdf, other]

Title: CISE3: Verificação de aplicações com consistência fraca em Why3

Authors: Filipe Meirim, Mário Pereira, Carla Ferreira

Comments: Article in Portuguese, accepted in the national informatics conference INForum 2019

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

[12]  arXiv:1909.03741 [pdf, other]

Title: Análise de Segurança Baseada em Roles para Fábricas de Software

Authors: Miguel Loureiro, Luísa Lourenço, Lúcio Ferrão, Carla Ferreira

Comments: Article in Portuguese, accepted in the national informatics conference INForum 2019

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

[13]  arXiv:1909.04160 [pdf, ps, other]

Title: Structural and semantic pattern matching analysis in Haskell

Authors: Pavel Kalvoda, Tom Sydney Kerckhove

Subjects: Programming Languages (cs.PL)

[14]  arXiv:1909.04374 [pdf, other]

Title: Cache Persistence Analysis: Finally Exact

Authors: Gregory Stock, Sebastian Hahn, Jan Reineke

Comments: Technical Report RTSS 2019

Subjects: Programming Languages (cs.PL)

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

Title: Pre-proceedings of the DECLARE 2019 Conference

Authors: Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel

Subjects: Programming Languages (cs.PL)

[16]  arXiv:1909.05027 [pdf, other]

Title: The Marriage of Univalence and Parametricity

Authors: Nicolas Tabareau, Éric Tanter, Matthieu Sozeau

Comments: Journal of the ACM camera ready

Subjects: Programming Languages (cs.PL)

[17]  arXiv:1909.05076 [pdf, other]

Title: Static Analysis for Probabilistic Programs

Authors: Ryan Bernstein

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

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

Title: Proceedings 12th Interaction and Concurrency Experience

Authors: Massimo Bartoletti (University of Cagliari, Italy), Ludovic Henrio (CNRS, LIP, Lyon, France), Anastasia Mavridou (NASA Ames, USA), Alceste Scalas (Aston University, Birmingham, UK)

Journal-ref: EPTCS 304, 2019

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

[19]  arXiv:1909.05339 [pdf, other]

Title: Floorplan: Spatial Layout in Memory Management Systems

Authors: Karl Cronburg, Samuel Z. Guyer

Comments: Accepted for publication at Generative Programming: Concepts & Experiences (GPCE) 2019

Subjects: Programming Languages (cs.PL)

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

Title: A Formal Semantics of Findel in Coq (Short Paper)

Authors: Andrei Arusoaie

Comments: Presented in FROM 2019: this http URL

Subjects: Programming Languages (cs.PL)

[21]  arXiv:1909.05581 [pdf, other]

Title: Which of My Transient Type Checks Are Not (Almost) Free?

Authors: Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble

Subjects: Programming Languages (cs.PL)

[22]  arXiv:1909.05951 [pdf, other]

Title: Deterministic Parallel Fixpoint Computation

Authors: Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur

Comments: Published in POPL 2020. Code is available at this https URL

Subjects: Programming Languages (cs.PL)

[23]  arXiv:1909.05964 [pdf, other]

Title: Quantitative Programming by Examples

Authors: Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa

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

[24]  arXiv:1909.05969 [pdf, other]

Title: A Note On Compliance Relations And Fixed Points

Authors: Maurizio Murgia (Università degli Studi di Cagliari)

Comments: In Proceedings ICE 2019, arXiv:1909.05242

Journal-ref: EPTCS 304, 2019, pp. 38-47

Subjects: Programming Languages (cs.PL)

[25]  arXiv:1909.05970 [pdf, ps, other]

Title: Rusty Variation: Deadlock-free Sessions with Failure in Rust

Authors: Wen Kokke (University of Edinburgh)

Comments: In Proceedings ICE 2019, arXiv:1909.05242

Journal-ref: EPTCS 304, 2019, pp. 48-60

Subjects: Programming Languages (cs.PL)

[26]  arXiv:1909.05971 [pdf, ps, other]

Title: Towards Gradually Typed Capabilities in the Pi-Calculus

Authors: Matteo Cimini (University of Massachusetts Lowell)

Comments: In Proceedings ICE 2019, arXiv:1909.05242

Journal-ref: EPTCS 304, 2019, pp. 61-76

Subjects: Programming Languages (cs.PL)

[27]  arXiv:1909.06228 [pdf, other]

Title: IR2Vec: LLVM IR based Scalable Program Embeddings

Authors: S. VenkataKeerthy, Rohit Aggarwal, Shalini Jain, Maunendra Sankar Desarkar, Ramakrishna Upadrasta, Y. N. Srikant

Comments: Accepted in ACM TACO

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

[28]  arXiv:1909.06353 [pdf, ps, other]

Title: That's C, baby. C!

Authors: Roberto Bagnara

Comments: 5 pages, 1 figure

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

[29]  arXiv:1909.07190 [pdf, other]

Title: Model-Based Warp Overlapped Tiling for Image Processing Programs on GPUs

Authors: Abhinav Jangda, Arjun Guha

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

[30]  arXiv:1909.07331 [pdf, other]

Title: ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

Authors: Daniil Stepanov, Marat Akhin, Mikhail Belyaev

Comments: Accepted to: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)

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

[31]  arXiv:1909.08230 [pdf, ps, other]

Title: Prolog Coding Guidelines: Status and Tool Support

Authors: Falco Nogatz (University of Würzburg, Germany), Philipp Körner (University of Düsseldorf, Germany), Sebastian Krings (Niederrhein University of Applied Sciences, Germany)

Comments: In Proceedings ICLP 2019, arXiv:1909.07646

Journal-ref: EPTCS 306, 2019, pp. 8-21

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

[32]  arXiv:1909.08557 [pdf, other]

Title: Default Disambiguation for Online Parsers

Authors: Lukas Diekmann, Laurence Tratt

Comments: 14 pages, 6 tables, 8 figures. Note: This reverts this paper back to v1 (which was accidentally replaced with a different paper)

Subjects: Programming Languages (cs.PL)

[33]  arXiv:1909.08671 [pdf, ps, other]

Title: Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts

Authors: Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson

Subjects: Programming Languages (cs.PL)

[34]  arXiv:1909.08789 [pdf, other]

Title: Proof Pearl: Magic Wand as Frame

Authors: Qinxiang Cao, Shengyi Wang, Aquinas Hobor, Andrew W. Appel

Subjects: Programming Languages (cs.PL)

[35]  arXiv:1909.08815 [pdf, other]

Title: Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction

Authors: Raphael Mosaner, David Leopoldseder, Manuel Rigger, Roland Schatz, Hanspeter Mössenböck

Comments: Accepted at MPLR 2019. This is the author's version of the work

Subjects: Programming Languages (cs.PL)

[36]  arXiv:1909.08958 [pdf, other]

Title: On the Design, Implementation, and Use of Laziness in R

Authors: Aviral Goel, Jan Vitek

Comments: 27 pages, 4 tables, 21 figures

Journal-ref: Object-Oriented Programming, Systems, Languages & Applications. October 2019, Pages 153:1--153:27

Subjects: Programming Languages (cs.PL)

[37]  arXiv:1909.09324 [pdf, ps, other]

Title: Automated Verification of Integer Overflow

Authors: Asankhaya Sharma

Subjects: Programming Languages (cs.PL)

[38]  arXiv:1909.09543 [pdf, other]

Title: Process Query Language: Design, Implementation, and Evaluation

Authors: Artem Polyvyanyy, Arthur H. M. ter Hofstede, Marcello La Rosa, Chun Ouyang, Anastasiia Pika

Comments: 83 pages

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

[39]  arXiv:1909.09562 [pdf, ps, other]

Title: Equivalence Checking of Non-deterministic Operations

Authors: Sergio Antoy, Michael Hanus

Subjects: Programming Languages (cs.PL)

[40]  arXiv:1909.11206 [pdf, other]

Title: Using human-in-the-loop synthesis to author functional reactive programs

Authors: Julie L Newcomb, Rastislav Bodik

Subjects: Programming Languages (cs.PL)

[41]  arXiv:1909.12252 [pdf, other]

Title: Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

Authors: Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock

Comments: 14 pages

Journal-ref: PLDI 2020

Subjects: Programming Languages (cs.PL); Computational Geometry (cs.CG)

[42]  arXiv:1909.12279 [pdf, ps, other]

Title: Fine-Grained, Language-Based Access Control for Database-Backed Applications

Authors: Ezra Zigmond (Harvard University, United States), Stephen Chong (Harvard University, United States), Christos Dimoulas (Northwestern University, United States), Scott Moore (Galois, Inc, United States)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 2, Article 3

Subjects: Programming Languages (cs.PL)

[43]  arXiv:1909.12795 [pdf, ps, other]

Title: Automatically Tracing Imprecision Causes in JavaScript Static Analysis

Authors: Hongki Lee (Korea Advanced Institute of Science and Technology, South Korea), Changhee Park (Samsung Electronics, South Korea), Sukyoung Ryu (Korea Advanced Institute of Science and Technology, South Korea)

Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 2, Article 2

Subjects: Programming Languages (cs.PL)

[44]  arXiv:1909.13058 [pdf, other]

Title: Profiling minisat based on user defined execution time -- GPROF

Authors: Shubhendra Pal Singhal, Sandeep Gupta, Pierluigi Nuzzo

Comments: 10 figures, 13 pages

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

[45]  arXiv:1909.13649 [pdf, other]

Title: PlanAlyzer: Assessing Threats to the Validity of Online Experiments

Authors: Emma Tosch, Eytan Bakshy, Emery D. Berger, David D. Jensen, J. Eliot B. Moss

Comments: 30 pages, hella long

Journal-ref: OOPSLA 2019

Subjects: Programming Languages (cs.PL)

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

Title: The Dynamics of Software Composition Analysis

Authors: Darius Foo, Jason Yeo, Hao Xiao, Asankhaya Sharma

Comments: ASE 2019, LBR

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

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

Title: Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis

Authors: Ramtine Tofighi-Shirazi (TL, IF), Irina Asăvoae (TL), Philippe Elbaz-Vincent (IF), Thanh-Ha Le (TL)

Journal-ref: 3rd International Workshop on Software PROtection, Nov 2019, London, United Kingdom

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

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

Title: Verifying the DPLL Algorithm in Dafny

Authors: Cezar-Constantin Andrici (Alexandru Ioan Cuza University), Ştefan Ciobâcă (Alexandru Ioan Cuza University)

Comments: In Proceedings FROM 2019, arXiv:1909.00584

Journal-ref: EPTCS 303, 2019, pp. 3-15

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

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

Title: Explaining SDN Failures via Axiomatisations

Authors: Georgiana Caltais

Comments: In Proceedings FROM 2019, arXiv:1909.00584

Journal-ref: EPTCS 303, 2019, pp. 48-60

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

[50]  arXiv:1909.03110 (cross-list from cs.CY) [pdf, other]

Title: Making High-Performance Robots Safe and Easy to Use for an Introduction to Computing

Authors: Joseph Spitzer, Joydeep Biswas, Arjun Guha

Comments: 8 pages, 7 figures, 4 tables

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