JoinActors: A Modular Library for Actors with Join Patterns
本文详细介绍并评估了名为 JoinActors 的模块化 Scala 3 库，该库通过利用元编程技术提供直观的 API，支持在现有语言中集成可插拔的多种匹配算法，从而在保持公平匹配语义一致性的同时显著提升了分布式消息传递系统中协调模式匹配的性能。
🧩 Category
cs.PL
27 篇论文
Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
本文提出了一种基于轻量级摊销方法的数据流导向型技术，用于从类型推断结果中高效筛选子集类型注解，从而在 Reticulated Python 中显著改善渐进式类型程序的执行性能，同时避免了传统方法因编译时间过长而难以实用的问题。
iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
本文提出了名为 iScript 的领域自适应大语言模型及其配套基准测试 iScript-Bench，通过构建多阶段数据合成流水线解决物理设计 Tcl 脚本生成中的数据稀缺难题，并采用两阶段训练与双重验证框架，显著提升了脚本生成的准确性与可靠性。
Reversible Computation with Stacks and "Reversible Management of Failures"
本文介绍了名为 SCORE 的语言，并通过证明辅助工具在特定状态空间中验证了栈操作为全双射函数，从而实现了将计算模型中的项解释为全双射函数，而非传统的部分双射函数。
Ohana trees, linear approximation and multi-types for the I-calculus: No variable gets left behind or forgotten!
本文通过引入一种能够追踪被隐藏或无限推远自由变量的“Ohana 树”概念，为I-演算建立了一种新的等价理论，并证明了其泰勒展开与 Ohana 树之间的交换定理，进而构建了一个基于非幂等类型系统和修正关系语义的指称模型以刻画该理论。
Agentic Code Reasoning
本文提出了一种名为“半形式化推理”的结构化提示方法，使大语言模型代理能够在不执行代码的情况下，通过构建显式前提、追踪执行路径并推导形式化结论，显著提升在补丁等价性验证、故障定位及代码问答等任务中的语义推理准确性。
SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
本文介绍了 SpotIt+，一种通过结合规则挖掘与大模型验证来提取数据库约束的开源工具，旨在利用有界等价验证生成更具现实意义的差异数据库，从而更有效地评估 Text-to-SQL 系统的准确性。