@Inproceedings{EPTCS228.2,
  author    = {Kumar, Rahul and Bansal, Chetan and Lichtenberg, Jakob},
  year      = {2016},
  title     = {Static Analysis Using the Cloud},
  editor    = {Behjati, Razieh and Elmokashfi, Ahmed},
  booktitle = {{\rm Proceedings of the First International Workshop on}
               Formal Methods for and on the Cloud,
               {\rm Reykjavik, Iceland, 4th June 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {228},
  publisher = {Open Publishing Association},
  pages     = {2-15},
  doi       = {10.4204/EPTCS.228.2},
}