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
105 2013 Dynamic race prediction in linear time D Kini, U Mathur, M Viswanathan
ACM SIGPLAN Notices 52 (6), 157-170, 2017
79 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
72 2015 Flashnormalize: Programming by examples for text normalization D Kini, S Gulwani
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
39 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
36 2018 Using non-convex approximations for efficient analysis of timed automata F Herbreteau, D Kini, B Srivathsan, I Walukiewicz
arXiv preprint arXiv:1110.3704, 2011
30 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
30 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
28 2015 Optimal translation of LTL to limit deterministic automata D Kini, M Viswanathan
International Conference on Tools and Algorithms for the Construction and …, 2017
17 2017 Data race detection on compressed traces D Kini, U Mathur, M Viswanathan
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
15 2018 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