2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) Code Generation and Optimization (CGO), 2022 IEEE/ACM International Symposium on. :79-91 Apr, 2022
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018. :851-856 Mar, 2018
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on. :52-61 Oct, 2014