Home || Research || Publications || Contact || [CV] pdf
I am a PhD student, working under Prof Y.N. Srikant at Dept. of Computer Sceince and Automation, IISc.
My research interests include programming langauges, program analysis, type systems, etc. Broadly I am interested in using language semantics, type systems and program analysis to reason about safety properties of programs. My PhD work involves verifying rich safety properties over complex programs, it is a sweet mix of programming language theory and implementation.
Ashish Mishra and Y. N. Srikant. Analysis and verification of rich typestate properties for complex programs. ECOOP 2017 Doctoral Symposium. June 18, 2017.
Symposium Barcelona, Spain, 2017.'17.
Ashish Mishra and Y. N. Srikant. Beyond-Regular typestate. CoRR, abs/1702.08154,
2017. [Submitted]
A. Mishra, Y. N. Srikant. A π-calculus Modeling of Android Control
Flow Semantics and its Application to Android Static Analysis. This is a journal
version of our MEMOCODE '16 paper with a formal modeling of Android control
flow and soundness results of claims in the paper. [Ongoing work]