Zack Newsham
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2014–2018
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | SAT | Predicting SAT Solver Performance on Heterogeneous Hardware. | Zack Newsham, Vijay Ganesh, Sebastian Fischmeister |
| 2017 | QRS | 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 |
| 2017 | SAT | 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 |
| 2016 | ACSAC | Code obfuscation against symbolic execution attacks. | Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner |
| 2015 | SAT | SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. | Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki |
| 2014 | SAT | Impact of Community Structure on SAT Solver Performance. | Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon |