ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award
Sumit Gulwani was awarded the John C. Reynolds Doctoral Dissertation Award shortly after starting his career at Microsoft Research and after he completed his PhD at University of California, Berkeley. It is an award presented…