Madhusudan Parthasarathy

Madhusudan Parthasarathy

Madhusudan Parthasarathy

Associate Professor of Computer Science


Madhusudan Parthasarathy's Website

Research Interests:

Software analysis and verification, Model checking: algorithms and tools, security, logic and automata theory.


Madhusudan Parthasarathy applies formal methods to the development of trustworthy software. The Java Interface Synthesis Tool (JIST) is an example of that work. JIST is a set of automated tools and techniques to synthesize interfaces to Java modules.

Given a Java class file F that offers a set of method calls M, an interface to F is a small set of rules that capture the correct sequences of calls of methods in M. For example, if F is a file-manipulation program, the correct interface could be the set of sequences:

open. (read)*. close

The JIST tool extracts a small interface for a Java class automatically using Boolean abstraction of Java byte code, followed by the solution of games over the Boolean model using state-space exploration heuristics (BDDs, SAT solvers, and so forth).

Parthasarathy holds a Ph.D. in theoretical computer science from the Institute of Mathematical Sciences at the University of Madras, Chennai, India. Prior to joining Illinois in 2004, he was a postdoctoral researcher in the Department of Computer and Information Sciencs at the University of Pennsylvania.