Opis: Reliable Distributed Systems in OCaml

Proceedings of the 2009 ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI'09

Volumn , Issue , 2009, Pages 65-77

  Dagand, Pierre Évariste ^a   Kostić, Dejan ^b   Kuncak, Viktor ^b  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b EPFL   (Switzerland)

Author keywords

Arrows, Distributed Systems, Functional Programming,Model checking

Indexed keywords

ARROWS, DISTRIBUTED SYSTEMS, FUNCTIONAL PROGRAMMING,MODEL-CHECKING; BUILDING BLOCK; COMBINATORS; DISTRIBUTED DEVELOPMENT; DISTRIBUTED HASH TABLE; DISTRIBUTED SYSTEMS; DOMAIN SPECIFIC LANGUAGES; EXPLICIT-STATE MODEL; GOSSIP PROTOCOLS; HIGHER ORDER; HIGHER-ORDER FUNCTIONS; INTERACTIVE THEOREM PROVER; NETWORK SIMULATORS; PEER-TO-PEER OVERLAYS; PERFORMANCE ANALYSIS; PROGRAMMER PRODUCTIVITY; PROTOCOL DESCRIPTION; REACTIVE FUNCTIONS; RELIABLE DISTRIBUTED SYSTEMS; SAFE LANGUAGES; TERMINATION ARGUMENTS;

ALGORITHMIC LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; FUNCTIONAL PROGRAMMING; LINGUISTICS; QUERY LANGUAGES;

MODEL CHECKING;

EID: 67650085320     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1481861.1481870     Document Type: Conference Paper

References (43)

