ACM-IEEE CS Ken Kennedy Award
India - 2018
citation
For research contributions and leadership in the development of memory consistency models for C++ and Java, for service to numerous computer science organizations, and for exceptional mentoring.
ACM Fellows
India - 2010
citation
For contributions to hardware and language memory models, and to low-power and resilient systems.