Ke Sun - ISSTA/ECOOP 2024

Mon 16 - Fri 20 September 2024 Vienna, Austria

Registered user since Wed 22 Sep 2021

Name:Ke Sun

Country:China

Affiliation:Peking University

Research interests:Software Engineering, Programming Languages

Contributions

2024

ECOOP

Formalizing, Mechanizing, and Verifying Class-based Refinement Types

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile