Xinan Yan, PhD candidate
David R. Cheriton School of Computer Science
Daniel Recoskie, PhD candidate
David R. Cheriton School of Computer Science
Edward Cheung, PhD candidate
David R. Cheriton School of Computer Science
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.
Dimitrios Skrepetos, PhD candidate
David R. Cheriton School of Computer Science
Lesley Istead, PhD candidate
David R. Cheriton School of Computer Science
Bahareh Sarrafzadeh, PhD candidate
David R. Cheriton School of Computer Science
Milan Jain, PhD Scholar in Computer Science
Indraprastha Institute of Information Technology Delhi
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.
Lisa Elkin, Master’s candidate
David R. Cheriton School of Computer Science
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.
Amir-Hossein Karimi, Master’s candidate
David R. Cheriton School of Computer Science
Chunhao Wang, PhD candidate
David R. Cheriton School of Computer Science
We present a quantum algorithm for simulating the dynamics of Hamiltonians that are not necessarily sparse. Our algorithm is based on the assumption that the entries of the Hamiltonian are stored in a data structure that allows for the efficient preparation of states that encode the rows of the Hamiltonian. We use a linear combination of quantum walks to achieve a poly-logarithmic dependence on the precision.
Chunhao Wang, PhD candidate
David R. Cheriton School of Computer Science
We give a dissipative quantum search algorithm that is based on a novel dissipative query model. If there are $N$ items and $M$ of them are marked, this algorithm performs a fixed-point quantum search using $O(\sqrt{N/M}\log(1/\epsilon))$ queries with error bounded by $\epsilon$. In addition, we present a continuous-time version of this algorithm in terms of Lindblad evolution.
Weicong Ma, Master’s candidate
David R. Cheriton School of Computer Science
Barzan Mozafari, Department of Computer Science and Engineering
University of Michigan
Lei Zou, Institute of Computer Science and Technology
Peking University
Zhucheng Tu, Master’s candidate
David R. Cheriton School of Computer Science
Joel Reardon, Assistant Professor
Department of Computer Science, University of Calgary
Jeff Avery, PhD candidate
David R. Cheriton School of Computer Science
Despite the ubiquity of touch-based input and the availability of increasingly computationally powerful touchscreen devices, there has been comparatively little work on enhancing basic canonical gestures such as swipe-to-pan and pinch-to-zoom.
Anastasia Kuzminykh, PhD candidate
David R. Cheriton School of Computer Science
While technologies exist that are either marketed for or can be adapted to the monitoring of toddlers and school-age children, parents' perspectives on these technologies have received only limited attention.
Rina Wehbe, PhD candidate
David R. Cheriton School of Computer Science
Magnus Madsen
Aalborg University, Denmark
Most software contains bugs, unintended behavior that causes the program to misbehave or crash. Developers wish to avoid bugs, but are easily led astray by the complexity of modern programming languages. How can we help them? A possible solution is to develop program analysis techniques that can automatically reason about the behavior of programs and pinpoint potential problems.
Hicham El-Zein, PhD candidate
David R. Cheriton School of Computer Science
Come support fellow colleague, Rina Wehbe (PhD Candidate, Computer Science) as she examines the effects of gamificiation and Games4Change on behaviour and motivation at the upcming GRADtalks event.