Ke Sun -

Registered user since Wed 22 Sep 2021

Name:Ke Sun

Country:China

Affiliation:Peking University

Research interests:Software Engineering, Programming Languages

Contributions

2024

ECOOP

Author of Formalizing, Mechanizing, and Verifying Class-based Refinement Types within the Technical Papers-track

2023

APLAS

Author of What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study within the APLAS 2023-track

2022

ASE

Author of Static Type Recommendation for Python within the Research Papers-track