Travelled to:2 × USA
Collaborated with:K.Sen B.S.Gulavani T.A.Henzinger A.V.Nori S.K.Rajamani
Talks about:algorithm (1) structur (1) properti (1) univers (1) synergi (1) generat (1) symbol (1) invari (1) execut (1) applic (1)
Person: Yamini Kannan
DBLP: Kannan:Yamini
Contributed to:
2008
2006Wrote 2 papers:
- ISSTA-2008-KannanS #data type #execution #generative #invariant #symbolic computation
- Universal symbolic execution and its application to likely data structure invariant generation (YK, KS), pp. 283–294.
- FSE-2006-GulavaniHKNR #algorithm #named
- SYNERGY: a new algorithm for property checking (BSG, TAH, YK, AVN, SKR), pp. 117–127.