We gratefully acknowledge support from
the Simons Foundation and member institutions.

Programming Languages

Authors and titles for cs.PL in Jul 2021

[ total of 78 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 71-78 ]
[ showing 10 entries per page: fewer | more | all ]
[1]  arXiv:2107.00063 [pdf, other]
Title: Visualizing The Intermediate Representation of Just-in-Time Compilers
Comments: 24 pages
Subjects: Programming Languages (cs.PL)
[2]  arXiv:2107.00064 [pdf, other]
Title: Toward Efficient Interactions between Python and Native Libraries
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
Subjects: Programming Languages (cs.PL)
[4]  arXiv:2107.00097 [pdf, ps, other]
Title: An implementation of flow calculus for complexity analysis (tool paper)
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
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
Subjects: Programming Languages (cs.PL)
[7]  arXiv:2107.00555 [pdf, other]
Title: Productivity, Portability, Performance: Data-Centric Python
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, 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
Journal-ref: Proceedings of the ACM on Programming Languages, Volume 4, Issue POPL, Article 3. January 2020
Subjects: Programming Languages (cs.PL)
[ total of 78 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 71-78 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2206, contact, help  (Access key information)