Sujatha Kashyap

According to our database, Sujatha Kashyap authored at least 4 papers between 2005 and 2018.

Collaborative distances:

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

2018

SimplerVoice: A Key Message & Visual Description Generator System for Illiteracy.

Minh N. B. Nguyen, Samuel Thomas, Anne E. Gattiker, Sujatha Kashyap, Kush R. Varshney

CoRR, 2018

2008

Producing Short Counterexamples Using "Crucial Events".

Sujatha Kashyap, Vijay K. Garg

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2005

Intractability results in predicate detection.

Sujatha Kashyap, Vijay K. Garg

Inf. Process. Lett., 2005

Exploiting predicate structure for efficient reachability detection.

Sujatha Kashyap, Vijay K. Garg

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005