Learning-based extraction of first-order logic representations of API directives. - Mingwei Liu 002; Xin Peng 001; Andrian Marcus; Christoph Treude; Xuefang Bai; Gang Lyu; Jiazhan Xie; Xiaoxin Zhang (ESEC/SIGSOFT FSE, 2021)

How to formulate specific how-to questions in software development? - Mingwei Liu 002; Xin Peng 001; Andrian Marcus; Christoph Treude; Jiazhan Xie; Huanjun Xu; Yanjun Yang (ESEC/SIGSOFT FSE, 2022)