Publications Gradual Program Analysis for Null Pointers, in ECOOP 2021, by Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, and Joshua Sunshine.