Number of papers per year authored by Sanjit A. Seshia