Programming Languages

Authors and titles for cs.PL in Jul 2021

[1]  arXiv:2107.00063 [pdf, other]

Title: Visualizing The Intermediate Representation of Just-in-Time Compilers

Authors: HeuiChan Lim, Stephen Kobourov

Comments: 24 pages

Subjects: Programming Languages (cs.PL)

[2]  arXiv:2107.00064 [pdf, other]

Title: Toward Efficient Interactions between Python and Native Libraries

Authors: Jialiang Tan, Yu Chen, Zhenming Liu, Bin Ren, Shuaiwen Leon Song, Xipeng Shen, Xu Liu

Comments: In Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021), August 23-27, 2021, Athens, Greece. ACM, New York,NY, USA, 12 pages

Subjects: Programming Languages (cs.PL); Performance (cs.PF)

[3]  arXiv:2107.00093 [pdf, other]

Title: Automatic Synthesis of Experiment Designs from Probabilistic Environment Specifications

Authors: Craig Innes, Yordan Hristov, Georgios Kamaras, Subramanian Ramamoorthy

Subjects: Programming Languages (cs.PL)

[4]  arXiv:2107.00097 [pdf, ps, other]

Title: pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs

Authors: Clément Aubert, Thomas Rubiano (LIPN), Neea Rusch, Thomas Seiller (LIPN, CNRS)

Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

[5]  arXiv:2107.00101 [pdf, other]

Title: Latent Execution for Neural Program Synthesis

Authors: Xinyun Chen, Dawn Song, Yuandong Tian

Comments: Published in NeurIPS 2021

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

[6]  arXiv:2107.00522 [pdf, other]

Title: Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations

Authors: Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton

Subjects: Programming Languages (cs.PL)

[7]  arXiv:2107.00555 [pdf, other]

Title: Productivity, Portability, Performance: Data-Centric Python

Authors: Alexandros Nikolaos Ziogas, Timo Schneider, Tal Ben-Nun, Alexandru Calotoiu, Tiziano De Matteis, Johannes de Fine Licht, Luca Lavarini, Torsten Hoefler

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

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

Title: A Note on Exhaustive State Space Search for Efficient Code Generation

Authors: Aart J.C. Bik

Comments: white paper

Subjects: Programming Languages (cs.PL)

[9]  arXiv:2107.00613 [pdf, ps, other]

Title: EqFix: Fixing LaTeX Equation Errors by Examples

Authors: Fengmin Zhu, Fei He

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

[10]  arXiv:2107.01295 [pdf, ps, other]

Title: Dependent Type Systems as Macros

Authors: Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman

Journal-ref: Proceedings of the ACM on Programming Languages, Volume 4, Issue POPL, Article 3. January 2020

Subjects: Programming Languages (cs.PL)

[11]  arXiv:2107.01621 [pdf, ps, other]

Title: The Composability of Intermediate Values in Composable Inductive Programming

Authors: Edward McDaid, Sarah McDaid

Comments: 8 pages, 9 figures

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

[12]  arXiv:2107.01883 [pdf, other]

Title: A Theory of Higher-Order Subtyping with Type Intervals (Extended Version)

Authors: Sandro Stucki, Paolo G. Giarrusso

Comments: 73 pages; to be presented at the 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021), 22-27 August 2021

Journal-ref: Proc. ACM Program. Lang. 5 (2021) 69:1-69:30 (ICFP)

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

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

Title: Thread-modular Analysis of Release-Acquire Concurrency

Authors: Divyanjali Sharma, Subodh Sharma

Subjects: Programming Languages (cs.PL)

[14]  arXiv:2107.03569 [pdf, other]

Title: Dynamic Data-Race Detection through the Fine-Grained Lens

Authors: Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis

Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC)

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

Title: A cost-aware logical framework

Authors: Yue Niu (1), Jonathan Sterling (1), Harrison Grodin (1), Robert Harper (1) ((1) Carnegie Mellon University)

Subjects: Programming Languages (cs.PL)

[16]  arXiv:2107.04859 [pdf, ps, other]

Title: Approximate Normalization and Eager Equality Checking for Gradual Inductive Families

Authors: Joseph Eremondi, Ronald Garcia, Éric Tanter

Subjects: Programming Languages (cs.PL)

[17]  arXiv:2107.05225 [pdf, ps, other]

Title: Compositional Vulnerability Detection with Insecurity Separation Logic (Extended Version)

Authors: Toby Murray, Pengbo Yan, Gidon Ernst

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[18]  arXiv:2107.05679 [pdf, other]

Title: Teaching Design by Contract using Snap!

Authors: Marieke Huisman, Raúl E. Monti

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

[19]  arXiv:2107.05681 [pdf, other]

Title: DARM: Control-Flow Melding for SIMT Thread Divergence Reduction -- Extended Version

Authors: Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni

Subjects: Programming Languages (cs.PL); Performance (cs.PF)

[20]  arXiv:2107.06253 [pdf, other]

Title: Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution

Authors: Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig

Subjects: Programming Languages (cs.PL)

[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)