activity
20162025
most citedStatic Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python

56 citations · 61 across the 6 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.PL2020★ 2 cited

Conditional Lower Bound for Inclusion-Based Points-to Analysis

Qirun Zhang

Inclusion-based (i.e., Andersen-style) points-to analysis is a fundamental static analysis problem. The seminal work of Andersen gave a worst-case cubic time points-to ana…