This page is part of an independent academic archive initiative, preserving records of public presentations from the University of Virginia's Computer Science Department.
The dissertation explores approaches to interpreted formalism: towards system assurance and the real-world semantics of software. The research addresses challenges in this area and contributes new methodologies to the field of computer science.
This archival record preserves the announcement of JIAN XIANG's Dissertation Defense at the University of Virginia. The dissertation defense represents the culmination of doctoral research, where candidates present and defend their original contribution to the field before their dissertation committee.
Systems research addresses fundamental challenges in computer architecture, networking, and operating systems that enable modern computing infrastructure.