T. Bartolomei, A. Garcia, C. Sant'Anna, and E. Figueiredo. SOQUA '06: Proceedings of the 3rd international workshop on Software
quality assurance, page 46--53. New York, NY, USA, ACM, (2006)
J. Armstrong. HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages, page 6-1--6-26. New York, NY, USA, ACM, (2007)
J. Dean, and S. Ghemawat. Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6, page 137--149. Berkeley, CA, USA, USENIX Association, (2004)
W. Thies, M. Karczmarek, and S. Amarasinghe. Proceedings of the 11th International Conference on Compiler Construction, page 179--196. London, UK, UK, Springer-Verlag, (2002)
J. Swalens, S. Marr, J. De Koster, and T. Van Cutsem. Proceedings of the Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES), volume 155 of PLACES '14, page 54--60. (April 2014)
O. Tripp, G. Yorsh, J. Field, and M. Sagiv. Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, page 207--224. ACM, (2011)