IEEE MICRO, vol. 36, no. 6, page. 16 - 24, 2016-11
ACM SIGPLAN NOTICES, vol. 50, no. 8, page. 251 - 252, 2015-08
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
ACM SIGPLAN NOTICES - PLDI, vol. 46, no. 6, page. 26 - 37, 2011-06
ACM SIGPLAN NOTICES - ASPLOS, vol. 45, no. 3, page. 65 - 76, 2010-03
ROBOTICA, vol. 27, no. 7, page. 1091 - 1102, 2009-12