Thesis defence

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.

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

Please note: This PhD defence will take place online.

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 master’s thesis presentation will take place online.

Joshua Hildred, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Khuzaima Daudjee

Distributed deterministic database systems support OLTP workloads over geo-replicated data. Providing these transactions with ACID guarantees requires a delay of multiple wide-area network (WAN) round trips of messaging to totally order transactions globally.

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 online.

Faezeh Ebrahimianghazani, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Florian Kerschbaum

Please note: This master’s thesis presentation will take place online.

Krishna Kanth Arumugam, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Mei Nagappan

Please note: This master’s thesis presentation will take place in DC 3317.

Sara Qunaibi, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Samer Al-Kiswany

We present a comprehensive empirical study of the impact partial network partitions have on cluster managers in data analysis frameworks. Our study shows that modern scheduling approaches are vulnerable to partial network partitions. Partial partitions can lead to a complete cluster pause or a significant loss of performance.