Thesis defence

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.

Please note: This master’s thesis presentation will take place in DC 2568 and virtually over Zoom.

Xueyao Yu, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Mike Godfrey, Shane McIntosh

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

Veronica Salm, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Lukasz Golab

Co-operative education (co-op) programs combine coursework and work internships and have become popular worldwide. In this analysis, we use two separate co-op datasets to understand employer expectations and factors that contribute to student success.

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

Michael Karras, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Olga Veksler

LLMs are currently dominating the scene in AI research. In our literature review, we aim to analyze the subfield of question answering in the domains of both natural language and coding through LLMs. We will discuss the underlying RL algorithm, datasets and current advances in this space.

Please note: This master’s thesis presentation will be given online.

Owen Chambers, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Robin Cohen, Maura R. Grossman

Please note: This master’s thesis presentation will take place in DC 1304 and virtually.

Benjamin Thérien, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Krzysztof Czarnecki

Please note: This PhD defence will take place in DC 1331.

Aida Sheshbolouki, PhD candidate
David R. Cheriton School of Computer Science

Supervisor: Professor M. Tamer Özsu