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

Deep Packet Inspection Using Message Passing Networks. - Divya Jain; K. Vasanta Lakshmi; Priti Shankar (RAID, 2008)

Packet flow analysis in IP networks via abstract interpretation - Raghavan Komondoor; K. Vasanta Lakshmi; Deva P. Seetharam; Sudha Balodia (CoRR, 2011)

Packet flow analysis in IP networks using data-flow analysis. - Raghavan Komondoor; K. Vasanta Lakshmi; Deva P. Seetharam; Sudha Balodia (ISEC, 2012)

Guided test generation for web applications. - Suresh Thummalapenta; K. Vasanta Lakshmi; Saurabh Sinha; Nishant Sinha 001; Satish Chandra 001 (ICSE, 2013)

Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis. - K. Vasanta Lakshmi; Aravind Acharya; Raghavan Komondoor (CoRR, 2013)

Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis. - K. Vasanta Lakshmi; Aravind Acharya; Raghavan Komondoor (FM, 2014)