2 papers
cs.SE2025
FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs
Madhurima Chakraborty, Peter Pirkelbauer, Qing Yi
FormalSpecCpp is a dataset designed to fill the gap in standardized benchmarks for verifying formal specifications in C++ programs. To the best of our knowledge, this is the first…
cs.PL2022
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version)
Madhurima Chakraborty, Renzo Olivares, Manu Sridharan +1
Building sound and precise static call graphs for real-world JavaScript applications poses an enormous challenge, due to many hard-to-analyze language features. Further, the relati…