Programming Languages

Authors and titles for July 2018

[1] arXiv:1807.00067 [pdf, other]

Title: Josephine: Using JavaScript to safely manage the lifetimes of Rust data

Alan Jeffrey

Subjects: Programming Languages (cs.PL)

[2] arXiv:1807.00137 [pdf, other]

Title: Flexible recovery of uniqueness and immutability (Extended Version)

Paola Giannini, Marco Servetto, Elena Zucca, James Cone

Subjects: Programming Languages (cs.PL)

[3] arXiv:1807.00575 [pdf, other]

Title: Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution

Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena

Subjects: Programming Languages (cs.PL)

[4] arXiv:1807.00661 [pdf, other]

Title: Transient Typechecks are (Almost) Free

Richard Roberts, Stefan Marr, Michael Homer, James Noble

Comments: Draft

Subjects: Programming Languages (cs.PL)

[5] arXiv:1807.01053 [pdf, other]

Title: A Semantics for Hybrid Iteration

Sergey Goncharov, Julian Jakob, Renato Neves

Comments: Corrected version of a CONCUR'18 paper; more proof details

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

[6] arXiv:1807.01611 [pdf, other]

Title: Multi-Stage JavaScript

Anthony Savidis, Yannis Apostolidis, Yannis Lilis

Comments: Full source code for Spider Monkey extension (and Visual Studio build) available via Git Hub

Subjects: Programming Languages (cs.PL)

[7] arXiv:1807.01624 [pdf, other]

Title: Cimple: Instruction and Memory Level Parallelism

Vladimir Kiriansky, Haoran Xu, Martin Rinard, Saman Amarasinghe

Comments: To appear in PACT'18

Subjects: Programming Languages (cs.PL)

[8] arXiv:1807.01870 [pdf, other]

Title: Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders

Ernesto Copello (1), Nora Szasz (2), Álvaro Tasistro (2) ((1) University of Iowa, (2) Universidad ORT Uruguay)

Comments: In Proceedings LFMTP 2018, arXiv:1807.01352

Journal-ref: EPTCS 274, 2018, pp. 11-26

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

[9] arXiv:1807.01872 [pdf, other]

Title: Abstract Representation of Binders in OCaml using the Bindlib Library

Rodolphe Lepigre (Inria, LSV, CNRS, Université Paris-Saclay, Cachan, France), Christophe Raffalli (LAMA, CNRS, Université Savoie Mont Blanc, Chambéry, France)

Comments: In Proceedings LFMTP 2018, arXiv:1807.01352

Journal-ref: EPTCS 274, 2018, pp. 42-56

Subjects: Programming Languages (cs.PL)

[10] arXiv:1807.01948 [pdf, other]

Title: Incremental Relational Lenses

Rudi Horn, Roly Perera, James Cheney

Comments: To appear, ICFP 2018

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

[11] arXiv:1807.02132 [pdf, other]

Title: Gradual Liquid Type Inference

Niki Vazou, Éric Tanter, David Van Horn

Comments: To appear at OOPSLA 2018

Subjects: Programming Languages (cs.PL)

[12] arXiv:1807.02358 [pdf, other]

Title: Tight Typings and Split Bounds

Beniamino Accattoli, Stéphane Graham-Lengrand, Delia Kesner

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

[13] arXiv:1807.02554 [pdf, other]

Title: Methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers

S. O. Semerikov, O. P. Polishchuk

Comments: 27 pages, 2 tables, in Ukrainian

Journal-ref: Theory and methods of learning mathematics, physics, informatics 13, 2 (2015) 174-200

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

[14] arXiv:1807.02786 [pdf, other]

Title: Graduality from Embedding-projection Pairs (Extended Version)

Max S. New, Amal Ahmed

Comments: Extended version of paper accepted to ICFP 2018

Subjects: Programming Languages (cs.PL)

[15] arXiv:1807.02809 [pdf, other]

Title: Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion

Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb

Comments: Extended version of ICFP 2018 paper

Subjects: Programming Languages (cs.PL)

[16] arXiv:1807.03566 [pdf, other]

Title: A modelling language for the effective design of Java annotations

Irene Córdoba, Juan de Lara

Comments: 6 pages, 6 figures, 2015 conference

Journal-ref: Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC 2015), 2087-2092, 2015

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

[17] arXiv:1807.03585 [pdf, other]

Title: Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks

Martin Sulzmann, Kai Stadtmueller

Comments: further details compared to PPDP'18

Subjects: Programming Languages (cs.PL)

[18] arXiv:1807.03703 [pdf, other]

Title: Competitive Parallelism: Getting Your Priorities Right

Stefan K. Muller, Umut A. Acar, Robert Harper

Comments: Extended version of a paper to appear at ICFP 2018

Subjects: Programming Languages (cs.PL)

[19] arXiv:1807.03732 [pdf, other]

Title: Proceedings of the 7th Workshop on Mathematically Structured Functional Programming

Robert Atkey (University of Strathclyde), Sam Lindley (University of Edinburgh)

Journal-ref: EPTCS 275, 2018

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

[20] arXiv:1807.04084 [pdf, other]

Title: Relating Idioms, Arrows and Monads from Monoidal Adjunctions

Exequiel Rivas (INRIA)

Comments: In Proceedings MSFP 2018, arXiv:1807.03732

Journal-ref: EPTCS 275, 2018, pp. 18-33

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

[21] arXiv:1807.04596 [pdf, other]

Title: Gradual System F

Elizabeth Labrada, Matías Toro, Éric Tanter

Comments: Journal submission, extends and subsumes POPL'19

Subjects: Programming Languages (cs.PL)

[22] arXiv:1807.04603 [pdf, other]

Title: Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault

Comments: Long version of CSF'19 paper, including online appendix

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

[23] arXiv:1807.05091 [pdf, other]

Title: Probabilistic Relational Reasoning via Metrics

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

Subjects: Programming Languages (cs.PL)

[24] arXiv:1807.06702 [pdf, other]

Title: Merlin: A Language Server for OCaml (Experience Report)

Frédéric Bour, Thomas Refis, Gabriel Scherer

Subjects: Programming Languages (cs.PL)

[25] arXiv:1807.06735 [pdf, other]

Title: BOLT: A Practical Binary Optimizer for Data Centers and Beyond

Maksim Panchenko, Rafael Auler, Bill Nell, Guilherme Ottoni

Subjects: Programming Languages (cs.PL)