Master’s Thesis Presentation • Artificial Intelligence — Exploring New Forms of Random Projections for Prediction and Dimensionality Reduction in Big-Data Regimes
Amir-Hossein Karimi, Master’s candidate
David R. Cheriton School of Computer Science
Amir-Hossein Karimi, Master’s candidate
David R. Cheriton School of Computer Science
Lisa Elkin, Master’s candidate
David R. Cheriton School of Computer Science
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.
Milan Jain, PhD Scholar in Computer Science
Indraprastha Institute of Information Technology Delhi
Bahareh Sarrafzadeh, PhD candidate
David R. Cheriton School of Computer Science
Lesley Istead, PhD candidate
David R. Cheriton School of Computer Science
Dimitrios Skrepetos, 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.
Edward Cheung, PhD candidate
David R. Cheriton School of Computer Science
Daniel Recoskie, PhD candidate
David R. Cheriton School of Computer Science