We stand with Ukraine  

Ke Wu

Orcid: 0009-0008-2647-4198

Affiliations:
  • Johns Hopkins University, Baltimore, MD, USA


According to our database1, Ke Wu authored at least 3 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Semantic-Type-Guided Bug Finding.
[BibTeX]
[DOI]
Kelvin Qian
,
Scott F. Smith
,
Brandon Stride
,
Shiwei Weng
,
Ke Wu
Proc. ACM Program. Lang., 2024

Intensional Functions.
[BibTeX]
[DOI]
Zachary Palmer
,
Nathaniel Wesley Filardo
,
Ke Wu
Proc. ACM Program. Lang., 2024

2020
A Set-Based Context Model for Program Analysis.
[BibTeX]
[DOI]
Leandro Facchinetti
,
Zachary Palmer
,
Scott F. Smith
,
Ke Wu
,
Ayaka Yorihiro
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020


  Loading...