V. Raychev, M. Vechev, and M. Sridharan. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages &\#38; Applications, page 151--166. ACM, (2013)
B. Petrov, M. Vechev, M. Sridharan, and J. Dolby. Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, page 251--262. ACM, (2012)