Dileep Kini

17 papers A* 3A 1B 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2018 J jnl
Data Race Detection on Compressed Traces.
CoRR
Dileep Kini, Umang Mathur, Mahesh Viswanathan
2018 — conf
Data race detection on compressed traces.
ESEC/SIGSOFT FSE
Dileep Kini, Umang Mathur, Mahesh Viswanathan
2018 J jnl
What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection.
CoRR
Umang Mathur, Dileep Kini, Mahesh Viswanathan
2018 J jnl
What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection.
Proc. ACM Program. Lang.
Umang Mathur, Dileep Kini, Mahesh Viswanathan
2017 — conf
Complexity of Model Checking MDPs against LTL Specifications.
FSTTCS
Dileep Kini, Mahesh Viswanathan
2017 J jnl
Dynamic Race Prediction in Linear Time.
CoRR
Dileep Kini, Umang Mathur, Mahesh Viswanathan
2017 A* conf
Dynamic race prediction in linear time.
PLDI
Dileep Kini, Umang Mathur, Mahesh Viswanathan
2017 — conf
Optimal Translation of LTL to Limit Deterministic Automata.
TACAS (2)
Dileep Kini, Mahesh Viswanathan
2015 A* conf
FlashNormalize: Programming by Examples for Text Normalization.
IJCAI
Dileep Kini, Sumit Gulwani
2015 J jnl
How Can Automatic Feedback Help Students Construct Automata?
ACM Trans. Comput. Hum. Interact.
Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
2015 A conf
Limit Deterministic and Probabilistic Automata for LTL ∖ GU.
TACAS
Dileep Kini, Mahesh Viswanathan
2014 — conf
Decidable Problems for Unary PFAs.
QEST
Rohit Chadha, Dileep Kini, Mahesh Viswanathan
2014 B conf
Probabilistic Automata for Safety LTL Specifications.
VMCAI
Dileep Kini, Mahesh Viswanathan
2014 — conf
Quantitative Information Flow in Boolean Programs.
POST
Rohit Chadha, Dileep Kini, Mahesh Viswanathan
2013 A* conf
Automated Grading of DFA Constructions.
IJCAI
Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
2011 J jnl
Using non-convex approximations for efficient analysis of timed automata
CoRR
Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz
2011 — conf
Using non-convex approximations for efficient analysis of timed automata.
FSTTCS
Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz