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 PhD candidate 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.


Publications

Dynamic Race Prediction in Linear Time. [PDF]
Dileep Kini, Umang Mathur, Mahesh Viswanathan @ PLDI 2017

Optimal Translation of LTL to Limit Deterministic Automata. [PDF]
Dileep Kini, Mahesh Viswanathan @ TACAS 2017

FlashNormalize: Programming by Examples for Text Normalization. [PDF]
Dileep Kini, Sumit Gulwani @ IJCAI 2015

How Can Automatic Feedback Help Students Construct Automata? [Live]
Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann @ TOCHI 2015

Probabilistic Büchi Automata for LTL\GU. [PDF]
Dileep Kini, Mahesh Viswanathan @ TACAS 2015

Decidable Problems for Unary PFAs. [PDF]
Rohit Chadha, Dileep Kini, Mahesh Viswanathan @ QEST 2014

Probabilistic Automata for Safety LTL Specifications. [PDF, Slides]
Dileep Kini, Mahehsh Viswanathan @ VMCAI 2014

Quantitative Information Flow in Boolean Programs. [PDF, Slides]
Rohit Chadha, Dileep Kini, Mahesh Viswanathan @ POST 2014

Automated Grading of DFA Constructions. [PDF]
Rajeev Alur, Loris D’Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan @ IJCAI 2013

Using non-convex Approximations for Efficient Analysis of Timed Automata. [PDF]
Frederic Herbreteau, Dileep Kini, B Srivathsan, Igor Walukiewicz @ FSTTCS 2011

On Construction of Safety Signal Automata for MITL[U, S]. [PDF]
Dileep Kini, S Krishna, Paritosh Pandya @ FORMATS 2011


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

Last updated: February 2017