Fugu-MT 論文翻訳(概要): Possible Value Analysis based on Symbolic Lattice

論文の概要: Possible Value Analysis based on Symbolic Lattice

arxiv url: http://arxiv.org/abs/2405.01369v1
Date: Thu, 2 May 2024 15:13:47 GMT
ステータス: 処理完了
システム内更新日: 2024-05-03 16:05:24.817757
Title: Possible Value Analysis based on Symbolic Lattice
Title（参考訳）: シンボリック格子を用いた可能性値解析
Authors: Qi Zhan,
Abstract要約: 本稿では,プログラム動作解析と呼ばれる静的プログラム解析を提案する。この分析は、各プログラムポイントにおける各変数のシンボル式を計算することを目的としている。
参考スコア（独自算出の注目度）: 1.3675251356344915
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We propose a new static program analysis called program behavior analysis. The analysis aims to calculate possible symbolic expressions for every variable at each program point. We design a new lattice, transfer function, and widening operator to accommodate the analysis. Furthermore, we extend the analysis to interprocedural.
Abstract（参考訳）: 本稿では,プログラム動作解析と呼ばれる静的プログラム解析を提案する。この分析は、各プログラムポイントにおける各変数のシンボル式を計算することを目的としている。解析に適合する新しい格子,転送関数,拡張演算子を設計する。さらに、解析を相互運用に拡張する。

関連論文リスト

Data Analysis in the Era of Generative AI [56.44807642944589]
本稿では,AIを活用したデータ分析ツールの可能性について考察する。我々は、大規模言語とマルチモーダルモデルの出現が、データ分析ワークフローの様々な段階を強化する新しい機会を提供する方法について検討する。次に、直感的なインタラクションを促進し、ユーザ信頼を構築し、AI支援分析ワークフローを複数のアプリにわたって合理化するための、人間中心の設計原則を調べます。
論文参考訳（メタデータ） (2024-09-27T06:31:03Z)
Unveiling the Power of Intermediate Representations for Static Analysis: A Survey [10.2999755815712]
静的解析技術は、プログラムのセキュリティ、性能、信頼性を高める。本質的なプログラム情報を取得するための入力として、ターゲットプログラムの中間表現(IR)。現代の静的解析フレームワークは、様々な言語で多様な分析を行う能力を持つべきである。
論文参考訳（メタデータ） (2024-05-21T14:46:55Z)
Integrating Static Code Analysis Toolchains [0.8246494848934447]
最先端のツールチェーンは、テスト実行とビルド自動化、テスト、要件、設計情報間のトレーサビリティをサポートする。当社のアプローチでは,これらの機能をすべて組み合わせて,静的コード解析を取り入れて,トレーサビリティをソースコードレベルにまで拡張しています。
論文参考訳（メタデータ） (2024-03-09T18:59:50Z)
It Is Time To Steer: A Scalable Framework for Analysis-driven Attack Graph Generation [50.06412862964449]
アタックグラフ(AG)は、コンピュータネットワークに対するマルチステップ攻撃に対するサイバーリスクアセスメントをサポートする最も適したソリューションである。現在の解決策は、アルゴリズムの観点から生成問題に対処し、生成が完了した後のみ解析を仮定することである。本稿では,アナリストがいつでもシステムに問い合わせることのできる新しいワークフローを通じて,従来のAG分析を再考する。
論文参考訳（メタデータ） (2023-12-27T10:44:58Z)
LLVM Static Analysis for Program Characterization and Memory Reuse Profile Estimation [0.0]
本稿ではLLVMに基づく確率的静的解析手法を提案する。プログラムの特徴を正確に予測し、プログラムの再利用距離プロファイルを推定する。その結果,LLVMベースの動的コード解析ツールであるByflと比較して,アプリケーションの特性を正確に予測できることがわかった。
論文参考訳（メタデータ） (2023-11-20T23:05:06Z)
Functional Generalized Canonical Correlation Analysis for studying multiple longitudinal variables [0.9208007322096533]
FGCCA(Functional Generalized Canonical correlation Analysis)は、共同で観測される複数のランダムプロセス間の関連を探索する新しいフレームワークである。我々は,解法の単調性を確立し,標準成分を推定するためのベイズ的アプローチを導入する。本稿では,縦断データセットにユースケースを提示し,シミュレーション研究における手法の効率性を評価する。
論文参考訳（メタデータ） (2023-10-11T09:21:31Z)
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference [13.836565669337057]
与えられた確率プログラムの微分可能あるいはより一般に滑らかな部分を発見するための静的解析法を提案する。解析が経路勾配推定器の改善にどのように役立つかを示す。
論文参考訳（メタデータ） (2022-08-22T18:18:32Z)
Analytical Modelling of Exoplanet Transit Specroscopy with Dimensional Analysis and Symbolic Regression [68.8204255655161]
ディープラーニング革命は、そのような分析結果を直接、データに適合するコンピュータアルゴリズムで導き出すための扉を開いた。我々は、一般的なホットジュピター系外惑星の遷移半径の合成データにおける記号回帰の利用をうまく実証した。前処理のステップとして,変数の無次元な組み合わせを特定するために次元解析を用いる。
論文参考訳（メタデータ） (2021-12-22T00:52:56Z)
Stochastic Approximation for Online Tensorial Independent Component Analysis [98.34292831923335]
独立成分分析(ICA)は統計機械学習や信号処理において一般的な次元削減ツールである。本稿では,各独立成分を推定する副産物オンライン時系列アルゴリズムを提案する。
論文参考訳（メタデータ） (2020-12-28T18:52:37Z)
Representing Partial Programs with Blended Abstract Semantics [62.20775388513027]
プログラム合成エンジンにおける部分的なプログラム表現手法について紹介する。モジュラーニューラルネットワークとして実装された近似実行モデルを学ぶ。これらのハイブリッドニューロシンボリック表現は、実行誘導型シンセサイザーがより強力な言語構成を使うことができることを示す。
論文参考訳（メタデータ） (2020-12-23T20:40:18Z)
Revisiting the Sample Complexity of Sparse Spectrum Approximation of Gaussian Processes [60.479499225746295]
本稿では,ガウス過程に対して,パラメータ空間全体に対して同時に保持可能な保証付きスケーラブルな近似を導入する。我々の近似は、スパーススペクトルガウス過程(SSGP)のための改良されたサンプル複雑性解析から得られる。
論文参考訳（メタデータ） (2020-11-17T05:41:50Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。