JoinActors: A Modular Library for Actors with Join Patterns
本論文は、既存の Scala 3 言語に統合されたモジュラーなライブラリ「JoinActors」の詳細な設計と実装、特にメタプログラミングによる直感的な 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
本論文は、物理設計におけるTclスクリプト生成の課題に対処するため、データ合成パイプラインと2段階学習戦略を用いて開発されたドメイン適応型LLM「iScript」と、その性能を評価する包括的なベンチマーク「iScript-Bench」を提案し、既存の最先端モデルを上回る精度を達成したことを示しています。
Reversible Computation with Stacks and "Reversible Management of Failures"
この論文は、計算モデルを全単射として解釈可能にするための新しい言語「SCORE」を提案し、証明支援系を用いてスタック操作が全単射であることを検証することで、計算複雑性の研究に寄与する reversible 計算モデルの構築を示しています。
Ohana trees, linear approximation and multi-types for the I-calculus: No variable gets left behind or forgotten!
本論文は、I-計算において変数の消去を禁止する制約下で、意味のない部分木や無限枝に隠れた自由変数を追跡する「Ohana 木」を導入し、これに基づくプログラム近似理論、テイラー展開との可換性定理、および変数追跡機能を備えた非空有限多重集合を用いた非冪等型システムによるモデルを構築する。
Agentic Code Reasoning
本論文は、コードを実行せずに意味論的推論を行うための構造化された「半形式的推論」手法を提案し、パッチ等価性検証、欠陥局所化、コード質問応答の各タスクにおいて、従来の非構造化推論よりも高い精度を達成することを示しています。
SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
SpotIt+ は、ルールベースのマイニングと LLM による検証を組み合わせてデータベース制約を抽出し、生成された SQL と正解 SQL の違いをより現実的なデータベース例で特定する、テキストから SQL へのシステム評価のためのオープンソースツールです。