Programming Languages

Authors and titles for December 2019

[1] arXiv:1912.00781 [pdf, other]

Title: Experiments with a PCCoder extension

Dan Hernest

Comments: 12 pages

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

[2] arXiv:1912.00981 [pdf, other]

Title: Proving Data-Poisoning Robustness in Decision Trees

Samuel Drews, Aws Albarghouthi, Loris D'Antoni

Comments: Changes: revisions to main text for clarity of presentation, and corrections to proofs in the appendices

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Machine Learning (cs.LG)

[3] arXiv:1912.01289 [pdf, other]

Title: A Formal Approach to the Engineering of Domain-Specific Distributed Systems

Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi

Comments: In Press

Journal-ref: Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019

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

[4] arXiv:1912.02250 [pdf, other]

Title: A Verified Optimizer for Quantum Circuits

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

Comments: This paper supercedes arXiv:1904.06319; version 2 includes additional results and improved formatting; version 3 is the final draft with additional formatting improvements and some restructuring

Subjects: Programming Languages (cs.PL); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[5] arXiv:1912.02499 [pdf, other]

Title: Perfectly Parallel Fairness Certification of Neural Networks

Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang

Subjects: Programming Languages (cs.PL); Computers and Society (cs.CY); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[6] arXiv:1912.02951 [pdf, other]

Title: User Experience with Language-Independent Formal Verification

Suhabe Bugrara

Subjects: Programming Languages (cs.PL)

[7] arXiv:1912.03584 [pdf, other]

Title: Formalizing Event-Driven Behavior of Serverless Applications

Matthew Obetz, Stacy Patterson, Ana Milanova

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

[8] arXiv:1912.03854 [pdf, other]

Title: Variability-aware Datalog

Ramy Shahin, Marsha Chechik

Comments: PADL'20 paper

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

[9] arXiv:1912.05036 [pdf, other]

Title: RVSDG: An Intermediate Representation for Optimizing Compilers

Nico Reissmann, Jan Christian Meyer, Helge Bahmann, Magnus Själander

Subjects: Programming Languages (cs.PL)

[10] arXiv:1912.05234 [pdf, other]

Title: Array Languages Make Neural Networks Fast

Artjoms Šinkarovs, Hans-Nikolai Vießmann, Sven-Bodo Scholz

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

[11] arXiv:1912.05601 [pdf, other]

Title: Is Sized Typing for Coq Practical?

Jonathan Chan, Yufeng Li, William J. Bowman

Comments: 55 pages with 22 figures and 3 tables. Submitted to the Journal of Functional Programming. For associated artifact, see this https URL

Subjects: Programming Languages (cs.PL)

[12] arXiv:1912.06791 [pdf, other]

Title: Approximations in Probabilistic Programs

Ekansh Sharma, Daniel M. Roy

Comments: 15 pages, 3 figures

Subjects: Programming Languages (cs.PL)

[13] arXiv:1912.08255 [pdf, other]

Title: Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions

Julia Belyakova

Comments: Published at FTfJP'19

Journal-ref: Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs (FTfJP '19). ACM, New York, NY, USA, 2019, Article 3, 11 pages

Subjects: Programming Languages (cs.PL)

[14] arXiv:1912.09770 [pdf, other]

Title: CacheQuery: Learning Replacement Policies from Hardware Caches

Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf

Comments: 17 pages, 5 tables, 5 figures

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

[15] arXiv:1912.10135 [pdf, other]

Title: QuB: A Resource Aware Functional Programming Language

Apoorv Ingle

Subjects: Programming Languages (cs.PL)

[16] arXiv:1912.10630 [pdf, other]

Title: Deeply Integrating C11 Code Support into Isabelle/PIDE

Frédéric Tuong (LRI, Université Paris-Saclay), Burkhart Wolff (LRI, Université Paris-Saclay)

Comments: In Proceedings F-IDE 2019, arXiv:1912.09611

Journal-ref: EPTCS 310, 2019, pp. 13-28

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

[17] arXiv:1912.10631 [pdf, other]

Title: A Component-Based Formal Language Workbench

Peter D. Mosses

Comments: In Proceedings F-IDE 2019, arXiv:1912.09611

Journal-ref: EPTCS 310, 2019, pp. 29-34

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

[18] arXiv:1912.10817 [pdf, other]

Title: Using Prolog for Transforming XML Documents

René Haberland

Comments: 49 pages, 54 figures, 2 appendices

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

[19] arXiv:1912.11281 [pdf, other]

Title: Aggressive Aggregation: a New Paradigm for Program Optimization

Frederik Gossen, Marc Jasper, Alnis Murtovi, Bernhard Steffen

Subjects: Programming Languages (cs.PL)

[20] arXiv:1912.11929 [pdf, other]

Title: GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Subjects: Programming Languages (cs.PL)

[21] arXiv:1912.12189 [pdf, other]

Title: LLOV: A Fast Static Data-Race Checker for OpenMP Programs

Utpal Bora, Santanu Das, Pankaj Kukreja, Saurabh Joshi, Ramakrishna Upadrasta, Sanjay Rajopadhye

Comments: Accepted in ACM TACO, August 2020

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

[22] arXiv:1912.12659 [pdf, other]

Title: Synthesizing Queries via Interactive Sketching

Osbert Bastani, Xin Zhang, Armando Solar-Lezama

Subjects: Programming Languages (cs.PL)

[23] arXiv:1912.13451 [pdf, other]

Title: Introduction to Rank-polymorphic Programming in Remora (Draft)

Olin Shivers, Justin Slepak, Panagiotis Manolios

Comments: 52 pages; fixes some errors in previous version

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

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

Title: PointEval: On the Impact of Pointer Analysis Frameworks

Jyoti Prakash, Abhishek Tiwari, Christian Hammer

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

[25] arXiv:1912.00867 (cross-list from math.NA) [pdf, other]

Title: A Probabilistic Approach to Floating-Point Arithmetic

Fredrik Dahlqvist, Rocco Salvia, George A Constantinides

Comments: 9 pages, 6 figures

Subjects: Numerical Analysis (math.NA); Programming Languages (cs.PL)