Ke Du

Orcid: 0009-0008-2465-1082

Affiliations:

University of Illinois, Chicago, IL, USA
University of Michigan, USA (former)

According to our database¹, Ke Du authored at least 4 papers between 2020 and 2026.

Collaborative distances:

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

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

Recursive Mutexes in Separation Logic.

[BibT_eX]

[DOI]

CoRR, January, 2026

2024

An Iris Instance for Verifying CompCert C Programs.

[BibT_eX]

[DOI]

William Mansky

Ke Du

Proc. ACM Program. Lang., January, 2024

2022

RustViz: Interactively Visualizing Ownership and Borrowing.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, 2022

2020

RustViz: Interactively Visualizing Ownership and Borrowing.

[BibT_eX]

[DOI]

CoRR, 2020

Ke Du

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...