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

Programming Languages

Authors and titles for recent submissions, skipping first 5

[ total of 29 entries: 1-5 | 6-10 | 11-15 | 16-20 | 21-25 | 26-29 ]
[ showing 5 entries per page: fewer | more | all ]

Thu, 4 Dec 2025 (continued, showing last 4 of 7 entries)

[6]  arXiv:2512.03926 (cross-list from cs.SE) [pdf, ps, other]
Title: Tunable Automation in Automated Program Verification
Authors: Alexander Y. Bai, Chris Hawblitzel, Andrea Lattuada
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[7]  arXiv:2512.03571 (cross-list from cs.AI) [pdf, ps, other]
Title: EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
Authors: Zhening Li, Armando Solar-Lezama, Yisong Yue, Stephan Zheng
Comments: 65 pages, 2 figures, published in NeurIPS 2025
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Programming Languages (cs.PL)
[8]  arXiv:2512.03492 (cross-list from cs.CY) [pdf, ps, other]
Title: Functional Python Programming in Introductory Computer Science Courses
Authors: Rajshekhar Sunderraman
Comments: Presented in Best Practices Track of COMPUTE 2025 (arXiv:2512.02349)
Subjects: Computers and Society (cs.CY); Programming Languages (cs.PL)
[9]  arXiv:2512.03053 (cross-list from cs.LG) [pdf, ps, other]
Title: Mitigating hallucinations and omissions in LLMs for invertible problems: An application to hardware logic design automation
Authors: Andrew S. Cassidy, Guillaume Garreau, Jay Sivagnaname, Mike Grassi, Bernard Brezzo, John V. Arthur, Dharmendra S. Modha
Comments: 7 pages, 2 figures, 7 tables
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR); Programming Languages (cs.PL)

Wed, 3 Dec 2025 (showing first 1 of 4 entries)

[10]  arXiv:2512.02966 [pdf, ps, other]
Title: Lumos: Let there be Language Model System Certification
Authors: Isha Chaudhary, Vedaant Jain, Avaljot Singh, Kavya Sachdeva, Sayan Ranu, Gagandeep Singh
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
[ total of 29 entries: 1-5 | 6-10 | 11-15 | 16-20 | 21-25 | 26-29 ]
[ showing 5 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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