Zack Newsham
Title
Cited by
Cited by
Year
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
922016
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
682014
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
132017
Predicting SAT solver performance on heterogeneous hardware
Z Newsham, V Ganesh, S Fischmeister
Proceedings of Pragmatics of SAT 59, 18-33, 2019
12019
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
12017
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
The system can't perform the operation now. Try again later.
Articles 1–8