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

Programming Languages

Authors and titles for recent submissions, skipping first 8

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

Thu, 4 Dec 2025

[9]  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)
[10]  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)
[11]  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)
[12]  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)
[13]  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)
[14]  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)
[15]  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

[16]  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)
[17]  arXiv:2512.02738 [pdf, ps, other]
Title: Probabilistic energy profiler for statically typed JVM-based programming languages
Authors: Joel Nyholm, Wojciech Mostowski, Christoph Reichenbach
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL)
[18]  arXiv:2512.02371 [pdf, ps, other]
Title: Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
Authors: Yihong Zhang, Derek Gerstmann, Andrew Adams, Maaz Bin Safeer Ahmad
Comments: CGO 2026
Subjects: Programming Languages (cs.PL)
[19]  arXiv:2512.02918 (cross-list from cs.CR) [pdf, ps, other]
Title: Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
Authors: Wanxu Xia, Ziqiao Kong, Zhengwei Li, Yi Lu, Pan Li, Liqun Yang, Yang Liu, Xiapu Luo, Shaohua Li
Comments: Slight revision and under review
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL); Software Engineering (cs.SE)

Tue, 2 Dec 2025

[20]  arXiv:2512.01036 [pdf, ps, other]
Title: A Word Sampler for Well-Typed Functions
Authors: Breandan Considine
Comments: 2 pages
Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL)
[21]  arXiv:2512.01678 (cross-list from cs.LG) [pdf, ps, other]
Title: Morphling: Fast, Fused, and Flexible GNN Training at Scale
Authors: Anubhab, Rupesh Nasre
Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
[22]  arXiv:2512.00487 (cross-list from cs.AR) [pdf, ps, other]
Title: Partial Cross-Compilation and Mixed Execution for Accelerating Dynamic Binary Translation
Authors: Yuhao Gu, Zhongchun Zheng, Nong Xiao, Yutong Lu, Xianwei Zhang
Subjects: Hardware Architecture (cs.AR); Programming Languages (cs.PL)
[23]  arXiv:2512.00314 (cross-list from cs.FL) [pdf, ps, other]
Title: Counting and Sampling Traces in Regular Languages
Authors: Alexis de Colnet, Kuldeep S. Meel, Umang Mathur
Comments: To appear in POPL 2026. Author order is random
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[24]  arXiv:2512.00164 (cross-list from cs.LG) [pdf, ps, other]
Title: Faster Verified Explanations for Neural Networks
Authors: Alessandro De Palma, Greta Dolcetti, Caterina Urban
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)
[25]  arXiv:2512.00127 (cross-list from cs.SE) [pdf, ps, other]
Title: Generating Verifiable CoT from Execution-Traces
Authors: Shailja Thakur, Vaibhav Saxena, Rohan Kulkarni, Shivdeep Singh, Parameswaran Selvam, Hima Patel, Hiroshi Kanayama
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[ total of 25 entries: 1-50 | 9-25 ]
[ showing up to 50 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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