Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning. - Hao Yu; Yiling Lou; Ke Sun 017; Dezhi Ran; Tao Xie 001; Dan Hao 001; Ying Li 012; Ge Li 001; Qianxiang Wang (ICSE, 2022)

Static Type Recommendation for Python. - Ke Sun 017; Yifan Zhao; Dan Hao 001; Lu Zhang 023 (ASE, 2022)

What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study. - Ke Sun 017; Sheng Chen 008; Meng Wang 002; Dan Hao 001 (APLAS, 2023)

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types. - Ke Sun 017; Di Wang 017; Sheng Chen 008; Meng Wang 002; Dan Hao 001 (ECOOP, 2024)

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact). - Ke Sun 017; Di Wang 017; Sheng Chen 008; Meng Wang 002; Dan Hao 001 (Dagstuhl Artifacts Ser., 2024)