Impact of Community Structure on SAT Solver Performance. - Zack Newsham; Vijay Ganesh 001; Sebastian Fischmeister; Gilles Audemard; Laurent Simon 001 (SAT, 2014)

SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. - Zack Newsham; William Lindsay; Vijay Ganesh 001; Jia Hui Liang; Sebastian Fischmeister; Krzysztof Czarnecki 001 (SAT, 2015)

Code obfuscation against symbolic execution attacks. - Sebastian Banescu; Christian S. Collberg; Vijay Ganesh 001; Zack Newsham; Alexander Pretschner (ACSAC, 2016)

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 (QRS, 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 001 (SAT, 2017)

Predicting SAT Solver Performance on Heterogeneous Hardware. - Zack Newsham; Vijay Ganesh 001; Sebastian Fischmeister (POS@SAT, 2018)