Ranjit Jhala Sudipta Kundu Sorin Lerner David Shuffelton Michael Stepp Ross Tate Chris Tucker