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

Programming Languages

Authors and titles for recent submissions, skipping first 19

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

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-50 | 20-29 ]
[ 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)