Follow
Dileep Kini
Title
Cited by
Cited by
Year
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
872013
Dynamic race prediction in linear time
D Kini, U Mathur, M Viswanathan
ACM SIGPLAN Notices 52 (6), 157-170, 2017
622017
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
612015
Flashnormalize: Programming by examples for text normalization
D Kini, S Gulwani
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
402015
Using non-convex approximations for efficient analysis of timed automata
F Herbreteau, D Kini, B Srivathsan, I Walukiewicz
arXiv preprint arXiv:1110.3704, 2011
292011
Using non-convex approximations for efficient analysis of timed automata
F Herbreteau, D Kini, B Srivathsan, I Walukiewicz
arXiv preprint arXiv:1110.3704, 2011
292011
Limit Deterministic and Probabilistic Automata for LTL∖ GU
D Kini, M Viswanathan
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
242015
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
212018
Optimal translation of LTL to limit deterministic automata
D Kini, M Viswanathan
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
152017
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
142011
Data race detection on compressed traces
D Kini, U Mathur, M Viswanathan
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
122018
Decidable problems for unary PFAs
R Chadha, D Kini, M Viswanathan
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014
112014
Quantitative information flow in boolean programs
R Chadha, D Kini, M Viswanathan
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
72014
Complexity of model checking MDPs against LTL specifications
D Kini, M Viswanathan
37th IARCS Annual Conference on Foundations of Software Technology and …, 2018
32018
Probabilistic Büchi automata for LTL\GU
D Kini, M Viswanathan
32015
Probabilistic automata for safety LTL specifications
D Kini, M Viswanathan
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
32014
What Happens-after the First Race
U Mathur, D Kini, M Viswanathan
Enhancing the Predictive Power of Happens-before Based Dynamic Race …, 2018
22018
Verification of Linear-time Properties for Finite Probabilistic Systems
DR Kini
University of Illinois at Urbana-Champaign, 2017
12017
On Construction of Safety Signal Automata for Using Temporal Projections
DR Kini, SN Krishna, PK Pandya
Formal Modeling and Analysis of Timed Systems, 0
The system can't perform the operation now. Try again later.
Articles 1–19