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

Programming Languages

Authors and titles for recent submissions

[ total of 29 entries: 1-29 ]
[ showing 29 entries per page: fewer | more ]

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

[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)
[11]  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)
[12]  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)
[13]  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

[14]  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)
[15]  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)
[16]  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)
[17]  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)
[18]  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)
[19]  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)

Mon, 1 Dec 2025

[20]  arXiv:2511.23472 [pdf, ps, other]
Title: RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
Authors: Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka, Emanuele D'Osualdo
Comments: Full version of the conference paper at POPL 2026. The first two authors contributed equally to this work
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[21]  arXiv:2511.23358 [pdf, ps, other]
Title: TypeDis: A Type System for Disentanglement
Authors: Alexandre Moine, Stephanie Balzer, Alex Xu, Sam Westrick
Comments: 34 pages, 24 figures, extended version of the same paper accepted at POPL 2026
Subjects: Programming Languages (cs.PL)
[22]  arXiv:2511.23283 [pdf, ps, other]
Title: All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
Authors: Alexandre Moine, Sam Westrick, Joseph Tassarotti
Comments: 32 pages, 26 figures, extended version of the same paper accepted at POPL 2026
Subjects: Programming Languages (cs.PL)
[23]  arXiv:2511.22692 [pdf, ps, other]
Title: A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
Authors: David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
Subjects: Programming Languages (cs.PL)
[24]  arXiv:2511.22419 [pdf, ps, other]
Title: On Circuit Description Languages, Indexed Monads, and Resource Analysis
Authors: Ken Sakayori, Andrea Colledan, Ugo Dal Lago
Comments: Extended version of a paper to be published at POPL 2026
Subjects: Programming Languages (cs.PL)
[25]  arXiv:2511.22075 [pdf, ps, other]
Title: Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
Authors: Doruk Alp Mutlu
Comments: Submitted to the 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026) Student Research Competition
Subjects: Programming Languages (cs.PL)
[26]  arXiv:2511.22537 (cross-list from cs.LO) [pdf, ps, other]
Title: A programming language combining quantum and classical control
Authors: Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev
Comments: Extended version of this https URL and related to the PhD thesis at arXiv:2406.07216
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Quantum Physics (quant-ph)
[27]  arXiv:2511.22523 (cross-list from quant-ph) [pdf, ps, other]
Title: Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
Authors: Jérome Ricciardi, Sébastien Bardin, Christophe Chareton, Benoît Valiron
Comments: 16 pages, 5 figures, 3 tables
Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)
[28]  arXiv:2511.21994 (cross-list from cs.HC) [pdf, ps, other]
Title: When Are Reactive Notebooks Not Reactive?
Authors: Megan Zheng, Will Crichton, Akshay Narayan, Deepti Raghavan, Nikos Vasilakis
Subjects: Human-Computer Interaction (cs.HC); Programming Languages (cs.PL); Software Engineering (cs.SE)
[29]  arXiv:2511.21878 (cross-list from cs.SE) [pdf, ps, other]
Title: Advancing Automated In-Isolation Validation in Repository-Level Code Translation
Authors: Kaiyao Ke, Ali Reza Ibrahimzada, Rangeet Pan, Saurabh Sinha, Reyhaneh Jabbarvand
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[ total of 29 entries: 1-29 ]
[ showing 29 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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