Publications:

• David Melski, Interprocedural path profiling and the interprocedural express-lane transformation. PhD thesis, University of Wisconsin, 2002. [abstract; postscript; PDF]
• Melski, D. and Reps, T., Interprocedural path profiling. Proc. of CC '99: 8th Int. Conf. on Compiler Construction, (Amsterdam, The Netherlands, Mar. 22-26, 1999). [abstract; paper, (c) Springer-Verlag]
• Melski, D. and Reps, T., Interprocedural path profiling. TR-1382, Computer Sciences Department, University of Wisconsin, Madison, WI, September 1998. [abstract; paper]
• Melski, D. and Reps, T., Interconvertibility of a class of set constraints and context-free language reachability. Accepted, pending minor revisions, to Theoretical Computer Science. [abstract; paper]
• Melski, D. and Reps, T., Interconvertibility of set constraints and context-free language reachability. In PEPM '97: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, (Amsterdam, The Netherlands, June 12-13, 1997), ACM, New York, NY, 1997, pp. 74-89. [abstract; paper]