Name:Shashin Halalingaiah

Country:United States

Affiliation:UT Austin, IIT Madras

Research interests:Programming Languages, Program Verification, Compilers, System Security