Sumant Kowshik

6 papers and 76 indexed citations i.

Sumant Kowshik has authored 6 papers that have received a total of 76 indexed citations. This includes 4 papers in Artificial Intelligence, 2 papers in Computer Networks and Communications and 2 papers in Computational Theory and Mathematics. The topics of these papers are Security and Verification in Computing (3 papers), Logic, programming, and type systems (3 papers) and Software Testing and Debugging Techniques (2 papers). Sumant Kowshik is often cited by papers focused on Security and Verification in Computing (3 papers), Logic, programming, and type systems (3 papers) and Software Testing and Debugging Techniques (2 papers) and collaborates with scholars based in United States and India. Sumant Kowshik's co-authors include Vikram Adve, Dinakar Dhurjati, Chris Lattner, C. Siva Ram Murthy and Shobha Vasudevan and has published in prestigious journals such as Computer Communications, ACM SIGPLAN Notices and ACM Transactions on Embedded Computing Systems