Computer Science Department
2317 Speedway, M/S D9500
The University of Texas
Austin TX 78712-0233
I am a Ph.D student in the Computer Science Department at The University of Texas at Austin. My advisors are Isil Dillig and Thomas Dillig. In 2013 Fall I studied as a visiting student at Stanford University under the supervision of Saswat Anand and Alex Aiken. Before that I was a Ph.D student at The College of William and Mary.
My interests include software verification, programming languages, static analysis and formal methods. More specifically, I want to build automated tools to guarantee the desired behavior of a system in a sound, precise and scalable way. I am also interested in applying static analysis to build and break systems, tackle security problems in smartphone.
Apposcopy: Semantics-Based Detection of Android Malware
by Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken.
To appear in FSE 2014.
[ PDF ]
S.T.A.M.P: Program Analysis for Android
by Saswat Anand, Manolis Papadakis, Lazaro Clapp, Rahul Sharma, John C. Mitchell, Jason Franklin, Patrick Mutchler, Osbert Bastani, Bryce Cronkite-Ratcliff, Alex Aiken, Aravind Machiry, Xin Zhang, Ravi Mangal, Mayur Naik, Yu Feng, Isil Dillig, Thomas Dillig.
One page poster in I20 Formal Methods Joint PI Meeting, Stevenson, WA, 2013
[ PDF ]
Teaching assistant in the course Programming Languages (Spring 2013), taught by Dr. Thomas Dillig at the College of William and Mary.