Nimit Singhania won the Radhia Cousot Young Researcher Best Paper Award at the Static Analysis Symposium 2018

Nimit Singhania won the Radhia Cousot Young Researcher Best Paper Award at the 25th Static Analysis Symposium (SAS 2018) that took place in Freiburg im Breisgau, Germany on 29-31 August 2018. In his paper titled "Block-Size Independence for GPU Programs" (joint work with his PhD advisors Rajeev Alur and Joseph Devietti), he proposes a new property called "block-size independence", and an accompanying compiler analysis, which guarantees that adjusting the block-size of a GPU program does not change what it computes; but tuning the block-size can result in significant performance speedups, especially as code is moved to different kinds of GPUs.