arXiv cs.PL Programming Languages
@cspl-bot.bsky.social
Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.PL/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
Reposted by arXiv cs.PL Programming Languages
Sam Speight, Niels van der Weide: Impredicativity in Linear Dependent Type Theory https://arxiv.org/abs/2602.08846 https://arxiv.org/pdf/2602.08846 https://arxiv.org/html/2602.08846
February 10, 2026 at 6:32 AM
Sam Speight, Niels van der Weide: Impredicativity in Linear Dependent Type Theory https://arxiv.org/abs/2602.08846 https://arxiv.org/pdf/2602.08846 https://arxiv.org/html/2602.08846
Reposted by arXiv cs.PL Programming Languages
Babak Rahmani: Debugging code world models https://arxiv.org/abs/2602.07672 https://arxiv.org/pdf/2602.07672 https://arxiv.org/html/2602.07672
February 10, 2026 at 6:35 AM
Babak Rahmani: Debugging code world models https://arxiv.org/abs/2602.07672 https://arxiv.org/pdf/2602.07672 https://arxiv.org/html/2602.07672
Reposted by arXiv cs.PL Programming Languages
Thomas Beckers, J\'an Drgo\v{n}a, Truong X. Nghiem: $\partial$CBDs: Differentiable Causal Block Diagrams https://arxiv.org/abs/2602.07581 https://arxiv.org/pdf/2602.07581 https://arxiv.org/html/2602.07581
February 10, 2026 at 6:36 AM
Thomas Beckers, J\'an Drgo\v{n}a, Truong X. Nghiem: $\partial$CBDs: Differentiable Causal Block Diagrams https://arxiv.org/abs/2602.07581 https://arxiv.org/pdf/2602.07581 https://arxiv.org/html/2602.07581
Nat Karmios, Sacha-\'Elie Ayoun, Philippa Gardner: Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version https://arxiv.org/abs/2602.07742 https://arxiv.org/pdf/2602.07742 https://arxiv.org/html/2602.07742
February 10, 2026 at 6:34 AM
Nat Karmios, Sacha-\'Elie Ayoun, Philippa Gardner: Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version https://arxiv.org/abs/2602.07742 https://arxiv.org/pdf/2602.07742 https://arxiv.org/html/2602.07742
Xuran Cai, Amir Goharshady, S Hitarth, Chun Kit Lam: Series-Parallel-Loop Decompositions of Control-flow Graphs https://arxiv.org/abs/2602.07627 https://arxiv.org/pdf/2602.07627 https://arxiv.org/html/2602.07627
February 10, 2026 at 6:34 AM
Xuran Cai, Amir Goharshady, S Hitarth, Chun Kit Lam: Series-Parallel-Loop Decompositions of Control-flow Graphs https://arxiv.org/abs/2602.07627 https://arxiv.org/pdf/2602.07627 https://arxiv.org/html/2602.07627
Jinhua Wu, Yuting Wang, Liukun Yu, Linglong Meng: RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust https://arxiv.org/abs/2602.07455 https://arxiv.org/pdf/2602.07455 https://arxiv.org/html/2602.07455
February 10, 2026 at 6:34 AM
Jinhua Wu, Yuting Wang, Liukun Yu, Linglong Meng: RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust https://arxiv.org/abs/2602.07455 https://arxiv.org/pdf/2602.07455 https://arxiv.org/html/2602.07455
Abdullah H. Rasheed: Static Analysis Under Non-Deterministic Program Assumptions https://arxiv.org/abs/2602.07324 https://arxiv.org/pdf/2602.07324 https://arxiv.org/html/2602.07324
February 10, 2026 at 6:34 AM
Abdullah H. Rasheed: Static Analysis Under Non-Deterministic Program Assumptions https://arxiv.org/abs/2602.07324 https://arxiv.org/pdf/2602.07324 https://arxiv.org/html/2602.07324
[2026-02-10 Tue (UTC), 4 new articles found for csPL Programming Languages]
February 10, 2026 at 6:34 AM
[2026-02-10 Tue (UTC), 4 new articles found for csPL Programming Languages]
Ehud Shapiro: Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI https://arxiv.org/abs/2602.06934 https://arxiv.org/pdf/2602.06934 https://arxiv.org/html/2602.06934
February 9, 2026 at 6:34 AM
Ehud Shapiro: Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI https://arxiv.org/abs/2602.06934 https://arxiv.org/pdf/2602.06934 https://arxiv.org/html/2602.06934
Toby Ueno, Ankush Das: Practical Refinement Session Type Inference (Extended Version) https://arxiv.org/abs/2602.06715 https://arxiv.org/pdf/2602.06715 https://arxiv.org/html/2602.06715
February 9, 2026 at 6:34 AM
Toby Ueno, Ankush Das: Practical Refinement Session Type Inference (Extended Version) https://arxiv.org/abs/2602.06715 https://arxiv.org/pdf/2602.06715 https://arxiv.org/html/2602.06715
Ali Rasim Kocal, Michael Schwarz, Simmo Saan, Helmut Seidl: Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version) https://arxiv.org/abs/2602.06680 https://arxiv.org/pdf/2602.06680 https://arxiv.org/html/2602.06680
February 9, 2026 at 6:34 AM
Ali Rasim Kocal, Michael Schwarz, Simmo Saan, Helmut Seidl: Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version) https://arxiv.org/abs/2602.06680 https://arxiv.org/pdf/2602.06680 https://arxiv.org/html/2602.06680
Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan, Caleb Stanford: Auditing Rust Crates Effectively https://arxiv.org/abs/2602.06466 https://arxiv.org/pdf/2602.06466 https://arxiv.org/html/2602.06466
February 9, 2026 at 6:34 AM
Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan, Caleb Stanford: Auditing Rust Crates Effectively https://arxiv.org/abs/2602.06466 https://arxiv.org/pdf/2602.06466 https://arxiv.org/html/2602.06466
Liam O'Connor, Pilar Selene Linares Arevalo, Christine Rizkallah: Uniqueness is Separation https://arxiv.org/abs/2602.06386 https://arxiv.org/pdf/2602.06386 https://arxiv.org/html/2602.06386
February 9, 2026 at 6:34 AM
Liam O'Connor, Pilar Selene Linares Arevalo, Christine Rizkallah: Uniqueness is Separation https://arxiv.org/abs/2602.06386 https://arxiv.org/pdf/2602.06386 https://arxiv.org/html/2602.06386
Ashouri, Bagi, Satheeskumar, Srikanth, Zhao, Saidoun, Wang, Chan, Czajkowski: Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering https://arxiv.org/abs/2602.06142 https://arxiv.org/pdf/2602.06142 https://arxiv.org/html/2602.06142
February 9, 2026 at 6:34 AM
Ashouri, Bagi, Satheeskumar, Srikanth, Zhao, Saidoun, Wang, Chan, Czajkowski: Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering https://arxiv.org/abs/2602.06142 https://arxiv.org/pdf/2602.06142 https://arxiv.org/html/2602.06142
[2026-02-09 Mon (UTC), 6 new articles found for csPL Programming Languages]
February 9, 2026 at 6:34 AM
[2026-02-09 Mon (UTC), 6 new articles found for csPL Programming Languages]
Federico Bruzzone, Walter Cazzola, Luca Favalli: From Separate Compilation to Sound Language Composition https://arxiv.org/abs/2602.03777 https://arxiv.org/pdf/2602.03777 https://arxiv.org/html/2602.03777
February 4, 2026 at 7:27 AM
Federico Bruzzone, Walter Cazzola, Luca Favalli: From Separate Compilation to Sound Language Composition https://arxiv.org/abs/2602.03777 https://arxiv.org/pdf/2602.03777 https://arxiv.org/html/2602.03777
Haoxuan Yin, Andrzej S. Murawski, C. -H. Luke Ong: Layered Modal ML: Syntax and Full Abstraction https://arxiv.org/abs/2602.03033 https://arxiv.org/pdf/2602.03033 https://arxiv.org/html/2602.03033
February 4, 2026 at 7:27 AM
Haoxuan Yin, Andrzej S. Murawski, C. -H. Luke Ong: Layered Modal ML: Syntax and Full Abstraction https://arxiv.org/abs/2602.03033 https://arxiv.org/pdf/2602.03033 https://arxiv.org/html/2602.03033
[2026-02-04 Wed (UTC), 2 new articles found for csPL Programming Languages]
February 4, 2026 at 7:27 AM
[2026-02-04 Wed (UTC), 2 new articles found for csPL Programming Languages]
Reposted by arXiv cs.PL Programming Languages
Annabelle Sujun Tang, Christopher Priebe, Lianhui Qin, Hadi Esmaeilzadeh: COLT: Lightweight Multi-LLM Collaboration through Shared MCTS Reasoning for Model Compilation https://arxiv.org/abs/2602.01935 https://arxiv.org/pdf/2602.01935 https://arxiv.org/html/2602.01935
February 3, 2026 at 6:38 AM
Annabelle Sujun Tang, Christopher Priebe, Lianhui Qin, Hadi Esmaeilzadeh: COLT: Lightweight Multi-LLM Collaboration through Shared MCTS Reasoning for Model Compilation https://arxiv.org/abs/2602.01935 https://arxiv.org/pdf/2602.01935 https://arxiv.org/html/2602.01935
Reposted by arXiv cs.PL Programming Languages
Jyoti Prakash, Abhishek Tiwari, Mikkel Baun Kj{\ae}rgaard: Towards Analyzing N-language Polyglot Programs https://arxiv.org/abs/2602.00303 https://arxiv.org/pdf/2602.00303 https://arxiv.org/html/2602.00303
February 3, 2026 at 6:34 AM
Jyoti Prakash, Abhishek Tiwari, Mikkel Baun Kj{\ae}rgaard: Towards Analyzing N-language Polyglot Programs https://arxiv.org/abs/2602.00303 https://arxiv.org/pdf/2602.00303 https://arxiv.org/html/2602.00303
Peisen Yao, Zinan Gu, Qingkai Shi: Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis https://arxiv.org/abs/2602.01720 https://arxiv.org/pdf/2602.01720 https://arxiv.org/html/2602.01720
February 3, 2026 at 6:34 AM
Peisen Yao, Zinan Gu, Qingkai Shi: Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis https://arxiv.org/abs/2602.01720 https://arxiv.org/pdf/2602.01720 https://arxiv.org/html/2602.01720
[2026-02-03 Tue (UTC), 1 new article found for csPL Programming Languages]
February 3, 2026 at 6:34 AM
[2026-02-03 Tue (UTC), 1 new article found for csPL Programming Languages]
Reposted by arXiv cs.PL Programming Languages
Jonathan Baumann, Yonghyun Kim, Yan Farba, Catalin Hritcu, Julay Leatherman-Brooks: SpecIBT: Formally Verified Protection Against Speculative Control-Flow Hijacking https://arxiv.org/abs/2601.22978 https://arxiv.org/pdf/2601.22978 https://arxiv.org/html/2601.22978
February 2, 2026 at 6:30 AM
Jonathan Baumann, Yonghyun Kim, Yan Farba, Catalin Hritcu, Julay Leatherman-Brooks: SpecIBT: Formally Verified Protection Against Speculative Control-Flow Hijacking https://arxiv.org/abs/2601.22978 https://arxiv.org/pdf/2601.22978 https://arxiv.org/html/2601.22978
Ke Du, William Mansky, Paolo G. Giarrusso, Gregory Malecha: Recursive Mutexes in Separation Logic https://arxiv.org/abs/2601.22557 https://arxiv.org/pdf/2601.22557 https://arxiv.org/html/2601.22557
February 2, 2026 at 6:34 AM
Ke Du, William Mansky, Paolo G. Giarrusso, Gregory Malecha: Recursive Mutexes in Separation Logic https://arxiv.org/abs/2601.22557 https://arxiv.org/pdf/2601.22557 https://arxiv.org/html/2601.22557
[2026-02-02 Mon (UTC), 1 new article found for csPL Programming Languages]
February 2, 2026 at 6:34 AM
[2026-02-02 Mon (UTC), 1 new article found for csPL Programming Languages]