Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. - Jia Hui Liang; Vijay Ganesh 001; Ed Zulkoski; Atulan Zaman; Krzysztof Czarnecki 001 (Haifa Verification Conference, 2015)

Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis. - Murphy Berzish; Asif Khan; Atulan Zaman; Vijay Ganesh 001; Derek Rayside (CASCON, 2016)

Manifold 2.0: A hardware description language for microfluidic devices. - Nicholas Klassen; Michael Lyons; Michael Prysiazny; Paul Roth; Peter Socha; Murphy Berzish; Atulan Zaman; Derek Rayside (CCECE, 2017)