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

Programming Languages

Authors and titles for recent submissions

[ total of 29 entries: 1-25 | 26-29 ]
[ showing 25 entries per page: fewer | more | all ]

Mon, 23 Mar 2026

[1]  arXiv:2603.20127 [pdf, ps, other]
Title: Analyzing Decoders for Quantum Error Correction
Authors: Abtin Molavi, Feras Saad, Aws Albarghouthi
Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)
[2]  arXiv:2603.20001 [pdf, ps, other]
Title: Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
Authors: Hongyi Ling, Thibault Dardinier, Ellen Arlt, Peter Müller
Subjects: Programming Languages (cs.PL)
[3]  arXiv:2603.19856 [pdf, ps, other]
Title: Is It a Good Idea to Build an HLS Tool on Top of MLIR? Experience from Building the Dynamatic HLS Compiler
Authors: Jiahui Xu, Emmet Murphy, Lana Josipovic
Comments: Accepted at the Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE '26)
Subjects: Programming Languages (cs.PL)
[4]  arXiv:2603.19560 [pdf, ps, other]
Title: Incremental Live Programming via Shortcut Memoization
Authors: Marisa Kirisame, Thomas J. Porter, Ruqing Yang, Jianqiu Zhao, Yudi Wu, Ivan Wei, Cyrus Omar, Pavel Panchekha
Subjects: Programming Languages (cs.PL)
[5]  arXiv:2603.19239 [pdf, ps, other]
Title: Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
Authors: Dimitrios Stamatios Bouras, Sergey Mechtaev
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

Fri, 20 Mar 2026

[6]  arXiv:2603.18477 [pdf, ps, other]
Title: Leveraging Large Language Models for Generalizing Peephole Optimizations
Authors: Chunhao Liao, Hongxu Xu, Xintong Zhou, Zhenyang Xu, Chengnian Sun
Subjects: Programming Languages (cs.PL)
[7]  arXiv:2603.18372 [pdf, ps, other]
Title: TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
Authors: Kabilan Mahathevan, Yining Zhang, Muhammad Ali Gulzar, Kirshanthan Sundararajah
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[8]  arXiv:2603.18049 [pdf, ps, other]
Title: Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
Authors: Rishipal Singh Bhatia
Comments: Preprint. Under review at SOAP 2026. Implementation available in Google Closure Compiler
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[9]  arXiv:2603.18122 (cross-list from cs.AI) [pdf, ps, other]
Title: Don't Vibe Code, Do Skele-Code: Interactive No-Code Notebooks for Subject Matter Experts to Build Lower-Cost Agentic Workflows
Authors: Sriram Gopalakrishnan
Comments: Main paper 9 pages. Topics: Agentic Coding, HCI, LLMs, Workflows
Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL); Systems and Control (eess.SY)
[10]  arXiv:2603.18030 (cross-list from cs.OS) [pdf, ps, other]
Title: Quine: Realizing LLM Agents as Native POSIX Processes
Authors: Hao Ke
Comments: 10 pages, 3 figures. Reference implementation available on this https URL
Subjects: Operating Systems (cs.OS); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)

Thu, 19 Mar 2026

