SPLASH 2015 (series) / Pallavi Maiya
![Pallavi Maiya](https://2015.splashcon.org/getProfileImage/pallavimaiya/0437b4b7-e016-4f5f-ab0c-8263a45f6213/small.jpg?1711562168000)
Registered user since Tue 17 Mar 2015
Name:Pallavi Maiya
Country:India
Affiliation:Indian Institute of Science, Bangalore
Personal website: http://clweb.csa.iisc.ernet.in/pallavi.maiya/
Research interests:Program Analysis, Formal Verification
Contributions
SPLASH 2015-profile
View general profile
View general profile