Pabble: Parameterised scribble for parallel programming

Proceedings - 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014

Volumn , Issue , 2014, Pages 707-714

  Ng, Nicholas ^a   Yoshida, Nobuko ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

multiparty session types; parallel programming; scribble protocol language

Indexed keywords

COMPLEX NETWORKS; COMPUTER PROGRAMMING LANGUAGES; MESSAGE PASSING; PARALLEL PROGRAMMING; TOPOLOGY;

DEADLOCK FREEDOM; MESSAGE PASSING PROGRAMS; MULTIPARTY SESSIONS; MULTIPLE DIMENSIONS; PARALLEL PROGRAM; PROTOCOL DESCRIPTION; SCRIBBLE PROTOCOL; STATIC CHECKING;

PARAMETERIZATION;

EID: 84899425136     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PDP.2014.20     Document Type: Conference Paper

References (21)

1. G. Gopalakrishnan et al, "Formal analysis of MPI-based parallel programs," Commun. ACM, vol. 54, no. 12, pp. 82-91, 2011.
2. K. Honda, N. Yoshida, and M. Carbone, "Multiparty asynchronous session types," in POPL'08, 2008, pp. 273-284.
3. N. Ng, N. Yoshida, and K. Honda, "Multiparty Session C: Safe Parallel Programming with Message Optimisation," in TOOLS, ser. LNCS, vol. 7304. Springer, 2012, pp. 202-218.
4. K. Honda, A. Mukhamedov, G. Brown, T.-C. Chen, and N. Yoshida, "Scribbling interactions with a formal foundation," in ICDCIT, ser. LNCS, vol. 6536. Springer, 2011, pp. 55-75.
5. "Scribble homepage," http://www.jboss.org/scribble.
6. D. Aspinall and M. Hofmann, Advanced Topics in Types and Programming Languages. MIT, 2005, ch. Dependent Types.
7. H. Xi and F. Pfenning, "Eliminating array bound checking through dependent types," in PLDI '98, 1998, pp. 249-257.
8. P.-M. Deniélou, N. Yoshida, A. Bejleri, and R. Hu, "Parame-terised multiparty session types," LMCS, vol. 8, no. 4, 2012.
9. J. Magee and J. Kramer, Concurrency: state models and Java programs (2. ed.). Wiley, 2006.
10. K. Asanovic et al, "A view of the parallel computing landscape," Commun. ACM, vol. 52, no. 10, pp. 56-67, Oct. 2009.
11. "W3C Web Services Choreography," http://www.w3.org/2002/ws/ chor/.
12. "Ocean observatories initiative," http://www. oceanobservatories.org/.
13. "Full version." [Online]. Available: http://www.doc.ic.ac.uk/ ~cn06/pabble
14. Bettini et al., "Global Progress in Dynamically Interleaved Multiparty Sessions," in CONCUR 2008, ser. LNCS, vol. 5201. Springer, 2008, pp. 418-433.
15. P.-M. Deniélou and N. Yoshida, "Multiparty session types meet communicating automata," in ESOP, ser. LNCS, vol. 7211. Springer, 2012, pp. 194-213.
16. G. Castagna, M. Dezani-Ciancaglini, and L. Padovani, "On global types and multi-party session," LMCS, vol. 8, no. 1, 2012.
17. P.-M. Deniélou and N. Yoshida, "Dynamic multirole session types," in POPL. ACM, 2011, pp. 435-446.
18. D. Mostrous, N. Yoshida, and K. Honda, "Global principal typing in partially commutative asynchronous sessions," in ESOP, ser. LNCS, vol. 5502, 2009, pp. 316-332.
19. J. Carter, W. B. Gardner, and G. Grewal, "The Pilot approach to cluster programming in C," in IPDPSW. IEEE, 2010, pp. 1-8.
20. M. Strout, B. Kreaseck, and P. Ho vland, "Data-Flow Analysis for MPI Programs," in ICPP'06. IEEE, 2006, pp. 175-184.
21. G. Bronevetsky, "Communication-Sensitive Static Dataflow for Parallel Message Passing Applications," in CGO '09. IEEE, 2009, pp. 1-12.