Events tagged with Thesis defence

Wednesday, June 7, 2023 — 1:30 PM to 2:30 PM EDT

Master’s Thesis Presentation • Programming Languages • Design and Implementation of Family Polymorphism for Interactive Theorem Proving

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.

Tuesday, June 13, 2023 — 10:00 AM to 11:00 AM EDT

Master’s Thesis Presentation • Software Engineering • Trade-off Exploration for Acceleration of Continuous Integration

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.

Thursday, June 15, 2023 — 1:00 PM to 2:00 PM EDT

Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) | Software Engineering • Security Evaluations of GitHub’s Copilot

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.

Monday, June 26, 2023 — 8:30 AM to 11:30 AM EDT

PhD Defence • Artificial Intelligence • The Impact of Teams in Multiagent Systems

David Radke, PhD candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Kate Larson, Tim Brecht

Tuesday, June 27, 2023 — 1:00 PM to 2:00 PM EDT

Master’s Thesis Presentation • Systems and Networking • Kernel- vs. User-Level Networking: A Ballad of Interrupts and How to Mitigate Them

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

Tuesday, July 4, 2023 — 9:00 AM to 12:00 PM EDT

PhD Defence • Human-Computer Interaction • Investigating New Forms of Single-handed Physical Phone Interaction with Finger Dexterity

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

Monday, July 10, 2023 — 1:00 PM to 2:00 PM EDT

Master’s Thesis Presentation • Human-Computer Interaction • Eggly: Designing Mobile Augmented Reality Neurofeedback Training Games for Children with Autism Spectrum Disorder

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

Tuesday, July 18, 2023 — 3:00 PM to 6:00 PM EDT

PhD Defence • Machine Learning | Natural Language Processing • Less is More: Restricted Representations for Better Interpretability and Generalizability

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.

Thursday, July 20, 2023 — 9:00 AM to 12:30 PM EDT