Programming Languages

Authors and titles for recent submissions, skipping first 20

[ total of 29 entries: 1-5 | 6-10 | 11-15 | 16-20 | 21-25 | 26-29 ]
[ showing 5 entries per page: fewer | more | all ]

[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)

[ total of 29 entries: 1-5 | 6-10 | 11-15 | 16-20 | 21-25 | 26-29 ]
[ showing 5 entries per page: fewer | more | all ]