ML grid programming with ConCert

Proceedings of the ACM SIGPLAN 2006 Workshop on ML

Volumn 2006, Issue , 2006, Pages 2-11

  Murphy VII, Tom ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Certified code; Compilers; Distributed computing; Functional programming; Grid computing

Indexed keywords

CERTIFIED CODE; COMPILER HEMLOCK; NETWORK ABSTRACTION;

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; FUNCTIONAL PROGRAMMING; PROGRAM COMPILERS;

GRID COMPUTING;

EID: 34247332294     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159876.1159879     Document Type: Conference Paper

References (31)

1. GIMPS, the great internet mersenne prime search, http://mersenne.org/.
2. SETI@Home, http://setiathome.ssl.berkeley.edu/.
3. The third annual ICFP programming contest, http://www.cs.cornell.edu/ icfp/
4. Secure hash standard, August 2002. FIPS 180-2, National Institute of Standards and Technology.
5. Andrew W. Appel. Compiling With Continuations. Cambridge University Press, 1992.
6. Robert D. Blumofe and Philip A. Lisiecki. Adaptive and reliable parallel computing on networks of workstations. In Proceedings of the USENIX 1997 Annual Technical Conference on UNIX and Advanced Computing Systems, pages 133-147, 1997.
7. B. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. Murphy, VII, and F. Pfenning. Trustless grid computing in ConCert. In M. Parashar, editor, Grid Computing - Grid 2002 Third International Workshop, pages 112-125, Berlin, November 2002. Springer-Verlag.
8. Bor-Yuh Evan Chang. Iktara in ConCert: Realizing a certified grid computing framework from a programmer's perspective. Technical Report CMU-CS-02-150, Carnegie Mellon, 2002.
9. T. Chothia and D. Duggan. An architecture for secure fault-tolerant global applications. In Workshop on Principles of Dependable Systems (PODSY). IEEE Press, June 2003.
10. Sylvain Conchon and Fabrice Le Fessant. Jocaml: Mobile agents for Objective-Caml. In First International Symposium on Agent Systems and Applications (ASA '99/Third International Symposium on Mobile Agents (MA'99), Palm Springs, CA, USA, 1999.
11. Karl Crary. Toward a foundational typed assembly language. Technical Report CMU-CS-02-196, Department of Computer Science, Carnegie Mellon University, December 2002.
12. Karl Crary, Michael Hicks, and Stephanie Weirich. Safe and flexible dynamic linking of native code. In 2000 ACM SIGPLAN Workshop on Types in Compilation, September 2000.
13. Karl Crary and Stephanie Weirich. Flexible type analysis. In International Conference on Functional Programming, pages 233-248, 1999.
14. Ian Foster and Carl Kesselman. The Globus project: a status report. Future Generation Computer Systems, 15(5-6):607-621, 1999.
15. C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the Join-calculus. In 23rd ACM Symposium on Principles of Programming Languages, January 1996.
16. Robert Harper and Greg Morrisett. Compiling polymorphism using intensional type analysis. In POPL 1995: The 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 130-141, San Francisco, CA, January 1995.
17. Graham Hutton. Higher-order functions for parsing. Journal of Functional Programming, 2(3):323-343, July 1992.
18. David B. Johnson and Willy Zwaenepoel. Recovery in distributed systems using optimistic message logging and checkpointing. In Proc. 7th Annual ACM Symp. on Principles of Distributed Computing, pages 171-181, Toronto (Canada), 1988.
19. B. Kuszmaul. The StarTech massively parallel chess program. Journal of the International Computer Chess Association, 18(1):3-19, 1995.
20. Clarence Irving Lewis. A Survey of Symbolic Logic. University of California Press, 1918.
21. Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In 1999 ACM SIGPLAN Workshop on Compiler Support for System Software, pages 25-35, Atlanta, Georgia, May 1999.
22. Tom Murphy, VII. Modal types for mobile code (thesis proposal). Technical Report CMU-CS-06-112, Carnegie Mellon, Pittsburgh, Pennsylvania, USA, Feb 2006.
23. Tom Murphy, VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. Technical Report CMU-CS-04-105, Carnegie Mellon University, Mar 2004.
24. Tom Murphy, VII and Amit K. Manjhi. Anonymous identity and trust in peer-to-peer networks. http://www.cs.cmu.edu/~tom7/papers/.
25. David Plainfossé and Marc Shapiro. A survey of distributed collection techniques. Technical report, BROADCAST, 1994.
26. Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Alien-Williams, Pierre Habouzit, and Viktor Vafeiadis. Acute: high-level programming language design for distributed computation. In International Conference on Functional Programming (ICFP) 2005, Tallinn, Estonia, September 2005.
27. Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, and Hari Balakrishnan. Chord: A scalable peer-to-peer lookup service for internet applications. In Proceedings of the 2001 conference on applications, technologies, architectures, and protocols for computer communications, pages 149-160. ACM Press, 2001.
28. Valery Trifonov, Bratin Saha, and Zhong Shao. Fully reflexive intensional type analysis. ACM SIGPLAN Notices, 35(9):82-93, 2000.
29. Joseph Vanderwaart and Karl Crary. Foundational typed assembly language for grid computing. Technical Report CMU-CS-04-104, Department of Computer Science, Carnegie Mellon University, February 2004.
30. Xiaoyun Wang, Yiqun Yin, and Hongbo Yu. Finding collisions in the full sha-1. In Crypto '05, August 2005.
31. Stephanie Weirich. Type-safe cast: Functional pearl. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, pages 58-67, Montreal, Canada, September 2000.