Please note: This master’s thesis presentation will be given online.
Dimcho Karakashev, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Pranjal Gupta, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Alistair Hackett, Master’s candidate
David R. Cheriton School of Computer Science
We present TreeGen, an impure functional language designed to express, consume, and validate JSON-like documents, as well as generate text files. The language aims to provide a more reliable and flexible way to create customised Interface Definition Languages, since the current state of the art is implemented via monolithic, ad-hoc codebases which cannot easily be modified.
Please note: This PhD seminar will be given online.
Reza Adhitya Saputra, PhD candidate
David R. Cheriton School of Computer Science
We present AnimationPak, a technique to create animated packings by arranging animated two-dimensional elements inside a static container. We represent animated elements in a three-dimensional spacetime domain, and view the animated packing problem as a three-dimensional packing in that domain. Every element is represented as a discretized spacetime mesh.
Please note: This master’s thesis presentation will be given online.
Kin Pong (Kenny) Fung, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Ahmadreza Jeddi, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Vikash Balasubramanian, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Qingnan Duan, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Gaurav Sahu, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This PhD defence will be given online.
Pavel Valov, PhD candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Daniel Tamming, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Wei Sun, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Jeremy Chen, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Xinan Yan, PhD candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Davood Anbarnam, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This PhD defence will be given online.
Anastasia Kuzminykh, PhD candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Steven Engler, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This PhD defence will be given online.
Nashid Shahriar, PhD candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Dhruv Kumar, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Chelsea Komlo, Master’s candidate
David R. Cheriton School of Computer Science
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.
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$.
Please note: This PhD seminar will be given online.
Ershad Banijamali, PhD candidate
David R. Cheriton School of Computer Science
Please note: This master’s thesis presentation will be given online.
Achyudh Ram, Master’s candidate
David R. Cheriton School of Computer Science
Please note: This seminar will be given online.
Amit Sinhababu
Aalen University, Germany