Dileep Kini

Dept of Computer Science
University of Illinois at Urbana Champaign
Office: 3301 Siebel Center, 201 N Goodwin Ave, Urbana, IL 61801

E-Mail :

I am a fourth year PhD student in the Computer Science department at the University of Illinois at Urbana-Champaign advised by Mahesh Viswanathan.

I work in the area of formal methods, my interests span probabilisitic systems, program synthesis, computer-aided education and computer security.


FlashNormalize: Programming by Examples for Text Normalization
Dileep Kini, Sumit Gulwani
24th Intl. Joint Conf. on Artificial Intelligence (IJCAI) 2015

How Can Automatic Feedback Help Students Construct Automata?
Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
ACM Transactions on Computer-Human Interaction (ACM TOCHI) 2015

Probabilistic Büchi Automata for LTL\GU. [PDF]
Dileep Kini, Mahesh Viswanathan
21st Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2015

Decidable Problems for Unary PFAs. [PDF]
Rohit Chadha, Dileep Kini, Mahesh Viswanathan
11th Intl. Conf. on Quantitative Evaluation of SysTems (QEST) 2014

Probabilistic Automata for Safety LTL Specifications. [PDF, Slides]
Dileep Kini, Mahehsh Viswanathan
15th Intl. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI) 2014

Quantitative Information Flow in Boolean Programs. [PDF, Slides]
Rohit Chadha, Dileep Kini, Mahesh Viswanathan
3rd Conf. on Principles of Security and Trust (POST) 2014

Automated Grading of DFA Constructions. [PDF]
Rajeev Alur, Loris D’Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
23rd Intl. Joint Conf. on Artificial Intelligence (IJCAI) 2013

Using non-convex Approximations for Efficient Analysis of Timed Automata. [PDF]
Frederic Herbreteau, Dileep Kini, B Srivathsan, Igor Walukiewicz
IARCS Annual Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2011

On Construction of Safety Signal Automata for MITL[U, S]. [PDF]
Dileep Kini, S Krishna, Paritosh Pandya
9th Intl. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS) 2011

Using non-convex abstractions for efficient analysis of timed automata 
FM Seminar - UIUC (April 2012)

Last updated: January 2014