arXiv cs.PL Programming Languages

Yifan Zhu, Yekai Pan, Chen Ding, Yanghui Wu: Fully Symbolic Analysis of Loop Locality: Using Imaginary Reuse to Infer Real Performance https://arxiv.org/abs/2603.10196 https://arxiv.org/pdf/2603.10196 https://arxiv.org/html/2603.10196

[2026-03-12 Thu (UTC), 1 new article found for csPL Programming Languages]

Rafael Alvarenga de Azevedo, Daniel Augusto Costa de Sa, Rodrigo Caetano Rocha, Fernando Magno Quint\~ao Pereira: Idempotent Slices with Applications to Code-Size Reduction https://arxiv.org/abs/2603.09726 https://arxiv.org/pdf/2603.09726 https://arxiv.org/html/2603.09726

Muyukani Kizito: Turn: A Language for Agentic Computation https://arxiv.org/abs/2603.08755 https://arxiv.org/pdf/2603.08755 https://arxiv.org/html/2603.08755

[2026-03-11 Wed (UTC), 2 new articles found for csPL Programming Languages]

Uday Bondhugula, Akshay Baviskar, Navdeep Katel, Vimal Patel, Anoop JS, Arnab Dutta: PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks https://arxiv.org/abs/2603.06731 https://arxiv.org/pdf/2603.06731 https://arxiv.org/html/2603.06731

[2026-03-10 Tue (UTC), 1 new article found for csPL Programming Languages]

Senxi Li, Feng Dai, Tetsuro Yamazaki, Shigeru Chiba: Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing https://arxiv.org/abs/2603.05649 https://arxiv.org/pdf/2603.05649 https://arxiv.org/html/2603.05649

Ayman Hussein, Philipp Haller, Ioannis Karras, Hern\'an Melgratti, Alceste Scalas, Emilio Tuosto: JoinActors: A Modular Library for Actors with Join Patterns https://arxiv.org/abs/2603.05648 https://arxiv.org/pdf/2603.05648 https://arxiv.org/html/2603.05648

Yihan Zhang, Brigitte Pientka, Xujie Si: Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study https://arxiv.org/abs/2603.05646 https://arxiv.org/pdf/2603.05646 https://arxiv.org/html/2603.05646

Hanhaotian Liu, Tetsuro Yamazaki, Tomoharu Ugawa: Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby https://arxiv.org/abs/2603.05645 https://arxiv.org/pdf/2603.05645 https://arxiv.org/html/2603.05645

Tom Beckmann, Christoph Thiede, Jens Lincke, Robert Hirschfeld: Hybrid Structured Editing: Structures for Tools, Text for Users https://arxiv.org/abs/2603.05644 https://arxiv.org/pdf/2603.05644 https://arxiv.org/html/2603.05644

[2026-03-09 Mon (UTC), 5 new articles found for csPL Programming Languages]

[2026-03-06 Fri (UTC), no new articles found for csPL Programming Languages]

Ferruccio Damiani, Daisuke Kimura, Luca Paolini, Makoto Tatsuta: A Core Calculus for Type-safe Product Lines of C Programs https://arxiv.org/abs/2603.04013 https://arxiv.org/pdf/2603.04013 https://arxiv.org/html/2603.04013

Zena M. Ariola, Paul Downen, Hugo Herbelin: Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice https://arxiv.org/abs/2603.04006 https://arxiv.org/pdf/2603.04006 https://arxiv.org/html/2603.04006

Murdoch J. Gabbay, Orestis Melkonian: Nominal techniques as an Agda library https://arxiv.org/abs/2603.03968 https://arxiv.org/pdf/2603.03968 https://arxiv.org/html/2603.03968

[2026-03-05 Thu (UTC), 3 new articles found for csPL Programming Languages]

Minjian Zhang, Mahesh Viswanathan: Efficient Dynamic Algorithms to Predict Short Races https://arxiv.org/abs/2603.03141 https://arxiv.org/pdf/2603.03141 https://arxiv.org/html/2603.03141

Philipp Schr\"oer, Joost-Pieter Katoen: Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version) https://arxiv.org/abs/2603.02405 https://arxiv.org/pdf/2603.02405 https://arxiv.org/html/2603.02405

Ethan Chu, Yiyang Guo, Jan Hoffmann: Handling Exceptions and Effects with Automatic Resource Analysis https://arxiv.org/abs/2603.02260 https://arxiv.org/pdf/2603.02260 https://arxiv.org/html/2603.02260

[2026-03-04 Wed (UTC), 3 new articles found for csPL Programming Languages]

[2026-03-03 Tue (UTC), no new articles found for csPL Programming Languages]

Simon Fowler, Raymond Hu: Speak Now: Safe Actor Programming with Multiparty Session Types https://arxiv.org/abs/2602.24054 https://arxiv.org/pdf/2602.24054 https://arxiv.org/html/2602.24054

[2026-03-02 Mon (UTC), 1 new article found for csPL Programming Languages]

Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li: Array-Carrying Symbolic Execution for Function Contract Generation https://arxiv.org/abs/2602.23216 https://arxiv.org/pdf/2602.23216 https://arxiv.org/html/2602.23216

Linus Bantel, Moritz Strack, Alexander Strack, Dirk Pfl\"uger: From Prompts to Performance: Evaluating LLMs for Task-based Parallel Code Generation https://arxiv.org/abs/2602.22240 https://arxiv.org/pdf/2602.22240 https://arxiv.org/html/2602.22240

[2026-02-27 Fri (UTC), 2 new articles found for csPL Programming Languages]

Daniel Drodt, Reiner H\"ahnle: RustyDL: A Program Logic for Rust https://arxiv.org/abs/2602.22075 https://arxiv.org/pdf/2602.22075 https://arxiv.org/html/2602.22075

Marco Bertoni, Saverio Giallorenzo, Marco Peressotti: Type-Based Enforcement of Non-Interference for Choreographic Programming https://arxiv.org/abs/2602.21630 https://arxiv.org/pdf/2602.21630 https://arxiv.org/html/2602.21630