According to our database1, Bageshri Karkare authored at least 4 papers between 2006 and 2010.
Legend:Book In proceedings Article PhD thesis Other
A Theoretical and Experimental Review of SystemC Front-ends.
Proceedings of the 2010 Forum on specification & Design Languages, 2010
Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method.
Proceedings of the Compiler Construction, 17th International Conference, 2008
An improved bound for call strings based interprocedural analysis of bit vector frameworks.
ACM Trans. Program. Lang. Syst., 2007
Complexity of Data Flow Analysis for Non-Separable Frameworks