Publications
2010. Resolving and Exploiting the k-CFA Paradox: Illuminating Functional vs. Object-oriented Program Analysis. PLDI '10 Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation. :305-315.
2003. Temporal probabilistic object bases. Knowledge and Data Engineering, IEEE Transactions on. 15(4):921-939.