Bageshri Karkare

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
A Theoretical and Experimental Review of SystemC Front-ends.
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.
Proceedings of the Compiler Construction, 17th International Conference, 2008

2007
An improved bound for call strings based interprocedural analysis of bit vector frameworks.
ACM Trans. Program. Lang. Syst., 2007

2006
Complexity of Data Flow Analysis for Non-Separable Frameworks
CoRR, 2006


  Loading...