| 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 | 107 | 2013 |
| Dynamic race prediction in linear time D Kini, U Mathur, M Viswanathan ACM SIGPLAN Notices 52 (6), 157-170, 2017 | 83 | 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 | 71 | 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 | 39 | 2018 |
| Flashnormalize: Programming by examples for text normalization D Kini, S Gulwani Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 39 | 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 | 31 | 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 | 27 | 2015 |
| Data race detection on compressed traces D Kini, U Mathur, M Viswanathan Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 16 | 2018 |
| Optimal translation of LTL to limit deterministic automata D Kini, M Viswanathan International Conference on Tools and Algorithms for the Construction and …, 2017 | 16 | 2017 |
| On Construction of Safety Signal Automata for Using Temporal Projections DR Kini, SN Krishna, PK Pandya International Conference on Formal Modeling and Analysis of Timed Systems …, 2011 | 14 | 2011 |
| Decidable problems for unary PFAs R Chadha, D Kini, M Viswanathan International Conference on Quantitative Evaluation of Systems, 329-344, 2014 | 10 | 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 |
| Probabilistic Büchi automata for LTL\GU D Kini, M Viswanathan | 3 | 2015 |
| Probabilistic automata for safety LTL specifications D Kini, M Viswanathan International Conference on Verification, Model Checking, and Abstract …, 2014 | 3 | 2014 |
| Complexity of model checking MDPs against LTL specifications D Kini, M Viswanathan 37th IARCS Annual Conference on Foundations of Software Technology and …, 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 | | |
