pldi04-kiss.pdf