Madhusudan Parthasarathy

Ph.D. University of Madras, 2002

Research Statement

Software Analysis:

• Analysis of recusive models of program See Getafix: A Boolean program checker
• Analysis of heaps in programs using automata
• Compositional verification using algorithmic learning
• Synthesizing formal interfaces for software modules using games and learning (JIST)

Concurrency:

• Member of UPCRC (MS-Intel supported research team to make parallel programming easy)
• Notions of atomicity for concurrent programs
• Analyzing concurrent recursive models

Security:

• Preventing script-injection attacks in web applications

Automata and logics:

• Visibly pushdown automata / Automata on nested words
• Expressive logics and algorithms for models of programs with recursion: Caret, visibly pushdown mu-calculus
• Model-checking infinite graphs
• Automata models for XML