Nabiha Asghar, PhD candidate
David R. Cheriton School of Computer Science
Jade Marcoux-Ouellet, Master’s candidate
David R. Cheriton School of Computer Science
Ali Abbassi, Master’s candidate
David R. Cheriton School of Computer Science
We present a variety of translation options for converting Alloy to SMT-LIB via Alloy’s Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational operations of Alloy into their equivalent in typed first order logic (TFOL).
Joseph Haraldson, PhD candidate
David R. Cheriton School of Computer Science
We consider the problem of computing the nearest matrix polynomial with a non-trivial Smith Normal Form (SNF). This is a non-convex optimization problem where we find a nearby matrix polynomial with prescribed eigenvalues and associated multiplicity structure in the invariant factors.
Si Chuang Li, Master’s candidate
David R. Cheriton School of Computer Science
Noah Murad, Master’s candidate
David R. Cheriton School of Computer Science
Anthony Anthony, Master’s candidate
David R. Cheriton School of Computer Science
Verena Kantere
School of Electrical Engineering and Computer Science, University of Ottawa
Big Data analytics in science and industry are performed on a range of heterogeneous data stores, both traditional and modern, and on a diversity of query engines. Workflows are difficult to design and implement since they span a variety of systems. To reduce development time and processing costs, some automation is needed.
Christian Gorenflo, PhD candidate
David R. Cheriton School of Computer Science
Blockchain technologies are expected to make a significant impact on a variety of industries. However, one issue holding them back is their limited transaction throughput, especially compared to established solutions such as distributed database systems.
Jose Serna, Master’s candidate
David R. Cheriton School of Computer Science