Han Chen Pasquale Malacaria Quantitative analysis of leakage for multi-threaded programs. 31-40 2007 PLAS http://doi.acm.org/10.1145/1255329.1255335 conf/pldi/2007plas db/conf/pldi/plas2007.html#ChenM07