Skip to main content

Programming Languages

Authors and titles for recent submissions

See today's new changes

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

Thu, 22 Oct 2026 (showing 3 of 3 entries )

[1] arXiv:2610.29456 (cross-list from cs.SE) [pdf, html, other]
Title: RegoMender: A Multi-agent Framework for Automated Rego Policy Repair
Ruijie Zhang, Huaxiao Yin, Li Hu, Fanqi Kong, Haozhe Liang, Shaoyin Cheng, Kun Zhang, Bibo Tu
Comments: 13 pages, 5 figures, accepted to ASE 2026, research Track
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[2] arXiv:2610.29445 (cross-list from cs.LO) [pdf, html, other]
Title: Deciding Scale Placement in MXFP4 Dot Products with Integer Arithmetic
Shreyas Vinayakumar
Comments: 24 pages including references and two appendices, 1 figure, 5 tables
Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR); Programming Languages (cs.PL)
[3] arXiv:2610.28682 (cross-list from cs.SE) [pdf, html, other]
Title: Runtime Semantic Discovery for Evolving Action Alphabets
Pietro Bernabei, Rosario Pugliese
Comments: 10 pages, 2 figures. Version presented at the VORTEX 2026 workshop (co-located with ECOOP 2026)
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

Wed, 21 Oct 2026 (showing 5 of 5 entries )

[4] arXiv:2610.28525 [pdf, html, other]
Title: What is a Good Projection?: Correctness and Separation Results of End-Point Projections
Jake Masters, Nobuko Yoshida
Comments: 91 pages. 6 figures. Conditionally accepted to POPL 2027
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[5] arXiv:2610.27971 [pdf, html, other]
Title: Execution-Time Validation of Context-Carrying Action Intents in Industrial Cyber-Physical Systems
Luca D'Agati, Giuseppe Tricomi, Fabio Orazio Mirto, Giovanni Merlino
Comments: 46 pages, 6 figures, 11 tables
Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Systems and Control (eess.SY)
[6] arXiv:2610.27519 [pdf, html, other]
Title: Record Types Everywhere
Matthew Toohey, Ara Jamalzadeh, Ningning Xie
Subjects: Programming Languages (cs.PL)
[7] arXiv:2610.28370 (cross-list from cs.LO) [pdf, html, other]
Title: A General Construction of Strict Models in HoTT
Niyousha Najmaei, Niels van der Weide
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)
[8] arXiv:2610.28212 (cross-list from cs.SE) [pdf, html, other]
Title: ExeBench-FHD: Addressing Fidelity Issues in Decompiler Evaluation
Akarsh Ashok, Dinil Mon Divakaran, Vivek Balachandran
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)

Tue, 20 Oct 2026 (showing 8 of 8 entries )

[9] arXiv:2610.26599 [pdf, html, other]
Title: A Type System for Communication-Safe Hardware Design
Aditya Ranjan Jha, Jason Zhijingcheng Yu, Umang Mathur, Prateek Saxena
Comments: 69 pages, 4 figures, 2 tables. Conditionally accepted to POPL 2027
Subjects: Programming Languages (cs.PL); Hardware Architecture (cs.AR); Logic in Computer Science (cs.LO)
[10] arXiv:2610.26266 [pdf, html, other]
Title: Polarized Scheme: duality of computation, delimited control, and continuation-passing macro Interleaving
Christopher Dutchyn
Comments: 13 pages; includes formal syntax, dual-stack abstract machine, metatheory, and case study. Complete executable reference implementation (Go) and test suite provided in ancillary files
Subjects: Programming Languages (cs.PL)
[11] arXiv:2610.26054 [pdf, html, other]
Title: Blame-aware Recomposition for Secure Compilation Proofs of Low-Level Compartment Isolation
Basile Schlosser, Jérémy Thibault, Catalin Hritcu
Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)
[12] arXiv:2610.25741 [pdf, other]
Title: Compiling Environment Classifiers to Contextual Modal Types
Tianyu Chen, Darshal Shetty, Jeremy G. Siek, Chao-Hong Chen, Weixi Ma, Arnaud Venet, Rocky Liu
Comments: 45 pages, 26 figures
Subjects: Programming Languages (cs.PL)
[13] arXiv:2610.25018 [pdf, html, other]
Title: Structure-Aware Equivalence for Evaluating Autoformalized Statements
Yi Yu, Yu-Hsuan Wu, Guang Lin, Yuhui Zhang, Yuxiang Peng
Subjects: Programming Languages (cs.PL)
[14] arXiv:2610.24548 [pdf, html, other]
Title: Proving LLM-Generated GPU Kernels Correct and Safe: Floating-Point Verification in Lean and VerCors
Archibald Browne, Eugene Lee, Cristopher Salvi
Subjects: Programming Languages (cs.PL)
[15] arXiv:2610.25012 (cross-list from cs.LG) [pdf, html, other]
Title: Conjugate Compilation: Self-Improving Agentic Co-Compilation for Speculative Decoding
Annabelle Sujun Tang, Rohan Mahapatra, Christopher Priebe, Hanyang Xu, Manya Ghobadi, Christopher Rossbach, Hadi Esmaeilzadeh
Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
[16] arXiv:2610.24835 (cross-list from cs.AI) [pdf, html, other]
Title: Pattern-Driven Evaluation of LLM Code Optimization: Isolating Compiler-Transcendent Semantic Reasoning
Wesley Lu, Runzhou Liu, Hongru Du, Xinyao Yi
Comments: 12 pages, 2 figures, 6 tables. Published at the AI Measurement Science Workshop at COLM 2026
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)

Mon, 19 Oct 2026 (showing 4 of 4 entries )

[17] arXiv:2610.23604 [pdf, html, other]
Title: A Taxonomy of Predicate Transformer Monads for Specifying Monadic Programs
Abigail Pribisova, Yao Li, Cezar-Constantin Andrici, Catalin Hritcu, Kenji Maillard, Exequiel Rivas
Comments: Submitted to ESOP'27, in v2 same PDF but fixed author order in metadata
Subjects: Programming Languages (cs.PL)
[18] arXiv:2610.23023 [pdf, other]
Title: Arbitrary Functors as Modalities in a Linear Calculus
Jean-Philippe Bernardy, Andreas Abel
Subjects: Programming Languages (cs.PL)
[19] arXiv:2610.23044 (cross-list from cs.AI) [pdf, html, other]
Title: Where Does the Performance Go? Understanding and Recovering Performance Regressions in C-to-Rust Translation
Zhiqiang Yuan, Chong Wang, Zhenhao Zhou, Junwei Liu, Xin Peng
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[20] arXiv:2610.23035 (cross-list from cs.SE) [pdf, html, other]
Title: VulnSAGE: Adjudicating SAST Reports by Connecting LLM Reasoning to Program Structure
Jinbao Chen, Zixiang Zhou, Yu Zhang, Yihong Wu
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Programming Languages (cs.PL)

Fri, 16 Oct 2026 (showing 3 of 3 entries )

[21] arXiv:2610.21131 [pdf, html, other]
Title: Normalization by Evaluation with Substitutions as Operations
Jason Z. S. Hu
Subjects: Programming Languages (cs.PL); Logic (math.LO)
[22] arXiv:2610.22089 (cross-list from cs.SE) [pdf, html, other]
Title: Are We Testing the Wrong Quantum Bugs? A Study of Fault Representation Gaps in Quantum Software Testing
Asif Mohammed Saad, Ahsanul Ameen Sabit, Jonah Brandenburgh, Jiyuan Wang, Qian Zhang, Soneya Binta Hossain
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[23] arXiv:2610.22061 (cross-list from cs.AI) [pdf, html, other]
Title: FAOPs: Normal Forms and an Algebra for AI Agent Workflows
Ali Mohammadi Shanghooshabad (JPMorgan Chase & Co.)
Comments: 28 pages, 2 figures, 5 tables
Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Programming Languages (cs.PL)
Total of 23 entries
Showing up to 50 entries per page: fewer | more | all