Adhish Singla

According to our database, Adhish Singla authored at least 2 papers between 2016 and 2020.

Collaborative distances:

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

2020

Model Checking as a Service using Dynamic Resource Scaling.

Surya Teja Palavalasa, Yuvraj Singh, Adhish Singla, Suresh Purini, Venkatesh Choppella

Proceedings of the 27th IEEE International Conference on High Performance Computing, 2020

2016

Distributed Safety Verification Using Vertex Centric Programming Model.

Adhish Singla, Krishnaji Desai, Suresh Purini, Venkatesh Choppella

Proceedings of the 15th International Symposium on Parallel and Distributed Computing, 2016