@inproceedings{1706308,
   author = {Chaudhuri, Swarat and Gulwani, Sumit and Lublinerman, Roberto},
   title = {Continuity analysis of programs},
   booktitle = {POPL '10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
   year = {2010},
   category = {conference},
   format = {pdf},
   location = {lab},
}