1. Kildall, G. A. (1973). A unified approach to global program optimization. In Proceedings of the POPL.
2. Carbin, M., Kim, D., Misailovic, S., & Rinard, M. (2012). Proving acceptability properties of relaxed nondeterministic approximate programs. In Proceedings of the PLDI.
3. Rinard, M. (2006). Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. In Proceedings of the ICS.
4. Chakradhar, S., Raghunathan, A., & Meng, J. (2009). Best-effort parallel execution framework for recognition and mining applications. In International Symposium on Parallel & Distributed Processing (IPDPS).
5. Meng, J., Raghunathan, A., Chakradhar, S., & Byna, S. (2010). Exploiting the forgiving nature of applications for scalable parallel execution. In International Symposium on Parallel & Distributed Processing (IPDPS).