SIGPLAN Notices, vol. 49, no. 1, page. 477 - 490, 2014-01
ACM SIGPLAN NOTICES, vol. 48, no. 1, page. 219 - 231, 2013-01
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, vol. 20, no. 5, 2021-10
MACHINE LEARNING, vol. 61, no. 1-3, page. 49 - 69, 2005-11