ACM SIGPLAN NOTICES - PLDI, vol. 46, no. 6, page. 26 - 37, 2011-06
ACM SIGPLAN NOTICES - PLDI, vol. 47, no. 6, page. 359 - 370, 2012-06