Zack Newsham

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 4

Top Topics

Propositional Satisfiability

Symbolic Execution

Top Venues

Publications

Zack Newsham, Vijay Ganesh, Sebastian Fischmeister
Predicting SAT Solver Performance on Heterogeneous Hardware. POS@SAT (2018)
Zack Newsham, Augusto Born de Oliveira, Jean-Christophe Petkovich, Ahmad Saif Ur Rehman, Guy Martin Tchamgoue, Sebastian Fischmeister
Intersert: Assertions on Distributed Process Interaction Sessions. QRS (2017)
Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh
A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. SAT (2017)
Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner
Code obfuscation against symbolic execution attacks. ACSAC (2016)
Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. SAT (2015)
Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon
Impact of Community Structure on SAT Solver Performance. SAT (2014)