Lightnews — Scholar-powered news

arXiv cs.PL Programming Languages

@cspl-bot.bsky.social

36 followers 1 following 1.7K posts

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

github.com

Posts Media Videos Starter Packs

Reposted by arXiv cs.PL Programming Languages

arXiv cs.CR Cryptography and Security @cscr-bot.bsky.social · 21h

Yahya Hassanzadeh-Nazarabadi, Sanaz Taheri-Boshrooyeh: Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution https://arxiv.org/abs/2510.05376 https://arxiv.org/pdf/2510.05376 https://arxiv.org/html/2510.05376

Reposted by arXiv cs.PL Programming Languages

arXiv cs.AI Artificial Intelligence @csai-bot.bsky.social · 22h

Yansen Zhang, Qingcan Kang, Yujie Chen, Yufei Wang, Xiongwei Han, Tao Zhong, Mingxuan Yuan, Chen Ma: Optimization Modeling via Semantic Anchored Alignment https://arxiv.org/abs/2510.05115 https://arxiv.org/pdf/2510.05115 https://arxiv.org/html/2510.05115

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 21h

[2025-10-08 Wed (UTC), no new articles found for csPL Programming Languages]

Reposted by arXiv cs.PL Programming Languages

arXiv cs.CL Computation and Language @cscl-bot.bsky.social · 1d

Honglin Lin, Qizhi Pei, Xin Gao, Zhuoshi Pan, Yu Li, Juntao Li, Conghui He, Lijun Wu: Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning https://arxiv.org/abs/2510.04081 https://arxiv.org/pdf/2510.04081 https://arxiv.org/html/2510.04081

Reposted by arXiv cs.PL Programming Languages

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 1d

Eridan Domoratskiy, Dmitrii Kosarev, Dmitry Boulytchev: An Empirical Study of Rational Tree Unification for miniKanren https://arxiv.org/abs/2510.03789 https://arxiv.org/pdf/2510.03789 https://arxiv.org/html/2510.03789

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 1d

Sjoerd Dost: concurrentKanren: miniKanren for parallel execution https://arxiv.org/abs/2510.04994 https://arxiv.org/pdf/2510.04994 https://arxiv.org/html/2510.04994

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 1d

Shihan Fang, Wenxin Zheng: Retrofitting Control Flow Graphs in LLVM IR for Auto Vectorization https://arxiv.org/abs/2510.04890 https://arxiv.org/pdf/2510.04890 https://arxiv.org/html/2510.04890

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 1d

Xiangyu Guo, Ajay Bansal: Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren https://arxiv.org/abs/2510.04049 https://arxiv.org/pdf/2510.04049 https://arxiv.org/html/2510.04049

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 1d

Aditya Thimmaiah, Jiyang Zhang, Jayanth Srinivasa, Junyi Jessy Li, Milos Gligoric: PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters https://arxiv.org/abs/2510.03415 https://arxiv.org/pdf/2510.03415 https://arxiv.org/html/2510.03415

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 1d

[2025-10-07 Tue (UTC), 4 new articles found for csPL Programming Languages]

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 2d

Rafaello Sanna, William E. Byrd, Nada Amin: Beyond Cons: Purely Relational Data Structures https://arxiv.org/abs/2510.03170 https://arxiv.org/pdf/2510.03170 https://arxiv.org/html/2510.03170

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 2d

Santiago Cu\'ellar, Naomi Spargo, Jonathan Daugherty, David Darais: Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces https://arxiv.org/abs/2510.02579 https://arxiv.org/pdf/2510.02579 https://arxiv.org/html/2510.02579

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 2d

[2025-10-06 Mon (UTC), 2 new articles found for csPL Programming Languages]

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 5d

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

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 6d

Alex Le Blanc, Patrick Lam: Lessons Learned So Far From Verifying the Rust Standard Library (work-in-progress) https://arxiv.org/abs/2510.01072 https://arxiv.org/pdf/2510.01072 https://arxiv.org/html/2510.01072

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 6d

Naomi Spargo (Galois), Santiago Cu\'ellar (Galois), Jonathan Daugherty (Galois), Chris Phifer (Galois), David Darais (Galois): The CoCompiler: DSL Lifting via Relational Compilation https://arxiv.org/abs/2510.00210 https://arxiv.org/pdf/2510.00210 https://arxiv.org/html/2510.00210

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 6d

[2025-10-02 Thu (UTC), 2 new articles found for csPL Programming Languages]

Reposted by arXiv cs.PL Programming Languages

arXiv cs.SE Software Engineering @csse-bot.bsky.social · 7d

Mohammad Rifat Arefin, Shanto Rahman, Christoph Csallner: Black-box Context-free Grammar Inference for Readable & Natural Grammars https://arxiv.org/abs/2509.26616 https://arxiv.org/pdf/2509.26616 https://arxiv.org/html/2509.26616

Reposted by arXiv cs.PL Programming Languages

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 7d

Michele De Pascalis, Tarmo Uustalu, Niccol\`o Veltr\`i: Monoid Structures on Indexed Containers https://arxiv.org/abs/2509.25879 https://arxiv.org/pdf/2509.25879 https://arxiv.org/html/2509.25879

Reposted by arXiv cs.PL Programming Languages

arXiv cs.AI Artificial Intelligence @csai-bot.bsky.social · 7d

Hankun Dai, Maoquan Wang, Mengnan Qi, Yikai Zhang, Zijian Jin, Yongqiang Yao, Yufan Huang, Shengyu Fu, Elsie Nallipogu: Lita: Light Agent Uncovers the Agentic Coding Capabilities of LLMs https://arxiv.org/abs/2509.25873 https://arxiv.org/pdf/2509.25873 https://arxiv.org/html/2509.25873

Reposted by arXiv cs.PL Programming Languages

arXiv cs.SE Software Engineering @csse-bot.bsky.social · 7d

Zehua Zhang, et al.: BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software https://arxiv.org/abs/2509.25248 https://arxiv.org/pdf/2509.25248 https://arxiv.org/html/2509.25248

Reposted by arXiv cs.PL Programming Languages

arXiv cs.SE Software Engineering @csse-bot.bsky.social · 7d

Si Cheng Zhong, Xujie Si: Towards Repository-Level Program Verification with Large Language Models https://arxiv.org/abs/2509.25197 https://arxiv.org/pdf/2509.25197 https://arxiv.org/html/2509.25197

Reposted by arXiv cs.PL Programming Languages

arXiv cs.SE Software Engineering @csse-bot.bsky.social · 7d

Hua Zhong, Shan Jiang, Sarfraz Khurshid: APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning https://arxiv.org/abs/2509.25196 https://arxiv.org/pdf/2509.25196 https://arxiv.org/html/2509.25196

arXiv cs.PL Programming Languages @cspl-bot.bsky.social · 7d

[2025-10-01 Wed (UTC), no new articles found for csPL Programming Languages]

Reposted by arXiv cs.PL Programming Languages

arXiv cs.SE Software Engineering @csse-bot.bsky.social · 8d

Yu-Fu Fu, Meng Xu, Taesoo Kim: Agentic Specification Generator for Move Programs https://arxiv.org/abs/2509.24515 https://arxiv.org/pdf/2509.24515 https://arxiv.org/html/2509.24515