Programming Languages

Authors and titles for recent submissions

• Fri, 27 Jun 2025
• Thu, 26 Jun 2025
• Wed, 25 Jun 2025
• Tue, 24 Jun 2025
• Mon, 23 Jun 2025

See today's new changes

Fri, 27 Jun 2025

No updates for this time period.

Thu, 26 Jun 2025 (showing 4 of 4 entries )

[1] arXiv:2506.20624 [pdf, html, other]

Title: PhasePoly: An Optimization Framework forPhase Polynomials in Quantum Circuits

Zihan Chen, Henry Chen, Yuwei Jin, Minghao Guo, Enhyeok Jang, Jiakang Li, Caitlin Chan, Won Woo Ro, Eddy Z. Zhang

Comments: 14 pages, 12 figures

Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)

[2] arXiv:2506.20356 [pdf, html, other]

Title: Deadlock-free Context-free Session Types

Andreia Mordido, Jorge A. Pérez

Subjects: Programming Languages (cs.PL)

[3] arXiv:2506.20310 [pdf, html, other]

Title: Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml

Ion Chirica, Mário Pereira

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[4] arXiv:2506.20127 [pdf, html, other]

Title: Dynamic Race Detection With O(1) Samples

Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan

Comments: Preprint version of the paper published in PACMPL, Volume 7, Issue POPL (POPL 2023). Official version available at this https URL

Journal-ref: In Proceedings of the ACM on Programming Languages (PACMPL), Volume 7, Issue POPL, January 2023, Article 45, 28 pages. ACM

Subjects: Programming Languages (cs.PL)

Wed, 25 Jun 2025 (showing 2 of 2 entries )

[5] arXiv:2506.19457 [pdf, other]

Title: The Autonomous Data Language -- Concepts, Design and Formal Verification

Tom T.P. Franken, Thomas Neele, Jan Friso Groote

Comments: 48 pages, preprint submitted to Elsevier

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)

[6] arXiv:2506.18923 [pdf, html, other]

Title: Mix-of-Language-Experts Architecture for Multilingual Programming

Yifan Zong, Yuntian Deng, Pengyu Nie

Comments: Accepted at LLM4Code @ ICSE 2025

Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Software Engineering (cs.SE)

Tue, 24 Jun 2025

No updates for this time period.

Mon, 23 Jun 2025 (showing 4 of 4 entries )

[7] arXiv:2506.16883 [pdf, html, other]

Title: Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine

Christoph Jung, C.F. Bolz-Tereick

Subjects: Programming Languages (cs.PL)

[8] arXiv:2506.16048 [pdf, html, other]

Title: WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction

Byeongjee Kang, Harsh Desai, Limin Jia, Brandon Lucia

Subjects: Programming Languages (cs.PL)

[9] arXiv:2506.15875 [pdf, html, other]

Title: A System Level Compiler for Massively-Parallel, Spatial, Dataflow Architectures

Dirk Van Essendelft, Patrick Wingo, Terry Jordan, Ryan Smith, Wissam Saidi

Comments: 26 pages, 5 figures, 14 listings

Subjects: Programming Languages (cs.PL); Hardware Architecture (cs.AR); Distributed, Parallel, and Cluster Computing (cs.DC); Emerging Technologies (cs.ET)

[10] arXiv:2506.16065 (cross-list from cs.LG) [pdf, other]

Title: Floating-Point Neural Networks Are Provably Robust Universal Approximators

Geonho Hwang, Wonyeol Lee, Yeachan Park, Sejun Park, Feras Saad

Comments: 70 pages, 4 figures. Appearing in CAV 2025

Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)