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
Ioannis Karras: Optimizations and extensions for fair join pattern matching https://arxiv.org/abs/2512.04876 https://arxiv.org/pdf/2512.04876 https://arxiv.org/html/2512.04876
December 5, 2025 at 6:34 AM
Ioannis Karras: Optimizations and extensions for fair join pattern matching https://arxiv.org/abs/2512.04876 https://arxiv.org/pdf/2512.04876 https://arxiv.org/html/2512.04876
Stian Lybech, Daniele Gorla, Luca Aceto: Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts https://arxiv.org/abs/2512.04755 https://arxiv.org/pdf/2512.04755 https://arxiv.org/html/2512.04755
December 5, 2025 at 6:34 AM
Stian Lybech, Daniele Gorla, Luca Aceto: Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts https://arxiv.org/abs/2512.04755 https://arxiv.org/pdf/2512.04755 https://arxiv.org/html/2512.04755
[2025-12-05 Fri (UTC), 2 new articles found for csPL Programming Languages]
December 5, 2025 at 6:34 AM
[2025-12-05 Fri (UTC), 2 new articles found for csPL Programming Languages]
Reposted by arXiv cs.PL Programming Languages
Alexander Y. Bai, Chris Hawblitzel, Andrea Lattuada: Tunable Automation in Automated Program Verification https://arxiv.org/abs/2512.03926 https://arxiv.org/pdf/2512.03926 https://arxiv.org/html/2512.03926
December 4, 2025 at 6:34 AM
Alexander Y. Bai, Chris Hawblitzel, Andrea Lattuada: Tunable Automation in Automated Program Verification https://arxiv.org/abs/2512.03926 https://arxiv.org/pdf/2512.03926 https://arxiv.org/html/2512.03926
Reposted by arXiv cs.PL Programming Languages
Zhening Li, Armando Solar-Lezama, Yisong Yue, Stephan Zheng: EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths https://arxiv.org/abs/2512.03571 https://arxiv.org/pdf/2512.03571 https://arxiv.org/html/2512.03571
December 4, 2025 at 6:29 AM
Zhening Li, Armando Solar-Lezama, Yisong Yue, Stephan Zheng: EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths https://arxiv.org/abs/2512.03571 https://arxiv.org/pdf/2512.03571 https://arxiv.org/html/2512.03571
Reposted by arXiv cs.PL Programming Languages
Rajshekhar Sunderraman: Functional Python Programming in Introductory Computer Science Courses https://arxiv.org/abs/2512.03492 https://arxiv.org/pdf/2512.03492 https://arxiv.org/html/2512.03492
December 4, 2025 at 6:30 AM
Rajshekhar Sunderraman: Functional Python Programming in Introductory Computer Science Courses https://arxiv.org/abs/2512.03492 https://arxiv.org/pdf/2512.03492 https://arxiv.org/html/2512.03492
Reposted by arXiv cs.PL Programming Languages
Cassidy, Garreau, Sivagnaname, Grassi, Brezzo, Arthur, Modha: Mitigating hallucinations and omissions in LLMs for invertible problems: An application to hardware logic design automation https://arxiv.org/abs/2512.03053 https://arxiv.org/pdf/2512.03053 https://arxiv.org/html/2512.03053
December 4, 2025 at 6:32 AM
Cassidy, Garreau, Sivagnaname, Grassi, Brezzo, Arthur, Modha: Mitigating hallucinations and omissions in LLMs for invertible problems: An application to hardware logic design automation https://arxiv.org/abs/2512.03053 https://arxiv.org/pdf/2512.03053 https://arxiv.org/html/2512.03053
Hassan Arafat, David Bremner, Kenneth B. Kent, Julian Wang: OOPredictor: Predicting Object-Oriented Accesses using Static Analysis https://arxiv.org/abs/2512.03972 https://arxiv.org/pdf/2512.03972 https://arxiv.org/html/2512.03972
December 4, 2025 at 6:34 AM
Hassan Arafat, David Bremner, Kenneth B. Kent, Julian Wang: OOPredictor: Predicting Object-Oriented Accesses using Static Analysis https://arxiv.org/abs/2512.03972 https://arxiv.org/pdf/2512.03972 https://arxiv.org/html/2512.03972
Chen, Xu, Chen, Lei, Lin, Zhou, Thakur, Ding, Jannesari, Liao: Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation https://arxiv.org/abs/2512.03086 https://arxiv.org/pdf/2512.03086 https://arxiv.org/html/2512.03086
December 4, 2025 at 6:34 AM
Chen, Xu, Chen, Lei, Lin, Zhou, Thakur, Ding, Jannesari, Liao: Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation https://arxiv.org/abs/2512.03086 https://arxiv.org/pdf/2512.03086 https://arxiv.org/html/2512.03086
ZeHao Yu: Evaluate the Stack Management in Effect Handlers using the libseff C Library https://arxiv.org/abs/2512.03083 https://arxiv.org/pdf/2512.03083 https://arxiv.org/html/2512.03083
December 4, 2025 at 6:34 AM
ZeHao Yu: Evaluate the Stack Management in Effect Handlers using the libseff C Library https://arxiv.org/abs/2512.03083 https://arxiv.org/pdf/2512.03083 https://arxiv.org/html/2512.03083
[2025-12-04 Thu (UTC), 3 new articles found for csPL Programming Languages]
December 4, 2025 at 6:34 AM
[2025-12-04 Thu (UTC), 3 new articles found for csPL Programming Languages]
Reposted by arXiv cs.PL Programming Languages
Wanxu Xia, Ziqiao Kong, Zhengwei Li, Yi Lu, Pan Li, Liqun Yang, Yang Liu, Xiapu Luo, Shaohua Li: Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts https://arxiv.org/abs/2512.02918 https://arxiv.org/pdf/2512.02918 https://arxiv.org/html/2512.02918
December 3, 2025 at 6:30 AM
Wanxu Xia, Ziqiao Kong, Zhengwei Li, Yi Lu, Pan Li, Liqun Yang, Yang Liu, Xiapu Luo, Shaohua Li: Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts https://arxiv.org/abs/2512.02918 https://arxiv.org/pdf/2512.02918 https://arxiv.org/html/2512.02918
Isha Chaudhary, Vedaant Jain, Avaljot Singh, Kavya Sachdeva, Sayan Ranu, Gagandeep Singh: Lumos: Let there be Language Model System Certification https://arxiv.org/abs/2512.02966 https://arxiv.org/pdf/2512.02966 https://arxiv.org/html/2512.02966
December 3, 2025 at 6:34 AM
Isha Chaudhary, Vedaant Jain, Avaljot Singh, Kavya Sachdeva, Sayan Ranu, Gagandeep Singh: Lumos: Let there be Language Model System Certification https://arxiv.org/abs/2512.02966 https://arxiv.org/pdf/2512.02966 https://arxiv.org/html/2512.02966
Joel Nyholm, Wojciech Mostowski, Christoph Reichenbach: Probabilistic energy profiler for statically typed JVM-based programming languages https://arxiv.org/abs/2512.02738 https://arxiv.org/pdf/2512.02738 https://arxiv.org/html/2512.02738
December 3, 2025 at 6:34 AM
Joel Nyholm, Wojciech Mostowski, Christoph Reichenbach: Probabilistic energy profiler for statically typed JVM-based programming languages https://arxiv.org/abs/2512.02738 https://arxiv.org/pdf/2512.02738 https://arxiv.org/html/2512.02738
Yihong Zhang, Derek Gerstmann, Andrew Adams, Maaz Bin Safeer Ahmad: Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language https://arxiv.org/abs/2512.02371 https://arxiv.org/pdf/2512.02371 https://arxiv.org/html/2512.02371
December 3, 2025 at 6:34 AM
Yihong Zhang, Derek Gerstmann, Andrew Adams, Maaz Bin Safeer Ahmad: Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language https://arxiv.org/abs/2512.02371 https://arxiv.org/pdf/2512.02371 https://arxiv.org/html/2512.02371
[2025-12-03 Wed (UTC), 3 new articles found for csPL Programming Languages]
December 3, 2025 at 6:34 AM
[2025-12-03 Wed (UTC), 3 new articles found for csPL Programming Languages]
Reposted by arXiv cs.PL Programming Languages
Anubhab, Rupesh Nasre: Morphling: Fast, Fused, and Flexible GNN Training at Scale https://arxiv.org/abs/2512.01678 https://arxiv.org/pdf/2512.01678 https://arxiv.org/html/2512.01678
December 2, 2025 at 6:35 AM
Anubhab, Rupesh Nasre: Morphling: Fast, Fused, and Flexible GNN Training at Scale https://arxiv.org/abs/2512.01678 https://arxiv.org/pdf/2512.01678 https://arxiv.org/html/2512.01678
Reposted by arXiv cs.PL Programming Languages
Yuhao Gu, Zhongchun Zheng, Nong Xiao, Yutong Lu, Xianwei Zhang: Partial Cross-Compilation and Mixed Execution for Accelerating Dynamic Binary Translation https://arxiv.org/abs/2512.00487 https://arxiv.org/pdf/2512.00487 https://arxiv.org/html/2512.00487
December 2, 2025 at 6:29 AM
Yuhao Gu, Zhongchun Zheng, Nong Xiao, Yutong Lu, Xianwei Zhang: Partial Cross-Compilation and Mixed Execution for Accelerating Dynamic Binary Translation https://arxiv.org/abs/2512.00487 https://arxiv.org/pdf/2512.00487 https://arxiv.org/html/2512.00487
Reposted by arXiv cs.PL Programming Languages
Alexis de Colnet, Kuldeep S. Meel, Umang Mathur: Counting and Sampling Traces in Regular Languages https://arxiv.org/abs/2512.00314 https://arxiv.org/pdf/2512.00314 https://arxiv.org/html/2512.00314
December 2, 2025 at 6:31 AM
Alexis de Colnet, Kuldeep S. Meel, Umang Mathur: Counting and Sampling Traces in Regular Languages https://arxiv.org/abs/2512.00314 https://arxiv.org/pdf/2512.00314 https://arxiv.org/html/2512.00314
Reposted by arXiv cs.PL Programming Languages
Alessandro De Palma, Greta Dolcetti, Caterina Urban: Faster Verified Explanations for Neural Networks https://arxiv.org/abs/2512.00164 https://arxiv.org/pdf/2512.00164 https://arxiv.org/html/2512.00164
December 2, 2025 at 6:32 AM
Alessandro De Palma, Greta Dolcetti, Caterina Urban: Faster Verified Explanations for Neural Networks https://arxiv.org/abs/2512.00164 https://arxiv.org/pdf/2512.00164 https://arxiv.org/html/2512.00164
Reposted by arXiv cs.PL Programming Languages
Shailja Thakur, Vaibhav Saxena, Rohan Kulkarni, Shivdeep Singh, Parameswaran Selvam, Hima Patel, Hiroshi Kanayama: Generating Verifiable CoT from Execution-Traces https://arxiv.org/abs/2512.00127 https://arxiv.org/pdf/2512.00127 https://arxiv.org/html/2512.00127
December 2, 2025 at 6:34 AM
Shailja Thakur, Vaibhav Saxena, Rohan Kulkarni, Shivdeep Singh, Parameswaran Selvam, Hima Patel, Hiroshi Kanayama: Generating Verifiable CoT from Execution-Traces https://arxiv.org/abs/2512.00127 https://arxiv.org/pdf/2512.00127 https://arxiv.org/html/2512.00127
Breandan Considine: A Word Sampler for Well-Typed Functions https://arxiv.org/abs/2512.01036 https://arxiv.org/pdf/2512.01036 https://arxiv.org/html/2512.01036
December 2, 2025 at 6:34 AM
Breandan Considine: A Word Sampler for Well-Typed Functions https://arxiv.org/abs/2512.01036 https://arxiv.org/pdf/2512.01036 https://arxiv.org/html/2512.01036
[2025-12-02 Tue (UTC), 1 new article found for csPL Programming Languages]
December 2, 2025 at 6:34 AM
[2025-12-02 Tue (UTC), 1 new article found for csPL Programming Languages]
Reposted by arXiv cs.PL Programming Languages
Kinnari Dave, Louis Lemonnier, Romain P\'echoux, Vladimir Zamdzhiev: A programming language combining quantum and classical control https://arxiv.org/abs/2511.22537 https://arxiv.org/pdf/2511.22537 https://arxiv.org/html/2511.22537
December 1, 2025 at 6:33 AM
Kinnari Dave, Louis Lemonnier, Romain P\'echoux, Vladimir Zamdzhiev: A programming language combining quantum and classical control https://arxiv.org/abs/2511.22537 https://arxiv.org/pdf/2511.22537 https://arxiv.org/html/2511.22537
Reposted by arXiv cs.PL Programming Languages
J\'erome Ricciardi, S\'ebastien Bardin, Christophe Chareton, Beno\^it Valiron: Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits https://arxiv.org/abs/2511.22523 https://arxiv.org/pdf/2511.22523 https://arxiv.org/html/2511.22523
December 1, 2025 at 6:50 AM
J\'erome Ricciardi, S\'ebastien Bardin, Christophe Chareton, Beno\^it Valiron: Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits https://arxiv.org/abs/2511.22523 https://arxiv.org/pdf/2511.22523 https://arxiv.org/html/2511.22523