Zack Newsham

According to our database, Zack Newsham authored at least 6 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Predicting SAT Solver Performance on Heterogeneous Hardware.

Zack Newsham, Vijay Ganesh, Sebastian Fischmeister

Proceedings of Pragmatics of SAT 2015, 2018

2017

A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers.

Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Intersert: Assertions on Distributed Process Interaction Sessions.

Zack Newsham, Augusto Born de Oliveira, Jean-Christophe Petkovich, Ahmad Saif Ur Rehman, Guy Martin Tchamgoue, Sebastian Fischmeister

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016

Code obfuscation against symbolic execution attacks.

Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner

Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016

2015

SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers.

Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

2014

Impact of Community Structure on SAT Solver Performance.

Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014