Programming Languages

Authors and titles for recent submissions

• Fri, 8 Nov 2024
• Thu, 7 Nov 2024
• Wed, 6 Nov 2024
• Tue, 5 Nov 2024
• Mon, 4 Nov 2024

See today's new changes

Fri, 8 Nov 2024 (showing 1 of 1 entries )

[1] arXiv:2411.04905 (cross-list from cs.CL) [pdf, html, other]

Title: OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models

Siming Huang, Tianhao Cheng, Jason Klein Liu, Jiaran Hao, Liuyihan Song, Yang Xu, J. Yang, J.H. Liu, Chenchen Zhang, Linzheng Chai, Ruifeng Yuan, Zhaoxiang Zhang, Jie Fu, Qian Liu, Ge Zhang, Zili Wang, Yuan Qi, Yinghui Xu, Wei Chu

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

Thu, 7 Nov 2024 (showing 1 of 1 entries )

[2] arXiv:2411.04104 [pdf, other]

Title: Optimizing Quantum Circuits, Fast and Slow

Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi

Comments: ASPLOS 2025

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

Wed, 6 Nov 2024 (showing 2 of 2 entries )

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

Title: LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles

Kai Zhu, Chenkai Guo, Kuihao Yan, Xiaoqi Jia, Haichao Du, Qingjia Huang, Yamin Xie, Jing Tang

Subjects: Programming Languages (cs.PL)

[4] arXiv:2411.02716 [pdf, other]

Title: Derivative-Guided Symbolic Execution

Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan

Comments: conditionally accepted at POPL'25

Subjects: Programming Languages (cs.PL)

Tue, 5 Nov 2024 (showing 2 of 2 entries )

[5] arXiv:2411.02318 (cross-list from cs.SE) [pdf, html, other]

Title: Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast

Marilyn Rego, Wen Fan, Xin Hu, Sanya Dod, Zhaorui Ni, Danning Xie, Jenna DiVincenzo, Lin Tan

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[6] arXiv:2411.02077 (cross-list from cs.SE) [pdf, other]

Title: Fuzzing Processing Pipelines for Zero-Knowledge Circuits

Christoph Hochrainer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Programming Languages (cs.PL)

Mon, 4 Nov 2024 (showing 5 of 5 entries )

[7] arXiv:2411.00752 [pdf, other]

Title: Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming

Junyoung Jang, Brigitte Pientka

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

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

Title: Debugging Functional Programs by Interpretation

John Whitington

Comments: 193 pages, PhD thesis, 85 figures

Subjects: Programming Languages (cs.PL)

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

Title: Visualizing the Evaluation of Functional Programs for Debugging

John Whitington, Tom Ridge

Comments: 8 pages, 1 figure. arXiv admin note: text overlap with arXiv:1905.06545

Subjects: Programming Languages (cs.PL)

[10] arXiv:2411.00037 [pdf, other]

Title: Clean for Haskell Programmers

Mart Lubbers, Peter Achten

Comments: 5 pages

Subjects: Programming Languages (cs.PL)

[11] arXiv:2411.00589 (cross-list from cs.LO) [pdf, html, other]

Title: Early Announcement: Parametricity for GADTs

Pierre Cagne, Patricia Johann

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