Dileep Kini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2013–2017
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | PLDI | Dynamic race prediction in linear time. | Dileep Kini, Umang Mathur, Mahesh Viswanathan |
| 2017 | TACAS | Optimal Translation of LTL to Limit Deterministic Automata. | Dileep Kini, Mahesh Viswanathan |
| 2015 | IJCAI | FlashNormalize: Programming by Examples for Text Normalization. | Dileep Kini, Sumit Gulwani |
| 2015 | TACAS | Limit Deterministic and Probabilistic Automata for LTL ∖ GU. | Dileep Kini, Mahesh Viswanathan |
| 2014 | VMCAI | Probabilistic Automata for Safety LTL Specifications. | Dileep Kini, Mahesh Viswanathan |
| 2013 | IJCAI | Automated Grading of DFA Constructions. | Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan |