1. A Symbolic Data Dependence Analysis With Abstract Interpretation Open Access Author: Zheng, Qingyuan Title: A Symbolic Data Dependence Analysis With Abstract Interpretation Graduate Program: Computer Science Keywords: Static AnalysisAlias AnalysisData Dependence AnalysisTheorem ProverAbstract Interpretation File: Download Master_Thesis_QingyuanZheng.pdf Committee Members: Gang Tan, Thesis Advisor/Co-AdvisorDanfeng Zhang, Committee MemberChitaranjan Das, Program Head/Chair