TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing

Teyu Lin, Minghao Fan, Huaxun Huang, Zhirong Shen, Rongxin Wu. TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing. Proc. ACM Softw. Eng., 3(FSE):2630-2651, 2026. [doi]

@article{LinFHSW26,
  title = {TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing},
  author = {Teyu Lin and Minghao Fan and Huaxun Huang and Zhirong Shen and Rongxin Wu},
  year = {2026},
  doi = {10.1145/3808124},
  url = {https://doi.org/10.1145/3808124},
  researchr = {https://researchr.org/publication/LinFHSW26},
  cites = {0},
  citedby = {0},
  journal = {Proc. ACM Softw. Eng.},
  volume = {3},
  number = {FSE},
  pages = {2630-2651},
}