PhD Defence Notice: From Mock Environments to Ownership-Aware Compilation: Practical Advances in Low-Level Program Reasoning

Location Address: EIT - Centre for Environmental and Information Technology
200 University Avenue West
EIT 3151-53
Waterloo, ON, CA  N2L 3G1