Collaborations between Chandan Arora and Nikhil Ratnaparkhi