Travelled to:
1 × India
Collaborated with:
A.Kanade V.Tulsian A.Orso A.Santhiar S.Gulwani
Talks about:
hint (2) synthesi (1) supervis (1) feedback (1) generat (1) verifi (1) repair (1) autom (1) semi (1) mint (1)
Person: Shalini Kaleeswaran
DBLP: Kaleeswaran:Shalini
Contributed to:
Wrote 2 papers:
- ICSE-2014-KaleeswaranTKO #automation #named #synthesis
- MintHint: automated synthesis of repair hints (SK, VT, AK, AO), pp. 266–276.
- FSE-2016-KaleeswaranSKG #feedback #generative
- Semi-supervised verified feedback generation (SK, AS, AK, SG), pp. 739–750.