Bageshri Karkare

According to our database, Bageshri Karkare authored at least 4 papers between 2006 and 2010.

Collaborative distances:

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

2010

A Theoretical and Experimental Review of SystemC Front-ends.

Kevin Marquet, Bageshri Karkare, Matthieu Moy

Proceedings of the 2010 Forum on specification & Design Languages, 2010

2008

Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method.

Uday P. Khedker, Bageshri Karkare

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

An improved bound for call strings based interprocedural analysis of bit vector frameworks.

Bageshri Karkare, Uday P. Khedker

ACM Trans. Program. Lang. Syst., 2007

2006

Complexity of Data Flow Analysis for Non-Separable Frameworks

Bageshri Karkare, Uday P. Khedker

CoRR, 2006