K. Vasanta Lakshmi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2005–2014
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | FM | Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis. | K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor |
| 2013 | ICSE | Guided test generation for web applications. | Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra |
| 2008 | RAID | Deep Packet Inspection Using Message Passing Networks. | Divya Jain, K. Vasanta Lakshmi, Priti Shankar |
| 2005 | HiPC | Integrating a New Cluster Assignment and Scheduling Algorithm into an Experimental Retargetable Code Generation Framework. | K. Vasanta Lakshmi, Deepak Sreedhar, Easwaran Raman, Priti Shankar |