# Events - July 2020

Thursday, July 23, 2020 — 2:00 PM EDT

## Master’s Thesis Presentation • Software Engineering — On the Effectiveness of Incremental Fact Extraction and Analysis

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

Davood Anbarnam, Master’s candidate
David R. Cheriton School of Computer Science

Thursday, July 23, 2020 — 1:00 PM EDT

## PhD Defence • Human-Computer Interaction — Contextual Factors Affecting Information Sharing Patterns in Technology Mediated Communication

### Please note: This PhD defence will be given online.

Anastasia Kuzminykh, PhD candidate
David R. Cheriton School of Computer Science

Thursday, July 23, 2020 — 11:00 AM EDT

## Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) — Weaving a Faster Tor: A Multi-Threaded Relay Architecture for Improved Throughput

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

Steven Engler, Master’s candidate
David R. Cheriton School of Computer Science

Thursday, July 23, 2020 — 9:00 AM EDT

## PhD Defence • Systems and Networking — Survivable Virtual Network Embedding in Transport Networks

### Please note: This PhD defence will be given online.

Nashid Shahriar, PhD candidate
David R. Cheriton School of Computer Science

Wednesday, July 22, 2020 — 1:30 PM EDT

## Master’s Thesis Presentation • Data Systems — Iterative Edit-based Unsupervised Sentence Simplification

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

Dhruv Kumar, Master’s candidate
David R. Cheriton School of Computer Science

Wednesday, July 22, 2020 — 11:00 AM EDT

## Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) — Walking Onions: Scaling Anonymity Systems While Protecting Users

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

Chelsea Komlo, Master’s candidate
David R. Cheriton School of Computer Science

Thursday, July 9, 2020 — 10:00 AM EDT

## PhD Defence • Quantum Computing — Quantum Turing Machines and Quantum Prover-Verifier Interactions

#### Please note: This PhD defence will be given online.

Abel Molina, PhD candidate
David R. Cheriton School of Computer Science

We present results on quantum Turing machines and on prover-verifier interactions.

Wednesday, July 8, 2020 — 3:00 PM EDT

## PhD Seminar • Symbolic Computation — Fast Computation of the Smith Form of a Nonsingular Integer Matrix

### Please note: This PhD seminar will be given online.

Stavros Birmpilis, PhD candidate
David R. Cheriton School of Computer Science

Any nonsingular matrix $A \in \mathbb{Z}^{n\times n}$ is unimodularly equivalent to a unique diagonal matrix $S = diag(s_1, s_2, \ldots, s_n)$ in Smith form. The diagonal entries, the invariant factors of $A$, are positive with $s_1 \mid s_2 \mid \cdots \mid s_n$, and unimodularly equivalent means that there exist unimodular (with determinant ±1) matrices $U, V \in \mathbb{Z}^{n\times n}$ such that $UAV = S$.

Wednesday, July 8, 2020 — 10:30 AM EDT

## PhD Seminar • Machine Learning — Combining a Restricted Class of Policies in MDPs

### Please note: This PhD seminar will be given online.

Ershad Banijamali, PhD candidate
David R. Cheriton School of Computer Science

Monday, July 6, 2020 — 1:00 PM EDT

## Master’s Thesis Presentation • Software Engineering — Exploiting Token and Path-based Representations of Code for Identifying Security-Relevant Commits

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

Achyudh Ram, Master’s candidate
David R. Cheriton School of Computer Science

Thursday, July 2, 2020 — 11:00 AM EDT

## Seminar • Algorithms and Complexity — Factoring Polynomials Given as Arithmetic Branching Programs

### Please note: This seminar will be given online.

Amit Sinhababu
Aalen University, Germany

### July 2020

S M T W T F S
28
29
30
1
3
4
5
7
10
11
12
13
14
15
16
17
18
19
20
21
24
25
26
27
28
29
30
31
1
1. 2020 (133)
1. August (2)
2. July (11)
3. June (19)
4. May (17)
5. April (20)
6. March (17)
7. February (25)
8. January (22)
2. 2019 (255)
1. December (21)
2. November (25)
3. October (16)
4. September (20)
5. August (18)
6. July (12)
7. June (23)
8. May (23)
9. April (32)
10. March (25)
11. February (16)
12. January (24)
3. 2018 (220)
4. 2017 (36)
5. 2016 (21)
6. 2015 (36)
7. 2014 (33)
8. 2013 (23)
9. 2012 (4)
10. 2011 (1)
11. 2010 (1)
12. 2009 (1)
13. 2008 (1)