Programming Languages

Authors and titles for recent submissions

• Wed, 7 Jan 2026
• Tue, 6 Jan 2026
• Mon, 5 Jan 2026
• Thu, 1 Jan 2026
• 2025年12月30日

See today's new changes

Wed, 7 Jan 2026 (showing 3 of 3 entries )

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

Title: Backwards Data-Flow Analysis using Prophecy Variable in the BuildIt System

Ajay Brahmakshatriya, Saman Amarasinghe, Martin Rinard

Subjects: Programming Languages (cs.PL)

[2] arXiv:2601.03249 (cross-list from cs.LO) [pdf, other]

Title: Proceedings 16th International Workshop on Graph Computation Models

Leen Lambers (Brandenburg University of Technology Cottbus-Senftenberg), Oszkár Semeráth (Budapest University of Technology and Economics)

Journal-ref: EPTCS 440, 2026

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL); Software Engineering (cs.SE)

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

Title: Compressed code: the hidden effects of quantization and distillation on programming tokens

Viacheslav Siniaev, Iaroslav Chelombitko, Aleksey Komissarov

Comments: 18 pages, 1 figure and 6 tables

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

Tue, 6 Jan 2026 (showing 9 of 9 entries )

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

Title: MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines

Berke Ates, Filip Dobrosavljević, Theodoros Theodoridis, Zhendong Su

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[5] arXiv:2601.02060 [pdf, html, other]

Title: Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming

Nguyet-Anh H. Lang, Eric Lang, Thanh Le-Cong, Bach Le, Quyet-Thang Huynh

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

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

Title: The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers

Shuoming Zhang, Jiacheng Zhao, Qiuchu Yu, Chunwei Xia, Zheng Wang, Xiaobing Feng, Huimin Cui

Comments: Accepted by CCF Transactions on High Performance Computing

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

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

Title: BALI: Branch-Aware Loop Invariant Inference with Large Language Models

Mingxiu Wang, Jiawei Wang, Xiao Cheng

Comments: 4 pages, 1 figure, AAAI-26 Bridge Program B10: Making Embodied AI Reliable with Testing and Formal Verification

Subjects: Programming Languages (cs.PL)

[8] arXiv:2601.02251 (cross-list from cs.FL) [pdf, other]

Title: Deciding Serializability in Network Systems

Guy Amir, Mark Barbone, Nicolas Amat, Jules Jacobs

Comments: To appear in TACAS 2026

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

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

Title: The Invisible Hand of AI Libraries Shaping Open Source Projects and Communities

Matteo Esposito, Andrea Janes, Valentina Lenarduzzi, Davide Taibi

Comments: ACCEPTED REGISTERED REPORT AT SANER (CORE A*) 2026

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Information Retrieval (cs.IR); Programming Languages (cs.PL)

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

Title: Interaction Improvement

Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, Gabriele Vanoni

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

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

Title: Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts

Hyunhum Cho, Ik Rae Jeong

Comments: 15 pages, 3 figures, 4 tables. Submitted to IEEE Transactions on Dependable and Secure Computing

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

[12] arXiv:2601.00880 (cross-list from cs.AI) [pdf, html, other]

Title: Universal Conditional Logic: A Formal Language for Prompt Engineering

Anthony Mikinka

Comments: 25 pages, 15 figures, 5 tables. Includes appendices with variable reference, pattern library, and O_s calculation examples. Supplementary materials: V1-V4.1 prompt source code and 305 model responses available at GitHub repositories

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)

Mon, 5 Jan 2026

No updates for this time period.

Thu, 1 Jan 2026 (showing 5 of 5 entries )

[13] arXiv:2512.23996 [pdf, html, other]

Title: State Space Estimation for DPOR-based Model Checkers

A. R. Balasubramanian, Mohammad Hossein Khoshechin Jorshari, Rupak Majumdar, Umang Mathur, Minjian Zhang

Comments: paper under review

Subjects: Programming Languages (cs.PL)

[14] arXiv:2512.23768 [pdf, html, other]

Title: Virtual Garbage Collector (VGC): A Zone-Based Garbage Collection Architecture for Python's Parallel Runtime

Abdulla M

Comments: 30 pages, 5 figures. Primary category cs.PL, secondary cs.DC

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

[15] arXiv:2512.23740 [pdf, html, other]

Title: Towards representation agnostic probabilistic programming

Ole Fenske, Maximilian Popko, Sebastian Bader, Thomas Kirste

Comments: Accepted at LAFI@POPL25

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)

[16] arXiv:2512.23738 [pdf, other]

Title: Enforcing Temporal Constraints for LLM Agents

Adharsh Kamath, Sishen Zhang, Calvin Xu, Shubham Ugare, Gagandeep Singh, Sasa Misailovic

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[17] arXiv:2512.23858 (cross-list from cs.LG) [pdf, html, other]

