MPhil in Computer Science & Engg - Parameterized Algorithms for Scalable Interprocedural Data-flow Analysis