Published extensively in top-tier security and software engineering venues including IEEE S&P, USENIX Security, NDSS, CCS, ISSTA, ASE, ICSE, SOSP, and journals such as TOSEM, TDSC, and EMSE
Notable works in program analysis/MLM: CALLEE, HyRES, TraceDoctor, Tady, DecompileBench, BinQuery, SmartTrans, OpTrans, PromeTrans, llasm, ViC, Cebin, CLAP, Callee, NCScope, jTrans, iDEV, αDiff, etc.