Please note: This master’s thesis presentation will take place online.
Ende Jin, Master’s candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Yizhou Zhang, Ondřej Lhoták
With the growing practice of mechanizing language metatheories, it has become ever more pressing that interactive theorem provers make it easy to write reusable, extensible code and proofs.
Please note: This master’s thesis presentation will take place in DC 1304 and virtually.
Zhili Zeng, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Shane McIntosh
Continuous Integration (CI) is a popular software development practice that allows developers to quickly verify modifications to their projects. To cope with the ever-increasing demand for faster software releases, CI acceleration approaches have been proposed to expedite the feedback that CI provides.
Please note: This master’s thesis presentation will take place online.
Owura Asare, Master’s candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Mei Nagappan, N. Asokan
In this thesis, we perform two security evaluations of GitHub’s Copilot with the aim of better understanding the strengths and weaknesses with of Code Generation Tools.
David Radke, PhD candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Kate Larson, Tim Brecht
Please note: This master’s thesis presentation will take place in DC 3317 and virtually.
Peter Cai, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Martin Karsten
Please note: This PhD defence will take place in DC 1331 and virtually.
Yen-Ting (Allen) Yeh, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Daniel Vogel
Please note: This master’s thesis presentation will take place in DC 1331 and virtually.
Yue Lyu, Master’s candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Jian Zhao, Keiko Katsuragawa
Zhiying (Gin) Jiang, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Jimmy Lin
In this thesis, we aim at improving interpretability and generalizability through restricting representations. We choose to approach interpretability by focusing on attribution analysis to understand which features contribute to prediction on BERT, and to approach generalizability by focusing on effective methods in low-data regime.
Please note: This PhD defence will take place in DC 3317 and virtually.
Ke Nian, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Yuying Li
Please note: This PhD defence will take place in DC 3317.
Ivens Portugal, PhD candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Paulo Alencar, Donald Cowan, Daniel Berry
Please note: This PhD defence will take place online.
Wei Zhong, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Jimmy Lin
Please note: This PhD defence will take place online.
Yuqing Xie, PhD candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Ming Li, Jimmy Lin