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 third 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 include probabilisitic systems, program synthesis, computer-aided education and computer security.


Publications

Decidable Problems for Unary PFAs, QEST 2014
with R Chadha, M Viswanathan

Probabilistic Automata for Safety LTL Specifications, VMCAI 2014
with M Viswanathan

Quantitative Information Flow in Boolean Programs, POST 2014
with R Chadha, M Viswanathan

Automated Grading of DFA Constructions, IJCAI 2013
with R Alur, L D’Antoni, S Gulwani, M Viswanathan

Using non-convex Approximations for Efficient Analysis of Timed Automata, FSTTCS 2011 
with F Herbreteau, B Srivathsan, I Walukiewicz

On Construction of Safety Signal Automata for MITL[U,S]FORMATS 2011
with S Krishna, P Pandya


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

Last updated: January 2014