"ICPP 2010" "PERCOM 2013" "POPL 2014" "ICMIM 2016" "NAACL HLT 2016" "SfN Satellite Meeting 2016" "SLT 2016" "ICNMS-KEM 2017" "ICSC 2017" "PCA/ACA - 2017" "ICDE 2017" "SECON 2017" "IC4E 2018" "NDSS 2018" "OFC 2018" "SDM 2018" "ECTC 2018" "ICME 2018" "ICCAD 2018" "SODA 2019" "ALENEX 2019" "ITCS 2019" "NDSS 2019" "OFC 2019" "DIS 2019" "ASE 2019" "IEEE BIBM 2019" "ICSC 2020" "ALT 2020" "HPCA 2020" "PPoPP 2020" "CGO 2020" "CC 2020" "NDSS 2020" "OFC 2020" "KDD 2020" "WIKISYM 2005" "ICCAD 2020" "AMIA 2021"