Boniface Hicks Dave King 0002 Patrick McDaniel Jifclipse: development tools for security-typed languages. 1-10 2007 PLAS http://doi.acm.org/10.1145/1255329.1255331 conf/pldi/2007plas db/conf/pldi/plas2007.html#HicksKM07