WebNotice

Subscribe to WebNotice
Wednesday, June 7, 2023 1:30 pm - 2:30 pm EDT (GMT -04:00)

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.

Friday, May 19, 2023 2:00 pm - 3:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) • DP-Select: Improving Utility and Privacy in Tabular Data Synthesis with DP-GAN and Differentially Private Selection

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

Tuesday, May 16, 2023 10:30 am - 11:30 am EDT (GMT -04:00)

Master’s Thesis Presentation • Software Engineering • Evaluating Deep Learning-based Vulnerability Detection Models on Realistic Datasets

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

Thursday, May 25, 2023 1:00 pm - 2:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Systems and Networking • Topology-Aware Scheduling

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.

Wednesday, May 3, 2023 9:30 am - 10:30 am EDT (GMT -04:00)

PhD Seminar • Software Engineering • Code Review of Build System Specifications: Prevalence, Purposes, Patterns, and Perceptions

Please note: This PhD seminar will take place in DC 2564.

Mahtab (Mattie) Nejati, PhD candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Shane McIntosh, Mike Godfrey

Thursday, May 4, 2023 10:30 am - 11:30 am EDT (GMT -04:00)

Master’s Thesis Presentation • Software Engineering • Studying the Impact of Risk Assessment Analytics on Risk Awareness and Code Review 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