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（参考訳）: 本稿では,プログラム動作解析と呼ばれる静的プログラム解析を提案する。この分析は、各プログラムポイントにおける各変数のシンボル式を計算することを目的としている。解析に適合する新しい格子,転送関数,拡張演算子を設計する。さらに、解析を相互運用に拡張する。

関連論文リスト

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生成のための分析駆動型フレームワークを紹介する。定量的な統計的意義を持つ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)
Rissanen Data Analysis: Examining Dataset Characteristics via Description Length [78.42578316883271]
特定の能力が与えられたデータの正確なモデルを達成するのに役立つかどうかを判断する手法を提案する。最小プログラム長は計算不可能であるため,ラベルの最小記述長(MDL)をプロキシとして推定する。我々は、mdlの父にちなんで、rissanen data analysis (rda) と呼ぶ。
論文参考訳（メタデータ） (2021-03-05T18:58:32Z)
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)

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