S Agarwal: "Analysis, Scheduling and Reasoning in Distributed Shared Memory Programming Languages"; Supervisor, Reviewer: J. Knoop, N. N.; Tata Institute of Fundamental Research, Mumbai, Indien, 2009.