Programming Languages

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

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