| Automated grading of DFA constructions R Alur, L D’Antoni, S Gulwani, D Kini IJCAI'13 Proceedings of the Twenty-Third international joint conference on …, 2013 | 87 | 2013 |
| Dynamic race prediction in linear time D Kini, U Mathur, M Viswanathan ACM SIGPLAN Notices 52 (6), 157-170, 2017 | 62 | 2017 |
| How can automatic feedback help students construct automata? L D'antoni, D Kini, R Alur, S Gulwani, M Viswanathan, B Hartmann ACM Transactions on Computer-Human Interaction (TOCHI) 22 (2), 1-24, 2015 | 61 | 2015 |
| Flashnormalize: Programming by examples for text normalization D Kini, S Gulwani Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 40 | 2015 |
| Using non-convex approximations for efficient analysis of timed automata F Herbreteau, D Kini, B Srivathsan, I Walukiewicz arXiv preprint arXiv:1110.3704, 2011 | 29 | 2011 |
| Using non-convex approximations for efficient analysis of timed automata F Herbreteau, D Kini, B Srivathsan, I Walukiewicz arXiv preprint arXiv:1110.3704, 2011 | 29 | 2011 |
| Limit Deterministic and Probabilistic Automata for LTL∖ GU D Kini, M Viswanathan Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 24 | 2015 |
| What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection U Mathur, D Kini, M Viswanathan Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018 | 21 | 2018 |
| Optimal translation of LTL to limit deterministic automata D Kini, M Viswanathan Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 15 | 2017 |
| On Construction of Safety Signal Automata for Using Temporal Projections DR Kini, SN Krishna, PK Pandya Formal Modeling and Analysis of Timed Systems: 9th International Conference …, 2011 | 14 | 2011 |
| Data race detection on compressed traces D Kini, U Mathur, M Viswanathan Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 12 | 2018 |
| Decidable problems for unary PFAs R Chadha, D Kini, M Viswanathan Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014 | 11 | 2014 |
| Quantitative information flow in boolean programs R Chadha, D Kini, M Viswanathan Principles of Security and Trust: Third International Conference, POST 2014 …, 2014 | 7 | 2014 |
| Complexity of model checking MDPs against LTL specifications D Kini, M Viswanathan 37th IARCS Annual Conference on Foundations of Software Technology and …, 2018 | 3 | 2018 |
| Probabilistic Büchi automata for LTL\GU D Kini, M Viswanathan | 3 | 2015 |
| Probabilistic automata for safety LTL specifications D Kini, M Viswanathan Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 3 | 2014 |
| What Happens-after the First Race U Mathur, D Kini, M Viswanathan Enhancing the Predictive Power of Happens-before Based Dynamic Race …, 2018 | 2 | 2018 |
| Verification of Linear-time Properties for Finite Probabilistic Systems DR Kini University of Illinois at Urbana-Champaign, 2017 | 1 | 2017 |
| On Construction of Safety Signal Automata for Using Temporal Projections DR Kini, SN Krishna, PK Pandya Formal Modeling and Analysis of Timed Systems, 0 | | |
