Yamini Kannan

According to our database, Yamini Kannan authored at least 2 papers between 2006 and 2008.

Collaborative distances:

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

2008

Universal symbolic execution and its application to likely data structure invariant generation.

Yamini Kannan, Koushik Sen

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2006

SYNERGY: a new algorithm for property checking.

Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006