Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Programming Languages

Authors and titles for recent submissions

See today's new changes

Total of 28 entries
Showing up to 50 entries per page: fewer | more | all

Fri, 27 Mar 2026 (showing 8 of 8 entries )

[1] arXiv:2603.25414 [pdf, html, other]
Title: Decidable By Construction: Design-Time Verification for Trustworthy AI
Houston Haynes
Comments: 18 pages, 1 figure
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[2] arXiv:2603.25337 [pdf, html, other]
Title: On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
Satoshi Matsuoka
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[3] arXiv:2603.24940 [pdf, other]
Title: Evaluating adaptive and generative AI-based feedback and recommendations in a knowledge-graph-integrated programming learning system
Lalita Na Nongkhai, Jingyun Wang, Adam Wynn, Takahiko Mendori
Journal-ref: Computers and Education: Artificial Intelligence, Volume 10, June 2026, 100526
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)
[4] arXiv:2603.24812 [pdf, html, other]
Title: Numerical Superoptimization for Library Learning
Jonas Regehr, Mitch Briles, Zachary Tatlock, Pavel Panchekha
Subjects: Programming Languages (cs.PL)
[5] arXiv:2603.24624 [pdf, html, other]
Title: ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
Seongmin Kim, Hyunjoon Cheon, Su-Hyeon Kim, Yo-Sub Han, Sang-Ki Ko
Comments: Submitted to IJCAI 2026
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[6] arXiv:2603.24595 [pdf, other]
Title: Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
Mengting He, Shihao Xia, Haomin Jia, Wenfei Wu, Linhai Song
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)
[7] arXiv:2603.25710 (cross-list from cs.LO) [pdf, html, other]
Title: Stone Duality for Monads
Richard Garner, Alyssa Renata, Nicolas Wu
Comments: 29 pages
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)
[8] arXiv:2603.25111 (cross-list from cs.LG) [pdf, html, other]
Title: SEVerA: Verified Synthesis of Self-Evolving Agents
Debangshu Banerjee, Changming Xu, Gagandeep Singh
Comments: Formally Verified Self-Evolving LLM Agents
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)

Thu, 26 Mar 2026 (showing 5 of 5 entries )

[9] arXiv:2603.24239 [pdf, html, other]
Title: DVM: Real-Time Kernel Generation for Dynamic AI Models
Jingzhi Fang, Xiong Gao, Renwei Zhang, Zichun Ye, Lei Chen, Jie Zhao, Chengnuo Huang, Hui Xu, Xuefeng Jin
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[10] arXiv:2603.24199 [pdf, html, other]
Title: Adapting the MVVM pattern to C++ frontends and Agda-based backends
Viktor Csimma
Subjects: Programming Languages (cs.PL)
[11] arXiv:2603.23696 [pdf, html, other]
Title: Semantics for 2D Rasterization
Bhargav Kulkarni, Henry Whiting, Pavel Panchekha
Comments: 23 pages, 15 figures
Subjects: Programming Languages (cs.PL)
[12] arXiv:2603.24126 (cross-list from cs.LG) [pdf, other]
Title: Likelihood hacking in probabilistic program synthesis
Jacek Karwowski, Younesse Kaddar, Zihuiwen Ye, Nikolay Malkin, Sam Staton
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)
[13] arXiv:2603.23652 (cross-list from cs.LO) [pdf, other]
Title: A formalization of System I with type Top in Agda
Agustín Séttimo, Cristian Sottile, Cecilia Manzino
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Wed, 25 Mar 2026 (showing 3 of 3 entries )

[14] arXiv:2603.23360 [pdf, html, other]
Title: Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types
Siyuan He, Songlin Jia, Tiark Rompf
Subjects: Programming Languages (cs.PL)
[15] arXiv:2603.22463 [pdf, html, other]
Title: Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
Michele Boreale, Luisa Collodi
Comments: arXiv admin note: substantial text overlap with arXiv:2509.14092
Subjects: Programming Languages (cs.PL)
[16] arXiv:2603.22519 (cross-list from cs.SE) [pdf, html, other]
Title: LLMON: An LLM-native Markup Language to Leverage Structure and Semantics at the LLM Interface
Michael Hind, Basel Shbita, Bo Wu, Farhan Ahmed, Chad DeLuca, Nathan Fulton, David Cox, Dan Gutfreund
Comments: 28 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

Tue, 24 Mar 2026 (showing 7 of 7 entries )

[17] arXiv:2603.22032 [pdf, other]
Title: Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
Albert Schimpf, Stefan Wehr, Annette Bieniusa
Comments: 85 pages, under review for JFP
Subjects: Programming Languages (cs.PL)
[18] arXiv:2603.21949 [pdf, html, other]
Title: A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
Małgorzata Biernacka, Witold Charatonik, Tomasz Drab
Comments: 39 pages, 4 figures
Subjects: Programming Languages (cs.PL)
[19] arXiv:2603.20942 [pdf, other]
Title: Accompanist: A Runtime for Resilient Choreographic Programming
Viktor Strate Kløvedal, Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
Comments: 23 pages, 16 figures, submitted to OOPSLA 2026
Subjects: Programming Languages (cs.PL)
[20] arXiv:2603.20264 [pdf, html, other]
Title: Can LLMs Perform Synthesis?
Derek Egolf, Yuhao Zhou, Stavros Tripakis
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[21] arXiv:2603.21836 (cross-list from cs.CL) [pdf, html, other]
Title: Instruction Set and Language for Symbolic Regression
Ezequiel Lopez-Rubio, Mario Pascual-Gonzalez
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[22] arXiv:2603.20933 (cross-list from cs.CR) [pdf, html, other]
Title: AC4A: Access Control for Agents
Reshabh K Sharma, Dan Grossman
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[23] arXiv:2603.20623 (cross-list from cs.AR) [pdf, html, other]
Title: MINISA: Minimal Instruction Set Architecture for Next-gen Reconfigurable Inference Accelerator
Jianming Tong, Devansh Jain, Yujie Li, Charith Mendis, Tushar Krishna
Comments: ISPASS 2026, 13 pages, 13 figures
Journal-ref: 2026 IEEE International Symposium on Performance Analysis of Systems and Software
Subjects: Hardware Architecture (cs.AR); Programming Languages (cs.PL)

Mon, 23 Mar 2026 (showing 5 of 5 entries )

[24] arXiv:2603.20127 [pdf, other]
Title: Analyzing Decoders for Quantum Error Correction
Abtin Molavi, Feras Saad, Aws Albarghouthi
Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)
[25] arXiv:2603.20001 [pdf, html, other]
Title: Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
Hongyi Ling, Thibault Dardinier, Ellen Arlt, Peter Müller
Subjects: Programming Languages (cs.PL)
[26] arXiv:2603.19856 [pdf, html, other]
Title: Is It a Good Idea to Build an HLS Tool on Top of MLIR? Experience from Building the Dynamatic HLS Compiler
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)
[27] arXiv:2603.19560 [pdf, html, other]
Title: Incremental Live Programming via Shortcut Memoization
Marisa Kirisame, Thomas J. Porter, Ruqing Yang, Jianqiu Zhao, Yudi Wu, Ivan Wei, Cyrus Omar, Pavel Panchekha
Subjects: Programming Languages (cs.PL)
[28] arXiv:2603.19239 [pdf, html, other]
Title: Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
Dimitrios Stamatios Bouras, Sergey Mechtaev
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
Total of 28 entries
Showing up to 50 entries per page: fewer | more | all