Software and the Concurrency Revolution

Queue

Volumn 3, Issue 7, 2005, Pages 54-62

  Sutter, Herb ^a   Larus, James ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85024275309     PISSN: 15427730     EISSN: 15427749     Source Type: Journal    
DOI: 10.1145/1095408.1095421     Document Type: Article

References (6)

1. Sutter, H. 2005. The free lunch is over: A fundamental turn toward concurrency in software. Dr. Dobb's Journal 30 (3); http://www.gotw.ca/publications/concurrencyddj.htm.
2. Ramalingam, G. 2000. Context-sensitive synchronization-sensitive analysis is undecidable. ACM Transactions on Programming Languages and Systems 22 (2): 416–430.
3. Dean, J., and Ghemawat, S. 2004. MapReduce: Simplified data processing on large clusters. Proceedings of the Sixth Symposium on Operating Systems Design and Implementation, San Francisco, CA: 137–150.
4. Qadeer, S., and Wu, D. 2004. KISS: Keep it Simple and Sequential. Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, Washington, DC: 1–13.
5. King, S. T., Dunlap, G. W., and Chen, P. M. 2005. Debugging operating systems with time-traveling virtual machines. Proceedings of the 2005 Annual Usenix Technical Conference, Anaheim, CA: 1–15.
6. Chandra, S., Godefroid, P., and Palm, C. 2002. Software model checking in practice: An industrial case study. Proceedings of the 24th International Conference on Software Engineering, Orlando, FL: 431–441.