Madhurima Chakraborty

According to our database, Madhurima Chakraborty authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs.

Madhurima Chakraborty, Peter Pirkelbauer, Qing Yi

Proceedings of the 22nd IEEE/ACM International Conference on Mining Software Repositories, 2025

2024

Indirection-Bounded Call Graph Analysis.

Madhurima Chakraborty, Aakash Gnanakumar, Manu Sridharan, Anders Møller

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2022

Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact).

Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi

Dagstuhl Artifacts Ser., 2022

Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version).

Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi

CoRR, 2022

Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs.

Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

A study of call graph effectiveness for framework-based web applications.

Madhurima Chakraborty

Proceedings of the SPLASH '21: Software for Humanity, Chicago, IL, USA, October 17, 2021