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

Programming Languages

Authors and titles for recent submissions

[ total of 29 entries: 1-10 | 11-20 | 21-29 ]
[ showing 10 entries per page: fewer | more | all ]

Fri, 5 Dec 2025

[1]  arXiv:2512.04876 [pdf, ps, other]
Title: Optimizations and extensions for fair join pattern matching
Authors: Ioannis Karras
Comments: This is a Master's thesis for the Master's in Computer Science and Engineering at DTU (Technical University of Denmark)
Subjects: Programming Languages (cs.PL); Data Structures and Algorithms (cs.DS)
[2]  arXiv:2512.04755 [pdf, ps, other]
Title: Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
Authors: Stian Lybech, Daniele Gorla, Luca Aceto
Subjects: Programming Languages (cs.PL)

Thu, 4 Dec 2025

[3]  arXiv:2512.03972 [pdf, ps, other]
Title: OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
Authors: Hassan Arafat, David Bremner, Kenneth B. Kent, Julian Wang
Subjects: Programming Languages (cs.PL)
[4]  arXiv:2512.03086 [pdf, ps, other]
Title: Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
Authors: Le Chen, Nuo Xu, Winson Chen, Bin Lei, Pei-Hung Lin, Dunzhi Zhou, Rajeev Thakur, Caiwen Ding, Ali Jannesari, Chunhua Liao
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[5]  arXiv:2512.03083 [pdf, ps, other]
Title: Evaluate the Stack Management in Effect Handlers using the libseff C Library
Authors: ZeHao Yu
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[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-10 | 11-20 | 21-29 ]
[ showing 10 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)