Advancement

I passed my qualifying examination and advanced to candidacy, presenting my thesis proposal Testing and Improving Memory Consistency Specifications.