We gratefully acknowledge funding from the following sources:

• Sonata Software (Dec'17 - Mar'20)
  

• NVIDIA GPU grant (Feb'17)
  

• Mozilla Corporation faculty award (Apr'15)

• Department of Electronics and Information Technology, Govt. of India (Dec'14 - Nov'17)
  

• Robert Bosch Center for Cyber Physical Systems, Indian Institute of Science (Aug'12 - Jul'15)

• IBM faculty award (Apr'12)

• Department of Science and Technology, Govt. of India (Feb'12 - Jan'15)

• The Indo-German Max Planck Center for Computer Science (Aug'11 - Jul'16)

• Microsoft Research India faculty award (Sep'10)

We are also grateful to Google and Bitbucket for providing us academic licenses for free web and repository hosting respectively.