Ali Aman, Muhammad Asaduzzaman, Shaowei Wang: Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference. ICPC 2026: 379-389