Anushri Jana

Title: Anushri Jana: Innovator in Incremental Analysis and Static Analysis Alarms

Introduction

Anushri Jana is a notable inventor based in Pune, India. She has made significant contributions to the field of software analysis, particularly in incremental analysis and static analysis alarms. With a total of 5 patents, her work is recognized for its innovative approaches to complex programming challenges.

Latest Patents

Anushri's latest patents include a method and system for mapping intermediate representation objects for facilitating incremental analysis. This invention addresses the challenges faced by analysis tools in reusing analysis information for unchanged intermediate representation (IR) objects across different versions of a program. The system she developed extracts attributes associated with each IR object from previous versions and creates a data structure for storing these objects. It then determines unchanged lines between versions to create a line number map, ultimately facilitating ID-based IR mapping.

Another significant patent is her method and system for identifying static analysis alarms based on the semantics of changed source code. This technique is integrated into a proprietary static analysis tool that identifies the semantics of changes and reports only the impacted alarms. The method involves receiving source code and verifying properties over variables to identify impacted alarms, performing incremental analysis, and utilizing a change-based alarm identification technique.

Career Highlights

Anushri Jana is currently employed at Tata Consultancy Services Limited, where she applies her expertise in software analysis. Her innovative work has positioned her as a key contributor in her field, and her patents reflect her commitment to advancing technology.

Collaborations

Anushri collaborates with talented individuals such as Bharti Chimdyalwar and Shrawan Singh Kumar. Their teamwork enhances the development of innovative solutions in software analysis.

Conclusion

Anushri Jana's contributions to incremental analysis and static analysis alarms demonstrate her innovative spirit and dedication to improving software tools. Her patents not only showcase her technical skills but also her ability to address real-world programming challenges.