Title: Yggdrasil: Bridging Dynamic Speculation and Static Runtime for Latency-Optimal Tree-Based LLM Decoding

Yue Guan, Changming Yu, Shihan Fang, Weiming Hu, Zaifeng Pan, Zheng Wang, Zihan Liu, Yangjie Zhou, Yufei Ding, Minyi Guo, Jingwen Leng

Comments: Accepted by NeurIPS 2025

Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)

2025年12月30日 (showing 12 of 12 entries )

[18] arXiv:2512.23665 [pdf, html, other]

Title: Automating the Analysis of Parsing Algorithms (and other Dynamic Programs)

Tim Vieira, Ryan Cotterell, Jason Eisner

Comments: 2021 manuscript; accepted by TACL but not revised for publication

Subjects: Programming Languages (cs.PL)

[19] arXiv:2512.23552 [pdf, html, other]

Title: Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction

Martin Sulzmann

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[20] arXiv:2512.23497 [pdf, other]

Title: Adaptable TeaStore: A Choreographic Approach

Giuseppe De Palma (Università di Bologna, Italy and INRIA, France), Saverio Giallorenzo (Università di Bologna, Italy and INRIA, France), Ivan Lanese (Università di Bologna, Italy and INRIA, France), Gianluigi Zavattaro (Università di Bologna, Italy and INRIA, France)

Comments: In Proceedings WACA 2025, arXiv:2512.22054

Journal-ref: EPTCS 438, 2025, pp. 79-99

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[21] arXiv:2512.23496 [pdf, other]

Title: Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System

Anna Gallone (Université Marie et Louis Pasteur, CNRS UMR6174, Institut FEMTO-ST, F-25000 Besançon, France), Simon Bliudze (Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France), Sophie Cerf (Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France), Olga Kouchnarenko (Université Marie et Louis Pasteur, CNRS UMR6174, Institut FEMTO-ST, F-25000 Besançon, France)

Comments: In Proceedings WACA 2025, arXiv:2512.22054. This work was supported by the ANR grant ANR-23-CE25-0004 (ADAPT). O. Kouchnarenko was supported by the EIPHI Graduate School (grant number ANR-17-EURE-0002)

Journal-ref: EPTCS 438, 2025, pp. 58-78

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

[22] arXiv:2512.22684 [pdf, other]

Title: Compiling Gradual Types with Evidence

José Luis Romero, Cristóbal Isla, Matías Toro, Éric Tanter

Comments: Submitted to TOPLAS

Subjects: Programming Languages (cs.PL)

[23] arXiv:2512.22417 [pdf, html, other]

Title: A Bounded Game Semantics Checker for Precise Smart Contract Analysis

Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

Comments: 21 pages, 2 figures, 4 tables

Subjects: Programming Languages (cs.PL)

[24] arXiv:2512.22390 [pdf, html, other]

Title: Eliminate Branches by Melding IR Instructions

Yuze Li, Srinivasan Ramachandra Sharma, Charitha Saumya, Ali R. Butt, Kirshanthan Sundararajah

Subjects: Programming Languages (cs.PL)

[25] arXiv:2512.22383 [pdf, html, other]

Title: Symbolic Specification and Reasoning for Quantum Data and Operations

Mingsheng Ying

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

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

Title: Verifying Asynchronous Hyperproperties in Reactive Systems

Raven Beutner, Bernd Finkbeiner

Comments: OOPSLA 2025

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

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

Title: Anka: A Domain-Specific Language for Reliable LLM Code Generation

Saif Khalfan Saif Al Mazrouei

Comments: 11 pages, 1 figure, 4 tables. Code and benchmarks available at this https URL

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

[28] arXiv:2512.22219 (cross-list from cs.DC) [pdf, html, other]

Title: Mirage Persistent Kernel: A Compiler and Runtime for Mega-Kernelizing Tensor Programs

Xinhao Cheng, Zhihao Zhang, Yu Zhou, Jianan Ji, Jinchen Jiang, Zepeng Zhao, Ziruo Xiao, Zihao Ye, Yingyi Huang, Ruihang Lai, Hongyi Jin, Bohan Hou, Mengdi Wu, Yixin Dong, Anthony Yip, Zihao Ye, Songting Wang, Wenqin Yang, Xupeng Miao, Tianqi Chen, Zhihao Jia

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

[29] arXiv:2512.22168 (cross-list from cs.DC) [pdf, html, other]

Title: TL: Automatic End-to-End Compiler of Tile-Based Languages for Spatial Dataflow Architectures

Wei Li, Zhenyu Bai, Heru Wang, Pranav Dangi, Zhiqiang Zhang, Cheng Tan, Huiying Lan, Weng-Fai Wong, Tulika Mitra

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