Search

Author:

Muthukumaran, Divya

Title:

Automating The Placement Of Authorization Hooks in Programs

Graduate Program:

Computer Science and Engineering

Keywords:

Static Analysis
Authorization

File:

Download thesis.pdf

Committee Members:

Trent Ray Jaeger, Dissertation Advisor/Co-Advisor
Patrick Drew Mcdaniel, Committee Member
Adam Smith, Committee Member
John Joseph Hannan, Committee Member
Stephen George Simpson, Committee Member

Author:

Zheng, Qingyuan

Title:

A Symbolic Data Dependence Analysis With Abstract Interpretation

Graduate Program:

Computer Science

Keywords:

Static Analysis
Alias Analysis
Data Dependence Analysis
Theorem Prover
Abstract Interpretation

File:

Download Master_Thesis_QingyuanZheng.pdf

Committee Members:

Gang Tan, Thesis Advisor/Co-Advisor
Danfeng Zhang, Committee Member
Chitaranjan Das, Program Head/Chair

Author:

Kim, Sun Hyoung

Title:

Practical Static Binary Analysis with Block Memory Model

Graduate Program:

Computer Science and Engineering

Keywords:

Static Analysis
Binary Analysis
Control Flow Graph
Pointer Analysis
Type Inference

File:

Download Sun_Hyoung_Kim_thesis_final.pdf

Committee Members:

G. Tan, Chair & Dissertation Advisor
Sencun Zhu, Major Field Member
Danfeng Zhang, Major Field Member
Dinghao Wu, Outside Unit & Field Member
Chitaranjan Das, Program Head/Chair

Author:

Zhu, Shuofei

Title:

Memory and Thread Safety in Modern System Programming Languages: Challenges and Solutions

Graduate Program:

Information Sciences and Technology

Keywords:

Go
Rust
Concurrency Programming
Static Analysis
Empirical Study
User Study
Software Engineering
Programming Languages
Software Security
System Programming

File:

Login to Download

Committee Members:

Carleen Maitland, Program Head/Chair
Peng Liu, Chair & Dissertation Advisor
Taegyu Kim, Major Field Member
Sencun Zhu, Outside Unit & Field Member
Tanusree Sharma, Major Field Member