Graduated (MASc), 2017

Short Biography

Zack NewshamI studied for my B.Sc in Software Engineering at the University of Glamorgan, for which I received a first in 2012. I am currently undertaking an M.ASc in Computer Science. My research interests are primarily in distributed and parallel systems, as well as cryptography.

Zack Newsham is co-supervised with Vijay Ganesh.

Affiliation: 
University of Waterloo

Publications with this group

2017

Newsham, Z., A. Oliveira, JC. Petkovich, A. Rehman, G.M. Tchamgoue, and S. Fischmeister, "Intersert: Assertions on Distributed Process Interaction Sessions", IEEE International Conference on Software Quality, Reliability & Security (QRS), Prague, Czech Republic, 2017. PDF icon [pdf] (515.11 KB)

2015

Newsham, Z., VI. Ganesh, and S. Fischmeister, "Predicting SAT Solver Performance on Heterogeneous Hardware", Proceedings of the Workshop on the Pragmatics of SAT at the International Conference on Theory and Applications of Satisfiability Testing (SAT), Austin, USA, 2015. PDF icon [pdf] (484.14 KB)
Newsham, Z., W. Lindsay, VI. Ganesh, J. Hui Liang, S. Fischmeister, and K. Czarnecki, "SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers", International Conference on Theory and Applications of Satisfiability Testing (SAT), Austin, USA, Springer, 62 - 70, 2015. PDF icon [pdf] (2.17 MB)

2014

Newsham, Z., VI. Ganesh, S. Fischmeister, G. Audemard, and L. Simon, "Impact of Community Structure on SAT Solver Performance", 17th International Conference on Theory and Applications of Satisfiability Testing (SAT), Vienna, Austria, pp. 252-268, 2014. PDF icon [paper] (1.66 MB)

(best student paper award)