Bageshri Karkare

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Kevin Marquet, Bageshri Karkare, Matthieu Moy
A Theoretical and Experimental Review of SystemC Front-ends. FDL (2010)
Uday P. Khedker, Bageshri Karkare
Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method. CC (2008)
Bageshri Karkare, Uday P. Khedker
An improved bound for call strings based interprocedural analysis of bit vector frameworks. ACM Trans. Program. Lang. Syst. 29 (6) (2007)
Bageshri Karkare, Uday P. Khedker
Complexity of Data Flow Analysis for Non-Separable Frameworks CoRR (2006)