Publications

• Inferring Aliasing and Encapsulation Properties for Java.
  Kin-Keung Ma and Jeffery S. Foster.
  OOPSLA 2007, to appear
• Algorithms for infinite huffman-codes.
  Mordecai J. Golin and Kin-Keung Ma.
  In Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms,
  January 2004. [Soda Talk] [Expanded version]