Kini, Dileep

2 publications

IJCAI 2015 FlashNormalize: Programming by Examples for Text Normalization Dileep Kini, Sumit Gulwani

IJCAI 2013 Automated Grading of DFA Constructions Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan