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

Programming Languages

Authors and titles for recent submissions, skipping first 15

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

Tue, 2 Dec 2025 (continued, showing last 4 of 6 entries)

[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-25 | 16-29 ]
[ showing 25 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)