ACM SIGPLAN NOTICES - ASPLOS, vol. 48, no. 4, page. 419 - 430, 2013-04
ACM SIGPLAN NOTICES - PLDI, vol. 47, no. 6, page. 359 - 370, 2012-06