ACM SIGPLAN NOTICES - ASPLOS, vol. 45, no. 3, page. 65 - 76, 2010-03
ACM SIGPLAN NOTICES - PLDI, vol. 47, no. 6, page. 359 - 370, 2012-06