Assistance or Disruption? Exploring and Evaluating the Design and Trade-offs of Proactive AI Programming Support. - Kevin Pu; Daniel Lazaro; Ian Arawjo; Haijun Xia; Ziang Xiao; Tovi Grossman; Yan Chen 033 (CHI, 2025)