Master’s Thesis Presentation • Formal Methods • Profiling Alloy Models
Please note: This master’s thesis presentation will be given online.
Elias Eid, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Nancy Day
Elias Eid, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Nancy Day
Rafael Olaechea, PhD candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Joanne Atlee, Krzysztof Czarnecki
Vijay Menon, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Kate Larson
Xinan Yan, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Bernard Wong
Cameron Seth, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Eric Blais
The GapDensest-k-Subgraph(d) problem (GapDkS(d)) is defined as follows: given a graph G and parameters k,d, distinguish between the case that G contains a k-clique, and the case that every k-subgraph of G has density at most d.
Gaetano Coccimiglio, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Trevor Brown
Anubhav Srivastava, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Trevor Brown
The ordered dictionary is one of the most fundamental abstract data types. It stores a set of key-value pairs, and supports operations to insert, remove and retrieve key-value pairs. It can also support range query operations.
Yangtian Zi, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Gregor Richards
Micheal Friesen, Master’s candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Ali Mashtizadeh, Omid Abari
Chengxi Luo, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Charles Clarke