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

Programming Languages

Authors and titles for recent submissions, skipping first 25

[ total of 10 entries: 1-10 ]
[ showing up to 25 entries per page: fewer | more ]

Fri, 10 May 2024

[1]  arXiv:2405.05751 (cross-list from cs.LG) [pdf, other]
Title: A Multi-Level Superoptimizer for Tensor Programs
Authors: Mengdi Wu, Xinhao Cheng, Oded Padon, Zhihao Jia
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[2]  arXiv:2405.05431 (cross-list from cs.LG) [pdf, other]
Title: Searching for Programmatic Policies in Semantic Spaces
Authors: Rubens O. Moraes, Levi H. S. Lelis
Comments: Available code: this https URL
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)

Thu, 9 May 2024

[3]  arXiv:2405.05118 [pdf, other]
Title: Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
Authors: Ari Rasch
Comments: A short version of this paper is published at ACM TOPLAS
Subjects: Programming Languages (cs.PL)
[4]  arXiv:2405.04612 [pdf, ps, other]
Title: Numerical Fuzz: A Type System for Rounding Error Analysis
Authors: Ariel E. Kellison, Justin Hsu
Subjects: Programming Languages (cs.PL); Numerical Analysis (math.NA)

Wed, 8 May 2024

[5]  arXiv:2405.03727 (cross-list from cs.SE) [pdf, other]
Title: Large Language Models Synergize with Automated Machine Learning
Authors: Jinglue Xu, Zhen Liu, Nagar Anthel Venkatesh Suryanarayanan, Hitoshi Iba
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Programming Languages (cs.PL)
[6]  arXiv:2405.03709 (cross-list from cs.SE) [pdf, other]
Title: Generating Probabilistic Scenario Programs from Natural Language
Authors: Karim Elmaaroufi, Devan Shankar, Ana Cismaru, Marcell Vazquez-Chanlatte, Alberto Sangiovanni-Vincentelli, Matei Zaharia, Sanjit A. Seshia
Comments: 17 pages, 2 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Programming Languages (cs.PL)

Tue, 7 May 2024

[7]  arXiv:2405.03536 (cross-list from cs.LO) [pdf, other]
Title: Extensional and Non-extensional Functions as Processes
Authors: Ken Sakayori, Davide Sangiorgi
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[8]  arXiv:2405.02326 (cross-list from cs.AR) [pdf, other]
Title: Evaluating LLMs for Hardware Design and Test
Authors: Jason Blocklove, Siddharth Garg, Ramesh Karri, Hammond Pearce
Subjects: Hardware Architecture (cs.AR); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL)

Mon, 6 May 2024

[9]  arXiv:2405.01787 [pdf, other]
Title: Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
Authors: Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[10]  arXiv:2405.01687 [pdf, ps, other]
Title: Compactness via Pattern Stepping Bisimulation
Authors: Matias Scharager
Subjects: Programming Languages (cs.PL)
[ total of 10 entries: 1-10 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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