homepages/78/4930 conf/cc/ZhaoSAK12 conf/pldi/VerbruggeKZ11 conf/oopsla/CharlesGSDKEPS05 conf/vee/StepanianBKKS05 conf/jvm/GrcevskiKSSS04