[11]  arXiv:2603.17627 [pdf, ps, other]
Title: The Program Hypergraph: Multi-Way Relational Structure for Geometric Algebra, Spatial Compute, and Physics-Aware Compilation
Authors: Houston Haynes
Comments: 29 pages, 1 figure, 2 tables
Subjects: Programming Languages (cs.PL); Hardware Architecture (cs.AR)
[12]  arXiv:2603.17099 [pdf, ps, other]
Title: Vectorization of Verilog Designs and its Effects on Verification and Synthesis
Authors: Maria Fernanda Oiveira Guimarães, Ulisses Rosa, Ian Trudel, João Victor Amorim Vieira, Augusto Amaral Mafra, Mirlaine Crepalde, Fernando Magno Quintão Pereira
Comments: 12 pages, 16 figures, 4 algorithms, 4 theorems
Subjects: Programming Languages (cs.PL); Hardware Architecture (cs.AR)
[13]  arXiv:2603.17613 (cross-list from cs.CL) [pdf, ps, other]
Title: VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
Authors: Yaoxiang Wang, Qi Shi, ShangZhan Li, Qingguo Hu, Xinyu Yin, Bo Guo, Xu Han, Maosong Sun, Jinsong Su
Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)
[14]  arXiv:2603.17208 (cross-list from cs.CL) [pdf, ps, other]
Title: SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization
Authors: Prashanth Vijayaraghavan, Apoorva Nitsure, Luyao Shi, Charles Mackin, Ashutosh Jadhav, David Beymer, Ehsan Degan, Vandana Mukherjee
Journal-ref: EACL 2026
Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)
[15]  arXiv:2603.17204 (cross-list from cs.CL) [pdf, ps, other]
Title: CODMAS: A Dialectic Multi-Agent Collaborative Framework for Structured RTL Optimization
Authors: Che-Ming Chang, Prashanth Vijayaraghavan, Ashutosh Jadhav, Charles Mackin, Vandana Mukherjee, Hsinyu Tsai, Ehsan Degan
Journal-ref: EACL 2026
Subjects: Computation and Language (cs.CL); Hardware Architecture (cs.AR); Programming Languages (cs.PL)
[16]  arXiv:2603.17170 (cross-list from cs.CR) [pdf, ps, other]
Title: PAuth - Precise Task-Scoped Authorization For Agents
Authors: Reshabh K Sharma, Linxi Jiang, Zhiqiang Lin, Shuo Chen
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[17]  arXiv:2603.17150 (cross-list from cs.SE) [pdf, ps, other]
Title: Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
Authors: Shuvendu K. Lahiri
Comments: 10 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

Wed, 18 Mar 2026

[18]  arXiv:2603.16437 [pdf, ps, other]
Title: Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
Authors: Houston Haynes
Comments: 29 pages, 1 table, 3 appendices with extended examples
Subjects: Programming Languages (cs.PL); Category Theory (math.CT); Logic (math.LO)
[19]  arXiv:2603.15855 [pdf, ps, other]
Title: Mixing Visual and Textual Code
Authors: Leif Andersen, Michael Ballantyne, Cameron Moy, Matthias Felleisen, Stephen Chang
Comments: to be published in JFP
Subjects: Programming Languages (cs.PL)
[20]  arXiv:2603.16650 (cross-list from quant-ph) [pdf, ps, other]
Title: FAlCon: A unified framework for algorithmic control of quantum dot devices
Authors: Tyler J. Kovach, Daniel Schug, Zach D. Merino, Mark Friesen, Mark A. Eriksson, Justyna P. Zwolak
Comments: 19 pages, 3 figures
Subjects: Quantum Physics (quant-ph); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Programming Languages (cs.PL); Instrumentation and Detectors (physics.ins-det)

Tue, 17 Mar 2026 (showing first 5 of 9 entries)

[21]  arXiv:2603.15096 [pdf, ps, other]
Title: Generation of Programming Exam Question and Answer Using ChatGPT Based on Prompt Engineering
Authors: Jongwook Si, Sungyoung Kim
Subjects: Programming Languages (cs.PL)
[22]  arXiv:2603.14628 [pdf, ps, other]
Title: s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
Authors: Balaji Rao, John Harrison, Soonho Kong, Juneyoung Lee, Carlo Lipizzi
Comments: Under review as a Workshop paper at AIPV 2026
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[23]  arXiv:2603.14019 [pdf, ps, other]
Title: MapReplay: Trace-Driven Benchmark Generation for Java HashMap
Authors: Filippo Schiavio, Andrea Rosà, Júnior Löff, Lubomír Bulej, Petr Tůma, Walter Binder
Subjects: Programming Languages (cs.PL); Performance (cs.PF); Software Engineering (cs.SE)
[24]  arXiv:2603.13242 [pdf, ps, other]
Title: Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
Authors: Tim Vieira
Comments: 2023 PhD dissertation (Johns Hopkins University)
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)
[25]  arXiv:2603.14538 (cross-list from quant-ph) [pdf, ps, other]
Title: Reversible Lifetime Semantics for Quantum Programs
Authors: Simone Faro, Francesco Pio Marino, Gabriele Messina
Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)
[ total of 29 entries: 1-25 | 26-29 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2603, contact, help  (Access key information)