1. J. Armstrong. Making reliable distributed systems in the presence of software errors. PhD thesis, The Royal Institute of Technology, Stockholm, 2003.
2. G. Berry. The Foundations of Esterel. MIT Press, 2000.
3. Y. Bertot and P. Cast́eran. Interactive Theorem Proving and Program Development-Coq'Art: The Calculus of Inductive Constructions. Springer, 2004.
4. E. Biagioni. A structured TCP in standard ML. SIGCOMM Comput. Commun. Rev., 24(4):36-45, 1994.
5. B. Burns, K. Grimaldi, A. Kostadinov, E. D. Berger, and M. D. Corner. Flux: a language for programming highperformance servers. In USENIX ATC, page 13, 2006.
6. M. Carlsson and T. Hallgren. FUDGETS - A graphical user interface in a lazy functional language. In FPCA, 1993.
7. H. Chang, R. Govindan, S. Jamin, S. Shenker, and W. Willinger. Towards Capturing Representative AS-Level Internet Topologies. In SIGMETRICS, June 2002.
8. A. Courtney, H. Nilsson, and J. Peterson. The Yampa arcade. In Haskell Workshop, 2003.
9. R. Cunningham and E. Kohler. Making events less slippery with eel. In HOTOS, page 3, 2005.
10. C. Elliott and P. Hudak. Functional reactive animation. In ICFP, 1997. (Pubitemid 127455585)
11. C. Flanagan and P. Godefroid. Dynamic partial-order reduction for model checking software. In POPL, 2005.
12. T. Gautier, P. L. Guernic, and L. Besnard. SIGNAL: A declarative language for synchronous programming of realtime systems. In FPCA, 1987.
13. P. Godefroid and P. Wolper. A partial approach to model checking. In LICS, 1991. (Pubitemid 21691964)
14. G. Hager and J. Peterson. Frob: A transformational approach to the design of robot software. In ISRR, 1999.
15. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE, 79(9), 1991. (Pubitemid 21738062)
16. M. Hayden. Distributed communication in ml. J. Funct. Program., 10(1), 2000.
17. J. Hickey, N. Lynch, and R. van Renesse. Specifications and proofs for Ensemble layers. In TACAS, 1999.
18. G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, 1997. (Pubitemid 127828295)
19. P. Hudak, A. Courtney, H. Nilsson, and J. Peterson. Arrows, robots, and functional reactive programming. In Advanced Functional Programming, volume 2638 of LNCS, 2002.
20. J. Hughes. Generalising monads to arrows. Science of Computer Programming, 37, 2000.
21. G. C. Hunt and J. R. Larus. Singularity: rethinking the software stack. Op. Sys. Review, 41(2):37-49, 2007.
22. C. E. Killian, J.W. Anderson, R. Braud, R. Jhala, and A. M. Vahdat. Mace: language support for building distributed systems. In PLDI, 2007. (Pubitemid 47630686)
23. J. Kleinberg. The small-world phenomenon: An algorithmic perspective. In STOC, 2000. (Pubitemid 30886424)
24. C. Kreitz, M. Hayden, and J. Hickey. A proof environment for the development of group communication systems. In CADE-15, 1998.
25. X. Leroy. A modular module system. J. Funct. Program., 10(3), 2000.
26. X. Leroy. Formal certification of a compiler back-end, or: programming a compiler with a proof assistant. In POPL, 2006.
27. P. Li and S. Zdancewic. Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives. SIGPLAN Not., 42(6):189-199, June 2007. (Pubitemid 47630687)
28. S. Lin, A. Pan, Z. Zhang, R. Guo, and Z. Guo. WiDS: an integrated toolkit for distributed system development. In HOTOS, 2005.
29. H. Liu and P. Hudak. Plugging a space leak with an arrow. Electron. Notes Theor. Comput. Sci., 193:29-45, 2007. (Pubitemid 350008186)
30. X. Liu, C. Kreitz, R. van Renesse, J. Hickey, M. Hayden, K. Birman, and R. Constable. Building reliable, highperformance communication systems from components. In SOSP, 1999. (Pubitemid 129548349)
31. B. T. Loo, T. Condie, J. M. Hellerstein, P. Maniatis, T. Roscoe, and I. Stoica. Implementing declarative overlays. SIGOPS Oper. Syst. Rev., 39(5), 2005. (Pubitemid 44892206)
32. A. Madhavapeddy, A. Ho, T. Deegan, D. Scott, and R. Sohan. Melange: creating a "functional"internet. SIGOPS Oper. Syst. Rev., 41(3), 2007.
33. R. Milner. A Calculus of Communicating Systems. Springer, 1980.
34. T. Nipkow, L. C. Paulson, and M. Wenzel. Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS. Springer-Verlag, 2002.
35. R. Paterson. A new notation for arrows. In ICFP, 2001. (Pubitemid 33719661)
36. R. Paterson. The Fun of Programming. Palgrave, 2003.
37. J. H. Reppy. Higher-Order Concurrency. Technical Report TR92-1852, Cornell Univ, Ithaca, NY, 1992.
38. A. Rodriguez, C. Killian, S. Bhat, D. Kostíc, and A. Vahdat. MACEDON: methodology for automatically creating, evaluating, and designing overlay networks. In NSDI, 2004.
39. P. Sewell, J. J. Leifer, K. Wansbrough, F. Z. Nardelli, M. Allen-Williams, P. Habouzit, and V. Vafeiadis. Acute: high-level programming language design for distributed computation. In ICFP '05. ACM, 2005.
40. I. Stoica, R. Morris, D. Karger, F. Kaashoek, and H. Balakrishnan. Chord: A Scalable Peer to Peer Lookup Service for Internet Applications. In SIGCOMM, 2001.
41. S. Voulgaris, D. Gavidia, and M. Steen. Cyclon: Inexpensive membership management for unstructured p2p overlays. Journal of Network and Systems Management, 13, 2005. (Pubitemid 40963651)
42. S. Voulgaris and M. van Steen. Epidemic-style management of semantic overlays for content-based searching. In EuroPar, 2005.
43. MLDonkey, the p2p client for Linux/Unix/Windows.http://mldonkey. sourceforge.net/.