1. Binary-Level Type Inference using Datalog Open Access Author: Huhman, Ashley Briane Title: Binary-Level Type Inference using Datalog Graduate Program: Computer Science and Engineering Keywords: DatalogControl Flow Graph constructionType Inference analysis File: Download corrected_FINAL.pdf Committee Members: Dr. Gang Tan, Thesis Advisor/Co-AdvisorDr. Danfeng Zhang, Committee Member
2. Extending Parallel Datalog with Lattice Open Access Author: Gong, Qing Title: Extending Parallel Datalog with Lattice Graduate Program: Computer Science and Engineering Keywords: DatalogLatticeScalabilitySoufflé File: Download Thesis___Extending_Parallel_Datalog_with_Lattice.pdf Committee Members: Gang Tan, Thesis Advisor/Co-AdvisorDanfeng Zhang, Committee MemberChitaranjan Das, Program Head/Chair
