DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Yoo, Shin | - |
dc.contributor.advisor | 유신 | - |
dc.contributor.author | Lee, Seongmin | - |
dc.date.accessioned | 2023-06-23T19:34:35Z | - |
dc.date.available | 2023-06-23T19:34:35Z | - |
dc.date.issued | 2022 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=1007884&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/309255 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 전산학부, 2022.8,[viii, 131 p. :] | - |
dc.description.abstract | This dissertation investigates the beneficial incorporation of statistical methods into observation-based program dependence analysis. Observation-based slicing, which introduced observation-based dependence analysis, performs program slicing purely dynamically. It has been shown that the observation-based approach can successfully overcome the limitations of the traditional static approach. However, it still suffers from scalability and interpretability issues. We introduce three different statistical strategies to address either or both fronts of observation-based dependence analysis. We first exploit a lexical model built from the source code to discover dependence relations in the program efficiently. We also show how to formulate observation-based dependence analysis using statistical modeling. Further, we employ causal inference analysis to facilitate program dependence interpretability. We evaluate the proposed analyses, both quantitatively and qualitatively, using a mixture of real-world software and representative example programs in order to provide confidence in our modeling. | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Program dependence▼aDynamic analysis▼aObservation-based dependence analysis▼aLexical analysis▼aStatistical model▼aCausal inference | - |
dc.subject | 프로그램 의존성▼a동적 분석▼a관측 기반 의존성 분석▼a어휘 분석▼a통계적 모형▼a인과 추론 | - |
dc.title | Statistical program dependence approximation | - |
dc.title.alternative | 통계적 프로그램 의존성 분석 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :전산학부, | - |
dc.contributor.alternativeauthor | 이성민 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.