We stand with Ukraine  

Anushri Jana

Orcid: 0009-0003-0290-7394

Affiliations:
  • Tata Consultancy Services, Pune, India


According to our database1, Anushri Jana authored at least 9 papers between 2011 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Common Threads in Incremental Data Flow Analysis: A Comprehensive Survey.
[BibTeX]
[DOI]
Anushri Jana
,
Uday P. Khedker
ACM Comput. Surv., March, 2026

2025
Evaluating diversity and stereotypes amongst AI generated representations of healthcare providers.
[BibTeX]
[DOI]
Anjali Agrawal
,
Gauri Gupta
,
Anushri Agrawal
,
Himanshu Gupta
Frontiers Digit. Health, 2025

2022
Identifying Relevant Changes for Incremental Verification of Evolving Software Systems.
[BibTeX]
[DOI]
Bharti Chimdyalwar
,
Anushri Jana
,
Shrawan Kumar
,
Ankita Khadsare
,
Vaidehi Ghime
Proceedings of the IEEE International Conference on Software Analysis, 2022

Fast Analysis of Evolving Software Systems.
[BibTeX]
[DOI]
Anushri Jana
,
Bharti Chimdyalwar
,
Shrawan Kumar
,
R. Venkatesh
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

IR Mapping: Intermediate Representation (IR) based Mapping to facilitate Incremental Static Analysis.
[BibTeX]
[DOI]
Vaidehi Ghime
,
Ankita Khadsare
,
Anushri Jana
,
Bharti Chimdyalwar
Proceedings of the ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24, 2022

2021
Fast Change-Based Alarm Reporting for Evolving Software Systems.
[BibTeX]
[DOI]
Anushri Jana
,
Ankita Khadsare
,
Bharti Chimdyalwar
,
Shrawan Kumar
,
Vaidehi Ghime
,
R. Venkatesh
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

2016
Scaling Bounded Model Checking by Transforming Programs with Arrays.
[BibTeX]
[DOI]
Anushri Jana
,
Uday P. Khedker
,
Advaita Datar
,
R. Venkatesh
,
Niyas C
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2012
Precise Detection of Uninitialized Variables Using Dynamic Analysis - Extending to Aggregate and Vector Types.
[BibTeX]
[DOI]
Anushri Jana
,
Ravindra Naik
Proceedings of the 19th Working Conference on Reverse Engineering, 2012

2011
Towards assuring non-recurrence of faults leading to transaction outages: an experiment with stable business applications.
[BibTeX]
[DOI]
Anushri Agrawal
,
Ravindra Naik
Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011


  Loading...