Programming Languages arXiv

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection Rishipal Singh Bhatia arxiv.org/abs/2603.18049 [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝚂𝙴]

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report) Kabilan Mahathevan, Yining Zhang, Muhammad Ali Gulzar, Kirshanthan Sundararajah arxiv.org/abs/2603.18372 [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝚂𝙴]

Leveraging Large Language Models for Generalizing Peephole Optimizations Chunhao Liao, Hongxu Xu, Xintong Zhou, Zhenyang Xu, Chengnian Sun arxiv.org/abs/2603.18477 [𝚌𝚜.𝙿𝙻]

Vectorization of Verilog Designs and its Effects on Verification and Synthesis Maria Fernanda Oiveira Guimarães, Ulisses Rosa, Ian Trudel, João Victor Amorim Vieira, Augusto Amaral Mafra, Mirlaine Crepalde, … arxiv.org/abs/2603.17099 [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙰𝚁]

The Program Hypergraph: Multi-Way Relational Structure for Geometric Algebra, Spatial Compute, and Physics-Aware Compilation Houston Haynes arxiv.org/abs/2603.17627 [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙰𝚁]

Mixing Visual and Textual Code Leif Andersen, Michael Ballantyne, Cameron Moy, Matthias Felleisen, Stephen Chang arxiv.org/abs/2603.15855 [𝚌𝚜.𝙿𝙻]

Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation Houston Haynes arxiv.org/abs/2603.16437 [𝚌𝚜.𝙿𝙻 𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝙻𝙾]

Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing Tim Vieira arxiv.org/abs/2603.13242 [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙲𝙻 𝚌𝚜.𝙵𝙻]

MapReplay: Trace-Driven Benchmark Generation for Java HashMap Filippo Schiavio, Andrea Rosà, Júnior Löff, Lubomír Bulej, Petr Tůma, Walter Binder arxiv.org/abs/2603.14019 [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙿𝙵 𝚌𝚜.𝚂𝙴]

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs Balaji Rao, John Harrison, Soonho Kong, Juneyoung Lee, Carlo Lipizzi arxiv.org/abs/2603.14628 [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙰𝙸 𝚌𝚜.𝙲𝚁 𝚌𝚜.𝙻𝙾]

Generation of Programming Exam Question and Answer Using ChatGPT Based on Prompt Engineering Jongwook Si, Sungyoung Kim arxiv.org/abs/2603.15096 [𝚌𝚜.𝙿𝙻]

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency Martin Sulzmann arxiv.org/abs/2603.13142 [𝚌𝚜.𝙿𝙻]

AutoVeriFix+: High-Correctness RTL Generation via Trace-Aware Causal Fix and Semantic Redundancy Pruning Yan Tan, Xiangchen Meng, Zijun Jiang, Yangdi Lyu arxiv.org/abs/2603.11489 [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙰𝚁]

Fully Symbolic Analysis of Loop Locality: Using Imaginary Reuse to Infer Real Performance Yifan Zhu, Yekai Pan, Chen Ding, Yanghui Wu arxiv.org/abs/2603.10196 [𝚌𝚜.𝙿𝙻]

Turn: A Language for Agentic Computation Muyukani Kizito arxiv.org/abs/2603.08755 [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙰𝙸 𝚌𝚜.𝚂𝙴]

Idempotent Slices with Applications to Code-Size Reduction Rafael Alvarenga de Azevedo, Daniel Augusto Costa de Sa, Rodrigo Caetano Rocha, Fernando Magno Quintão Pereira arxiv.org/abs/2603.09726 [𝚌𝚜.𝙿𝙻]

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks Uday Bondhugula, Akshay Baviskar, Navdeep Katel, Vimal Patel, Anoop JS, Arnab Dutta arxiv.org/abs/2603.06731 [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙻𝙶]

RoboLayout: Differentiable 3D Scene Generation for Embodied Agents Ali Shamsaddinlou arxiv.org/abs/2603.05522 [𝚌𝚜.𝙰𝙸 𝚌𝚜.𝙲𝚅 𝚌𝚜.𝙻𝙶 𝚌𝚜.𝚁𝙾]

Hybrid Structured Editing: Structures for Tools, Text for Users Tom Beckmann (Hasso Plattner Institute, Germany / University of Potsdam, Germany), Christoph Thiede (Hasso Plattner Institute, Germany / University of Potsdam, Germany), … arxiv.org/abs/2603.05644 [𝚌𝚜.𝙿𝙻]

Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby Hanhaotian Liu (University of Tokyo, Japan), Tetsuro Yamazaki (University of Tokyo, Japan), Tomoharu Ugawa (University of Tokyo, Japan) arxiv.org/abs/2603.05645 [𝚌𝚜.𝙿𝙻]