Events

Filter by:

Limit to events where the first date of the event:
Date range
Limit to events where the first date of the event:
Limit to events where the title matches:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:

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