Xiang Li

According to our database¹, Xiang Li authored at least 3 papers in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Artifact for Statically Contextualizing Large Language Models with Typed Holes.

[BibT_eX]

[DOI]

Dataset, July, 2024

Efficient Bottom-Up Synthesis for Programs with Local Variables.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2024

Statically Contextualizing Large Language Models with Typed Holes.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024