## University of Waterloo COVID-19 update

The University of Waterloo is constantly updating its most frequently asked questions.

Questions about buildings and services? Please visit the list of modified services.

Please note: The University of Waterloo is closed for all events until further notice.

# Events

## August 2018

Sun Mon Tue Wed Thu Fri Sat
29
30
31
2
4

5
6
8
11

12
16
18

19
20
22
23
25

26
27
28
30
31
1

### Master’s Thesis Presentation / Seminar • Algorithms and Complexity — Minimum Shared-Power Edge Cut

Wednesday, August 1, 2018 — 1:30 PM EDT

Kshitij Jain, Master’s candidate
David R. Cheriton School of Computer Science

We introduce a problem called the Minimum Shared-Power Edge Cut (MSPEC). The input to the problem is an undirected edge-weighted graph with distinguished vertices s and t, and the goal is to find an s-t cut by assigning "powers'' at the vertices and removing an edge if the sum of the powers at its endpoints is at least its weight. The objective is to minimize the sum of the assigned powers.

### Seminar • Networks and Distributed Systems — Cache Modeling and Optimization using Miniature Simulations

Wednesday, August 1, 2018 — 2:00 PM EDT

CachePhysics

Caches in modern distributed and storage systems must be manually tuned and sized in response to changing application’s workload. A balance must be achieved between cost, performance and revenue loss from cache sizing mis-matches. However, caches are inherently nonlinear systems making this exercise equivalent to solving a maze in the dark.

### Master’s Thesis Presentation • Data Systems — The Effects of Time Constraints and Document Excerpts on Relevance Assessing Behavior

Friday, August 3, 2018 — 10:00 AM EDT

Shahin Rahbariasl, Master’s candidate
David R. Cheriton School of Computer Science

### Master’s Thesis Presentation • Artificial Intelligence — Simple Convolutional Neural Networks with Linguistically-Annotated Input for Answer Selection in Question Answering

Friday, August 3, 2018 — 11:00 AM EDT

Royal Sequiera, Master’s candidate
David R. Cheriton School of Computer Science

### Master’s Thesis Presentation • Data Systems — Refresh Strategies for Continuous Active Learning

Friday, August 3, 2018 — 11:00 AM EDT

Nimesh Ghelani, Master’s candidate
David R. Cheriton School of Computer Science

High recall information retrieval is crucial to tasks such as electronic discovery and systematic review. Continuous Active Learning (CAL) is a technique where a human assessor works in loop with a machine learning model; the model presents a set of documents likely to be relevant and the assessor provides relevance feedback.

### Seminar • Software Engineering — A rerun of "The Prehistory and History of RE (+SE) as Seen by Me"

Tuesday, August 7, 2018 — 10:30 AM EDT

Daniel M. Berry
David R. Cheriton School of Computer Science

Dan Berry weaves the twin peaks of (1) his life in computing, programming, programming languages, software engineering, electronic publishing, and requirements engineering with (2) the almost concurrent development of programming languages, software engineering, and requirements engineering.

### Master’s Thesis Presentation • Artificial Intelligence — Disentangled Representation Learning for Stylistic Variation in Neural Language Models

Thursday, August 9, 2018 — 10:00 AM EDT

Vineet John, Master’s candidate
David R. Cheriton School of Computer Science

This thesis tackles the problem of disentangling the latent style and content variables in a language modelling context. This involves splitting the latent representations of documents by learning which features of a document are discriminative of its style and content, and encoding these features separately using neural network models.

### CrySP Speaker Series on Privacy — When A Small Leak Sinks A Great Ship: Deanonymizing Tor Hidden Service Users Through Bitcoin Transactions Analysis

Thursday, August 9, 2018 — 3:00 PM EDT

Aiman Erbad, Computer Science and Engineering Department
Qatar University

### PhD Defence • Structural Bioinformatics — Protein Structure Elastic Network Models and the Rank 3 Positive Semidefinite Matrix Manifold

Friday, August 10, 2018 — 2:00 PM EDT

Xiao-Bo Li, PhD candidate
David R. Cheriton School of Computer Science

### Master’s Thesis Presentation • Data Systems — Serverless Data Analytics with Flint

Monday, August 13, 2018 — 10:00 AM EDT

Youngbin Kim, Master’s candidate
David R. Cheriton School of Computer Science

AbstractServerless architectures organized around loosely-coupled function invocations represent an emerging design for many applications. Recent work mostly focuses on user-facing products and event-driven processing pipelines.

### PhD Seminar • Artificial Intelligence — Discriminative Training of Sum-Product Networks by Extended Baum-Welch

Tuesday, August 14, 2018 — 4:00 PM to 5:00 PM EDT

Abdullah Rashwan, PhD candidate
David R. Cheriton School of Computer Science

### Master’s Thesis Presentation • Algorithms and Complexity — The Complexity of Network Design for s-t Effective Resistance

Wednesday, August 15, 2018 — 1:30 PM EDT

Pak Hay Chan, Master’s candidate
David R. Cheriton School of Computer Science

We consider a new problem of designing a network with small $s$-$t$ effective resistance. In this problem, we are given an undirected graph $G=(V,E)$ where each edge $e$ has a cost $c_e$ and a resistance $r_e$, two designated vertices $s,t \in V$, and a cost budget $k$.

### Master’s Thesis Presentation • Quantum Information and Computation — Concentration Bounds from Parallel Repetition Theorems: Symmetric Key

Friday, August 17, 2018 — 1:00 PM EDT

Taylor Hornby, Master’s candidate
David R. Cheriton School of Computer Science

This thesis contributes to two areas. The first is the study of parallel repetition theorems and concentration bounds for nonlocal games and quantum interactive proofs.

We make the following contributions:

### PhD Defence • Systems and Networking — Improving the Performance of User-level Runtime Systems for Concurrent Applications

Tuesday, August 21, 2018 — 9:30 AM EDT

Saman Barghi, PhD candidate
David R. Cheriton School of Computer Science

### Master’s Thesis Presentation • Programming Languages — Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics

Friday, August 24, 2018 — 11:00 AM EDT

Alexi Turcotte, Master’s candidate
David R. Cheriton School of Computer Science

### Master’s Thesis Presentation • Programming Languages — Formal Semantics and Mechanized Soundness Proof for Fast Gradually Typed JavaScript

Friday, August 24, 2018 — 1:30 PM EDT

Ellen Arteca, Master’s candidate
David R. Cheriton School of Computer Science

### Seminar • Algorithms and Complexity — Counting Subwords and Regular Languages

Wednesday, August 29, 2018 — 1:30 PM EDT

Finn Lidbetter, Master’s candidate
David R. Cheriton School of Computer Science

Let x and y be words. We consider the languages whose words z are those for which the numbers of occurrences of x and y, as subwords of z, are the same (resp., the number of x's is less than the number of y's, resp., is less than or equal). In this talk we will give a necessary and sufficient condition on x and y for these languages to be regular, and we show how to check this condition efficiently.

### August 2018

S M T W T F S
29
30
31
2
4
5
6
8
11
12
16
18
19
20
22
23
25
26
27
28
30
31
1
1. 2020 (78)
1. May (4)
2. April (10)
3. March (17)
4. February (25)
5. 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)
1. December (16)
2. November (19)
3. October (26)
4. September (22)
5. August (17)
6. July (20)
7. June (13)
8. May (25)
9. April (34)
10. March (24)
11. February (3)
12. January (1)
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)