Atulan Zaman

According to our database, Atulan Zaman authored at least 3 papers between 2015 and 2017.

Collaborative distances:

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

2017

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

Proceedings of the 30th IEEE Canadian Conference on Electrical and Computer Engineering, 2017

2016

Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis.

Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside

Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016

2015

Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.

Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki

Proceedings of the Hardware and Software: Verification and Testing, 2015