My past research engagements have been generally in the area of developing semi-automated techniques and tools for aiding program understanding, validation, and evolution. I have also taught and engaged with industry in the area of cloud-based scalable application development and deployment.
I have expertise for carrying out consultancy engagements in the following areas regarding software design and development: Formal-methods based software design techniques, and associated tools such as Alloy (from MIT), and the model-checker Spin. Code review and code validation techniques based on static analysis, and associated tools such as Wala (from IBM), Soot, and CodeSonar. Code verification techniques based on logical methods and theorem proving, and associated tools such as Microsoft VCC. Automated test-input generation techniques -- black box, white box (based on symbolic execution), and grey box (based on lightweight dynamic analysis), and associated tools such as Java Pathfinder, Visual Studio Intellitest, and AFL (American Fuzzy Lop).
I have expertise for carrying out consultancy engagements in development and deployment of cloud-based scalable applications involving the following technologies: Spring Boot (for Java), Microservices (language agnostic), Kubernetes, Akka (actor-based programming), Spark.
My past and ongoing industry engagements are listed below.
1. | Consultancy engagement with Sirpi (www.sirpi.io) on development and deployment of scalable, cloud-native applications. | 2025 |
2. | Sponsored project with IBM-IISc Hybrid Cloud Center on analysis and verification of cloud-native distributed applications. | 2021-23 |
3. | Consultancy project with Flytxt Mobile Solutions (www.flytxt.com) for its adoption of state-of-the-art software analysis tools and associated processes that enhance manageability and reliability of its software. | 2018 |
4. |
Sponsored project with Tata Consultancy Services Ltd. Topic: Mining business rules from legacy applications |
2016-19 |
5. |
Sponsored project with Nucleus Software Exports Ltd. Topic: Program understanding tools for database-centric applications |
2015-17 |
6. | Research grant from Microsoft Research India | 2009,2013 |
7. |
Consultancy project with Tarang Ltd. |
2013 |
8. | Sponsored project with ISRO - IISc Space Technology Cell | 2012-2013 |
9. |
Sponsored project with Infosys Ltd. Topic: Mining services from legacy applications |
2010-2012 |
10. | Faculty Award from IBM Research India | 2008 |
11. | Advising part-time PhD students from Infosys Ltd., TCS Ltd., and Indian Space Research Organization (ISRO). |