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)