InContext: Simple parallelism for distributed applications

Proceedings of the IEEE International Symposium on High Performance Distributed Computing

Volumn , Issue , 2011, Pages 97-108

  Yoo, Sunghwan ^a   Lee, Hyojeong ^a   Killian, Charles ^a   Kulkarni, Milind ^b  

^a Purdue University   (United States)

^b PURDUE UNIVERSITY   (United States)

Author keywords

distributed programming; mace

Indexed keywords

DECLARATIVE PROGRAMMING; DISTRIBUTED APPLICATIONS; DISTRIBUTED PROGRAMMING; DISTRIBUTED SYSTEMS; EVENT-HANDLERS; EXECUTION MODEL; MACE; MODEL CHECKER; NETWORKING SERVICES; PARALLEL IMPLEMENTATIONS; PARALLELIZING; PROGRAMMING MODELS; PROTOTYPE IMPLEMENTATIONS; SAFETY PROPERTY; SEQUENTIAL IMPLEMENTATION;

ABSTRACTING; COMPUTER PROGRAMMING; OPTIMIZATION;

MODEL CHECKING;

EID: 79960538448     PISSN: 10828907     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1996130.1996144     Document Type: Conference Paper

References (21)

1. Dropbox. http://www.dropbox.com/.
2. Hadoop. http://hadoop.apache.org/core/.
3. Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison-Wesley, 1995.
4. Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, and Antony Rowstron. Scribe: A large-scale and decentralized application-level multicast infrastructure. IEEE Journal on Selected Areas in Communication (JSAC), 20(8), October 2002.
5. Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, and Vivek Sarkar. X10: an object-oriented approach to non-uniform cluster computing. In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 519-538, New York, NY, USA, 2005. ACM.
6. Jeffrey Dean and Sanjay Ghemawat. Mapreduce: simplified data processing on large clusters. In Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6, pages 10-10, Berkeley, CA, USA, 2004. USENIX Association.
7. Tim Harris and Satnam Singh. Feedback directed implicit parallelism. In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming, pages 251-264, New York, NY, USA, 2007. ACM.
8. Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat. Life, death, and the critical transition: Detecting liveness bugs in systems code. In NSDI, 2007.
9. Charles Killian, Karthik Nagarak, Salman Pervez, Ryan Braud, James W. Anderson, and Ranjit Jhala. Finding latent performance bugs in systems implementations. In Foundations of Software Engineering (FSE 2010), 2010.
10. Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, and Amin M. Vahdat. Mace: language support for building distributed systems. In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, pages 179-188, New York, NY, USA, 2007. ACM.
11. Lorenzo Leonini, Étienne Rivière, and Pascal Felber. Splay: Distributed systems evaluation made simple (or how to turn ideas into live systems in a breeze). In Networked Systems Design and Implementation (NSDI), 2009.
12. Shiding Lin, Aimin Pan, Zheng Zhang, Rui Guo, and Zhenyu Guo. Wids: an integrated toolkit for distributed systems deveopment. In Hot Topics in Operating Systems (HOTOS), 2005.
13. Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, and Ion Stoica. Implementing declarative overlays. In Symposium on Operating Systems Principles, pages 75-90, Brighton, United Kingdom, October 2005.
14. Xuezheng Lui, Wei Lin, Aimin Pan, and Zheng Zhang. Wids checker: Combating bugs in distributed systems. In Networked Systems Design and Implementation (NSDI), 2007.
15. David Mazières. A toolkit for user-level file systems. In Proceedings of the General Track: 2002 USENIX Annual Technical Conference, pages 261-274, Berkeley, CA, USA, 2001. USENIX Association.
16. Sean C. Rhea, Dennis Geels, Timothy Roscoe, and John Kubiatowicz. Handling churn in a dht (awarded best paper!). In USENIX Annual Technical Conference, pages 127-140, Boston, Massachusetts, June 2004.
17. Christoph von Praun, Luis Ceze, and Calin Caşcaval. Implicit parallelism with ordered transactions. In PPoPP '07: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 79-89, New York, NY, USA, 2007. ACM.
18. Matt Welsh, David E. Culler, and Eric A. Brewer. Seda: An architecture for well-conditioned, scalable internet services. In Symposium on Operating Systems Principles, pages 230-243, Banff, Canada, October 2001.
19. Sunghwan Yoo, Charles Killian, and Peter Waddell. Sampling and analyzing binary contingency tables: Implications for distributed computing models. Technical report, Purdue University, 2010.
20. Nickolai Zeldovich, Alexander Yip, Frank Dabek, Robert Morris, David Mazières, and Frans Kaashoek. Multiprocessor support for event-driven programs. In Proceedings of the 2003 USENIX Annual Technical Conference (USENIX '03), San Antonio, Texas, June 2003.
21. Jin Zhou and Brian Demsky. Bamboo: a data-centric, object-oriented approach to many-core software. In PLDI '10: Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation, New York, NY, USA, 2010. ACM