Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep Meel.
Knowledge Compilation meets Uniform Sampling.
In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR),
Karthik, Murthy, Sri Raj, Paul, Kuldeep S. Meel, Tiago Cogumbreiro, John Mellor-Crummey.
Design and Verification of Distributed Phasers.
In Proceedings of International European Conference on Parallel and Distributed Computing (Euro-Par),