Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong and Xingen Wang: Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction, ASE 2020.
Yueling Zhang, Geguang Pu, and Jun Sun: Accelerating All-SAT Computation with Short Blocking
Clauses, ASE 2020
Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, Yuan-Fang Li: Towards Generating Thread-Safe Classes Automatically, ASE 2020.