Ke Sun

Orcid: 0000-0002-2966-9889

Affiliations:

Peking University, School of Computer Science, Key Laboratory of High Confidence Software Technologies, Key Lab of HCST, Beijing, China

According to our database¹, Ke Sun authored at least 5 papers between 2022 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2024

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types.

[BibT_eX]

[DOI]

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Static Type Recommendation for Python.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Ke Sun

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...