Programming Languages

Authors and titles for cs.PL in Jul 2021, skipping first 20

[21]  arXiv:2107.06639 [pdf, other]

Title: You Only Write Thrice: Creating Documents, Computational Notebooks and Presentations From a Single Source

Authors: Kacper Sokol, Peter Flach

Comments: Published at Rethinking ML Papers -- ICLR 2021 Workshop. OpenReview: this https URL Exhibit: this https URL

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

[22]  arXiv:2107.07296 [pdf, ps, other]

Title: The Art of the Meta Stream Protocol: Torrents of Streams

Authors: Christophe De Troyer (Vrije Universiteit Brussel, Belgium), Jens Nicolay (Vrije Universiteit Brussel, Belgium), Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium)

Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 1, Article 2

Subjects: Programming Languages (cs.PL)

[23]  arXiv:2107.07298 [pdf, ps, other]

Title: An Optimised Flow for Futures: From Theory to Practice

Authors: Nicolas Chappe (University of Lyon, France / EnsL, France / Claude Bernard University Lyon 1, France / CNRS, France / Inria, France / LIP, France), Ludovic Henrio (University of Lyon, France / EnsL, France / Claude Bernard University Lyon 1, France / CNRS, France / Inria, France / LIP, France), Amaury Maillé (University of Lyon, France / EnsL, France / Claude Bernard University Lyon 1, France / CNRS, France / Inria, France / LIP, France), Matthieu Moy (University of Lyon, France / EnsL, France / Claude Bernard University Lyon 1, France / CNRS, France / Inria, France / LIP, France), Hadrien Renaud (University of Lyon, France / EnsL, France / Claude Bernard University Lyon 1, France / CNRS, France / Inria, France / LIP, France / École Polytechnique, France / Institut Polytechnique de Paris, France)

Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 1, Article 3

Subjects: Programming Languages (cs.PL)

[24]  arXiv:2107.07300 [pdf, ps, other]

Title: Deriving Static Security Testing from Runtime Security Protection for Web Applications

Authors: Angel Luis Scull Pupo (Vrije Universiteit Brussel, Belgium), Jens Nicolay (Vrije Universiteit Brussel, Belgium), Elisa Gonzalez Boix (Vrije Universiteit Brussel, Belgium)

Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 1, Article 1

Subjects: Programming Languages (cs.PL)

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

Title: A Functional Programming Language with Versions

Authors: Yudai Tanabe (Tokyo Institute of Technology, Japan), Luthfan Anshar Lubis (Tokyo Institute of Technology, Japan), Tomoyuki Aotani (Mamezou, Japan), Hidehiko Masuhara (Tokyo Institute of Technology, Japan)

Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 1, Article 5

Subjects: Programming Languages (cs.PL)

[26]  arXiv:2107.07670 [pdf, other]

Title: Touring the MetaCoq Project (Invited Paper)

Authors: Matthieu Sozeau (Inria & LS2N, Université de Nantes)

Comments: In Proceedings LFMTP 2021, arXiv:2107.07376

Journal-ref: EPTCS 337, 2021, pp. 13-29

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

[27]  arXiv:2107.07809 [pdf, ps, other]

Title: A method for decompilation of AMD GCN kernels to OpenCL

Authors: K. I. Mihajlenko, M. A. Lukin, A. S. Stankevich

Comments: 10 pages, 5 figures

Journal-ref: Information and Control Systems, 2021, no. 2, pp. 33-42

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

[28]  arXiv:2107.08132 [pdf, other]

Title: Loop Transformations using Clang's Abstract Syntax Tree

Authors: Michael Kruse

Comments: LLPP'21 ( The First Workshop on LLVM in Parallel Processing) preprint

Subjects: Programming Languages (cs.PL)

[29]  arXiv:2107.08729 [pdf, ps, other]

Title: Towards Probabilistic Session-Type Monitoring

Authors: Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto

Journal-ref: Proceedings 23rd IFIP WG 6.1 International Conference, COORDINATION 2021. Springer International Publishing

Subjects: Programming Languages (cs.PL)

[30]  arXiv:2107.09472 [pdf, other]

Title: Verified Functional Programming of an Abstract Interpreter

Authors: Lucas Franceschino, David Pichardie, Jean-Pierre Talpin

Comments: Published in SAS21

Subjects: Programming Languages (cs.PL)