본문

서브메뉴

Integrating Declarative Static Analysis With Neural Models of Code- [electronic resource]
내용보기
Integrating Declarative Static Analysis With Neural Models of Code- [electronic resource]
자료유형  
 학위논문
Control Number  
0016931383
International Standard Book Number  
9798379754686
Dewey Decimal Classification Number  
004
Main Entry-Personal Name  
Pashakhanloo, Pardis.
Publication, Distribution, etc. (Imprint  
[S.l.] : University of Pennsylvania., 2023
Publication, Distribution, etc. (Imprint  
Ann Arbor : ProQuest Dissertations & Theses, 2023
Physical Description  
1 online resource(132 p.)
General Note  
Source: Dissertations Abstracts International, Volume: 84-12, Section: A.
General Note  
Advisor: Naik, Mayur.
Dissertation Note  
Thesis (Ph.D.)--University of Pennsylvania, 2023.
Restrictions on Access Note  
This item must not be sold to any third party vendors.
Summary, Etc.  
요약In recent years, deep learning techniques have made remarkable strides in solving a variety of program understanding challenges. The successful application of these techniques to a given task depends heavily on how the source code is represented by the deep neural network. Designing a suitable representation for a newly created task involves many challenges. It is necessary, among other things, to understand the implementation of other functions or modules in a project that may be spread out across a large lexical area. In addition, determining which components and features to include in order to enrich the representation is a challenge. In this dissertation, the challenges of code representation are addressed by proposing to systematically represent programs as relational databases, introducing a graph walk mechanism to remove unrelated context from large relational graphs, and describing a language for specifying tasks and program analysis queries to tailor neural code-reasoning models. A detailed analysis shows the presented techniques are superior to state-of-the-art in a variety of aspects, such as performance, robustness, and interpretability.
Subject Added Entry-Topical Term  
Computer science.
Subject Added Entry-Topical Term  
Information science.
Index Term-Uncontrolled  
Bug finding
Index Term-Uncontrolled  
Deep learning
Index Term-Uncontrolled  
Program analysis
Index Term-Uncontrolled  
Software security
Added Entry-Corporate Name  
University of Pennsylvania Computer and Information Science
Host Item Entry  
Dissertations Abstracts International. 84-12A.
Host Item Entry  
Dissertation Abstract International
Electronic Location and Access  
로그인을 한후 보실 수 있는 자료입니다.
Control Number  
joongbu:642119
신착도서 더보기
최근 3년간 통계입니다.

소장정보

  • 예약
  • 캠퍼스간 도서대출
  • 서가에 없는 책 신고
  • 나의폴더
소장자료
등록번호 청구기호 소장처 대출가능여부 대출정보
TQ0028021 T   원문자료 열람가능/출력가능 열람가능/출력가능
마이폴더 부재도서신고

* 대출중인 자료에 한하여 예약이 가능합니다. 예약을 원하시면 예약버튼을 클릭하십시오.

해당 도서를 다른 이용자가 함께 대출한 도서

관련도서

관련 인기도서

도서위치