본문

서브메뉴

Integrating Declarative Static Analysis With Neural Models of Code- [electronic resource]
Integrating Declarative Static Analysis With Neural Models of Code - [electronic resource]
Contents Info
Integrating Declarative Static Analysis With Neural Models of Code- [electronic resource]
Material Type  
 학위논문
 
0016931383
Date and Time of Latest Transaction  
20240214100012
ISBN  
9798379754686
DDC  
004
Author  
Pashakhanloo, Pardis.
Title/Author  
Integrating Declarative Static Analysis With Neural Models of Code - [electronic resource]
Publish Info  
[S.l.] : University of Pennsylvania., 2023
Publish Info  
Ann Arbor : ProQuest Dissertations & Theses, 2023
Material Info  
1 online resource(132 p.)
General Note  
Source: Dissertations Abstracts International, Volume: 84-12, Section: A.
General Note  
Advisor: Naik, Mayur.
학위논문주기  
Thesis (Ph.D.)--University of Pennsylvania, 2023.
Restrictions on Access Note  
This item must not be sold to any third party vendors.
Abstracts/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  
로그인을 한후 보실 수 있는 자료입니다.
소장사항  
202402 2024
Control Number  
joongbu:642119
New Books MORE
최근 3년간 통계입니다.

Detail Info.

  • Reservation
  • 캠퍼스간 도서대출
  • 서가에 없는 책 신고
  • My Folder
Material
Reg No. Call No. Location Status Lend Info
TQ0028021 T   원문자료 열람가능/출력가능 열람가능/출력가능
마이폴더 부재도서신고

* Reservations are available in the borrowing book. To make reservations, Please click the reservation button

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

Related books

Related Popular Books

도서위치