On Construction of Safety Signal Automata for $MITL[ : mathcal{U}, : mathcal{S}]$ Using Temporal Projections. - Dileep Raghunath Kini; Shankara Narayanan Krishna; Paritosh K. Pandya (FORMATS, 2011)

Using non-convex approximations for efficient analysis of timed automata. - Frédéric Herbreteau; Dileep Kini; B. Srivathsan; Igor Walukiewicz (FSTTCS, 2011)

Automated Grading of DFA Constructions. - Rajeev Alur; Loris D'Antoni; Sumit Gulwani; Dileep Kini; Mahesh Viswanathan 001 (IJCAI, 2013)

Quantitative Information Flow in Boolean Programs. - Rohit Chadha; Dileep Kini; Mahesh Viswanathan 001 (POST, 2014)

Decidable Problems for Unary PFAs. - Rohit Chadha; Dileep Kini; Mahesh Viswanathan 001 (QEST, 2014)

Probabilistic Automata for Safety LTL Specifications. - Dileep Kini; Mahesh Viswanathan 001 (VMCAI, 2014)

FlashNormalize: Programming by Examples for Text Normalization. - Dileep Kini; Sumit Gulwani (IJCAI, 2015)

Limit Deterministic and Probabilistic Automata for LTL ∖ GU. - Dileep Kini; Mahesh Viswanathan 001 (TACAS, 2015)

How Can Automatic Feedback Help Students Construct Automata? - Loris D'Antoni; Dileep Kini; Rajeev Alur; Sumit Gulwani; Mahesh Viswanathan 001; Björn Hartmann (ACM Trans. Comput. Hum. Interact., 2015)

Complexity of Model Checking MDPs against LTL Specifications. - Dileep Kini; Mahesh Viswanathan 001 (FSTTCS, 2017)

Dynamic race prediction in linear time. - Dileep Kini; Umang Mathur 001; Mahesh Viswanathan 001 (PLDI, 2017)

Optimal Translation of LTL to Limit Deterministic Automata. - Dileep Kini; Mahesh Viswanathan 001 (TACAS (2), 2017)

Verification of linear-time properties for finite probabilistic systems - Dileep Raghunath Kini (2017)

Data race detection on compressed traces. - Dileep Kini; Umang Mathur 001; Mahesh Viswanathan 001 (ESEC/SIGSOFT FSE, 2018)

What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection. - Umang Mathur 001; Dileep Kini; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2018)