Programming Languages Papers

New Programming Languages papers from programming language semantics. Thank you to arXiv for use of its open access interoperability.

[Programming Languages Papers @ProgPapers]

CASS-RTL: Correctness-Aware Subspace Steering for RTL Generation with LLMs

Mohammad Akyash, Nowfel Mashnoor, Kimia Azar, Hadi Kamali
https://t.co/ppEgXtoQbN [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙰𝚁 𝚌𝚜.𝙻𝙶]
💬Accepted to the IEEE International Conference on LLM-Aided Design (LAD '26)

[Programming Languages Papers @ProgPapers]

Look Before You Leap: Checking in on Type Tag Checking

Stephen M. Watt
https://t.co/zauZvlgRez [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙼𝚂 𝚌𝚜.𝙿𝙵]

[Programming Languages Papers @ProgPapers]

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

Fabian Zaiser, Jack Czenszak, Martin C. Rinard, Vikash K. Mansinghka, Alexander K. Lew
https://t.co/yJ9byeaFPK [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙻𝙾 𝚜𝚝𝚊𝚝.𝙲𝙾]

[Programming Languages Papers @ProgPapers]

Negative and Fractional Types in the Fidelity Framework

Houston Haynes
https://t.co/OXhVd0WCu7 [𝚌𝚜.𝙿𝙻]

[Programming Languages Papers @ProgPapers]

Climbing Up the Semantic Tower – at Runtime

François-René Rideau
https://t.co/3Vx7KFDF8C [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙻𝙾]

[Programming Languages Papers @ProgPapers]

Fixed-Point Scaffolding in the Clef Programming Language

Houston Haynes
https://t.co/P8KQWElyrI [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙻𝙾 𝚖𝚊𝚝𝚑.𝙲𝚃]

[Programming Languages Papers @ProgPapers]

From Rocq to Metal: A Pipeline for Formally Verified Microcontroller Firmware

Valentin Bergeron, Karolina Gorna
https://t.co/rYTOQUCfsY [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙻𝙾 𝚌𝚜.𝚂𝙴]

[Programming Languages Papers @ProgPapers]

From Time to Space: The Impact of Linearity in Higher-Order Datalog

Angelos Charalambidis, Babis Kostopoulos, Panos Rondogiannis
https://t.co/t6D46Iqkx4 [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙲𝙲 𝚌𝚜.𝙳𝙱 𝚌𝚜.𝙻𝙾]

[Programming Languages Papers @ProgPapers]

Toka: A Systems Programming Language with Explicit Resource Semantics

Zhonghua Yi
https://t.co/vnh1F8jREz [𝚌𝚜.𝙿𝙻]

[Programming Languages Papers @ProgPapers]

Teaching Synchronous Dataflow Modelling with Learn-Heptagon

Pierre-Loïc Garoche, Basile Pesin
https://t.co/0qpiHKvzEU [𝚌𝚜.𝙿𝙻]

[Programming Languages Papers @ProgPapers]

Type-Error Ablation and AI Coding Agents

Shriram Krishnamurthi, Matthew Flatt
https://t.co/e3T1S3xcP5 [𝚌𝚜.𝙿𝙻]

[Programming Languages Papers @ProgPapers]

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks

Daniela Ferreiro, Daniel Jurjo-Rivas, Marco Ciccalè, Jose F. Morales, Pedro López-García, Manuel Hermenegildo
https://t.co/pW31ZpTSgv [𝚌𝚜.𝙿𝙻]
💬To appear in Theory and Practice of Logic Programming

[Programming Languages Papers @ProgPapers]

Grid Programs: A Two-Dimensional, Variable-Free Model of Computation

Ezequiel López-Rubio
https://t.co/PFbrNE6fXA [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙲𝙲 𝚌𝚜.𝙵𝙻]

[Programming Languages Papers @ProgPapers]

ScanWeaver: Compiler-Driven Parallelization of Affine Recurrences via Associative Scan Lowering

Qiying Wu, Pavel Zolnikov
https://t.co/0d1EU0TDAh [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙳𝙲]

[Programming Languages Papers @ProgPapers]

SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations

Eric Liang
https://t.co/GeaPVPfRFu [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙰𝙸]

[Programming Languages Papers @ProgPapers]

Practical Algebraic Stepping with Scoped Filters

Haoxiang Fei, Matthew Keenan, Cyrus Omar
https://t.co/mZz23nCVEU [𝚌𝚜.𝙿𝙻]

[Programming Languages Papers @ProgPapers]

Neuroforger: certified violation witnesses for smart contracts verification via LLMs

Massimo Bartoletti, Enrico Lipparini
https://t.co/avI8SBbFCH [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙲𝚁]

[Programming Languages Papers @ProgPapers]

E-Path: Equality Saturation for Control-Flow Graphs

Guillermo Garcia
https://t.co/MDBJmeCcMx [𝚌𝚜.𝙿𝙻]

[Programming Languages Papers @ProgPapers]

Skill-as-Pseudocode: Refactoring Skill Libraries to Pseudocode for LLM Agents

Xinze Li, Yuhang Zang, Yixin Cao, Aixin Sun
https://t.co/WhgUR4cExN [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙲𝙻]
💬Code: https://t.co/NjQYqRda7J

[Programming Languages Papers @ProgPapers]

FPMoE: A Sparse Mixture-of-Experts Approach to Functional Code Generation

Loc Pham, Lang Hong Nguyet Anh, Thanh Le-Cong
https://t.co/1oOpIxUGzB [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙰𝙸 𝚌𝚜.𝙲𝙻]