Home

Contact:
K Vasanta Lakshmi
PhD Student
Department of Computer Science and Automation
Indian Institute of Science, Bangalore

Email: kvasanta[at]gmail[dot]com, kvasanta[at]csa[dot]iisc.ernet[dot].in

[Current position: part-time faculty at Department of Computer Science, Dartmouth College, Email: kvasanta[at]dartmouth.edu]

Areas of Interest

  1. Automata Theory  

  2. Automated Verification

  3. Applications of Formal Methods

  4. Program Analysis


Educational Background

  1. PhD (Thesis submitted)

Department of Computer Science and Automation

Indian Institute of Science, Bangalore

Thesis Advisor: Dr. K V Raghavan


  1. MSc Engineering (2002- 2005)

Department of Computer Science and Automation

Indian Institute of Science, Bangalore

Thesis Advisor: Prof. Priti Shankar


  1. Bachelors of Technology (B.Tech) (1997-2001)

Regional Engineering College Warangal (Currently known as NITW)


Publications and Patents

  1. K. Vasanta Lakshmi: Memory Efficient Deep Packet Inspection Using Transition Functions (Poster): International  Conference on Communication Systems and Networks (COMSNETS) 2016

  2. K. Vasanta Lakshmi, Aravind Acharya, and Raghavan Komondoor:Checking Liveness Properties of Presburger Counter Systems using Reachability Analysis. International Symposium on Formal Methods (FM) 2014

  3. Patent(Publication number:US 20140059522 A1): Satish Chandra, Suresh Thummalapenta, Nishant Sinha, Saurabh Sinha, Anand Vaishampayan, Vasanta K Lakshmi : Generating Test Cases for Covering Enterprise Rules and Predicates

  4. Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, and Satish Chandra: Test Generation for Web Applications: A Business Rule Perspective. International Conference on Software Engineering (ICSE) 2013

  5. Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia: Packet flow analysis in IP networks using data-flow analysis. India Software Engineering Conference (ISEC) 2012

  6. Divya Jain, K. Vasanta Lakshmi, Priti Shankar: Deep Packet Inspection Using Message Passing Networks (short paper). Recent Advances in Intrusion Detection(RAID) 2008

  7. K. Vasanta Lakshmi, Deepak Sreedhar, Easwaran Raman, Priti Shankar: Integrating a New Cluster Assignment and Scheduling Algorithm into an Experimental Retargetable Code Generation Framework. High Performance Computing (HiPC) 2005