Publications
2007. Relating Complexity and Precision in Control Flow Analysis. ICFP '07 Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming. :85-96.
1988. Program complexity using Hierarchical Abstract Computers. Computer Languages. 13(3–4):109-123.
2008. Deciding kCFA is Complete for EXPTIME. ICFP '08 Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming. :275-282.
1995. Complexity measure evaluation and selection. Software Engineering, IEEE Transactions on. 21(8):641-650.