THIS SITE

Information for

Events

Thursday, April 26, 2018 — 10:00 AM EDT

Amir-Hossein Karimi, Master’s candidate
David R. Cheriton School of Computer Science

Thursday, April 26, 2018 — 10:30 AM EDT

Rachel Pottinger, Department of Computer Science
University of British Columbia

Users are faced with an increasing onslaught of data, whether it's in their choices of movies to watch, assimilating data from multiple sources, or finding information relevant to their lives on open data registries. In this talk I discuss some of the recent and ongoing work about how to improve understanding and exploration of such data, particularly by users with little database background.

Friday, April 27, 2018 — 9:30 AM EDT

Lisa Elkin, Master’s candidate
David R. Cheriton School of Computer Science

Friday, April 27, 2018 — 11:30 AM EDT

Rafael Olaechea Velazco, PhD candidate
David R. Cheriton School of Computer Science

Software behavioural models, such as finite state machines, are used as an input to model checking tools to verify that software satisfies its requirements. As constructing such models by hand is time-consuming and error-prone, researchers have developed tools to automatically extract such models from systems’ execution traces. 

Friday, April 27, 2018 — 1:30 PM EDT

Milan Jain, PhD Scholar in Computer Science
Indraprastha Institute of Information Technology Delhi

Monday, April 30, 2018 — 10:00 AM EDT

Bahareh Sarrafzadeh, PhD candidate
David R. Cheriton School of Computer Science

Monday, April 30, 2018 — 1:30 PM EDT

Lesley Istead, PhD candidate
David R. Cheriton School of Computer Science

Wednesday, May 2, 2018 — 1:30 PM EDT

Dimitrios Skrepetos, PhD candidate
David R. Cheriton School of Computer Science

Thursday, May 3, 2018 — 8:30 AM EDT

Andrew Pham, Master’s candidate
David R. Cheriton School of Computer Science

Modern software development workflows are considerably agile, meaning that the work is broken up into individual stories or pieces that are divvied up among the engineers on a team. Each developer is responsible for a certain number of units of work per two-week sprint and must also manage the backlog to make sure that pending features are correctly prioritized, delegated, and removed if necessary. 

Thursday, May 3, 2018 — 11:00 AM EDT

Edward Cheung, PhD candidate
David R. Cheriton School of Computer Science

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