| Code obfuscation against symbolic execution attacks S Banescu, C Collberg, V Ganesh, Z Newsham, A Pretschner Proceedings of the 32nd Annual Conference on Computer Security Applications …, 2016 | 109 | 2016 |
| Impact of community structure on SAT solver performance Z Newsham, V Ganesh, S Fischmeister, G Audemard, L Simon International Conference on Theory and Applications of Satisfiability …, 2014 | 69 | 2014 |
| SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers KC Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian ... Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015 | 15* | 2015 |
| A propagation rate based splitting heuristic for divide-and-conquer solvers S Nejati, Z Newsham, J Scott, JH Liang, C Gebotys, P Poupart, V Ganesh International Conference on Theory and Applications of Satisfiability …, 2017 | 13 | 2017 |
| Predicting SAT solver performance on heterogeneous hardware Z Newsham, V Ganesh, S Fischmeister Proceedings of Pragmatics of SAT 59, 18-33, 2019 | 1 | 2019 |
| Intersert: assertions on distributed process interaction sessions Z Newsham, AB De Oliveira, JC Petkovich, ASU Rehman, ... 2017 IEEE International Conference on Software Quality, Reliability and …, 2017 | 1 | 2017 |
| An Analysis of the Effect of Community Structure on SAT Solver Performance Z Newsham University of Waterloo, 2015 | | 2015 |
| CPSNA 2014 List of Additional Reviewers F Pacheco, G Carjaval, N Kumar, S Ullah, Z Newsham, R Babae | | |
Vijay GaneshAssociate Professor, University of Waterloo, Ontario, CanadaVerified email at uwaterloo.ca
