Trustless grid computing in concert

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2536, Issue , 2002, Pages 112-125

  Chang, Bor Yuh Evan ^a   Crary, Karl ^a   DeLap, Margaret ^a   Harper, Robert ^a   Liszka, Jason ^a   Murphy, Tom ^a   Pfenning, Frank ^a  

^a Carnegie Mellon University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); TRUSTED COMPUTING; ARTIFICIAL INTELLIGENCE;

CERTIFIED CODES; COMPUTING FRAMEWORKS; GLOBAL NETWORKS; GRID APPLICATIONS; INTRINSIC PROPERTY; LARGE ORGANIZATIONS; NATIVE CODE; PRIVACY POLICIES;

GRID COMPUTING;

EID: 0141910846     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: None     Document Type: Article

References (36)

1. Andrew Appel. Compiling With Continuations. Cambridge University Press, Cambridge, 1992.
2. Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In G. Tsudik, editor, Proceedings of the 6th Conference on Computer and Communications Security, pages 52-62, Singapore, November 1999. ACM Press.
3. Robert D. Blumofe and Philip A. Lisiecki. Adaptive and reliable parallel computing on networks of workstations. In USENIX 1997 Annual Technical Conference on UNIX and Advanced Computing Systems, pages 133-147, Anaheim, California, 1997.
4. ™ programming language. In Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), pages 183-200, Vancouver, British Columbia, October 1998.
5. Peter Cappello, Bernd Christiansen, Mihai F. Ionescu, Michael O. Neary, Klaus E. Schauser, and Daniel Wu. Javelin: Internet-based parallel computing using Java. In ACM Workshop on Java for Science and Engineering Computation, Las Vegas, Nevada, June 1997.
6. Tushar Deepak Chandra and Sam Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 43(2):225-267, March 1996.
7. 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 University, June 2002. Undergraduate honors thesis.
8. Clip2 Distributed Search Services. The Gnutella protocol specification v0.4, September 2000. URL: http://www.gnutella.co.uk/library/pdf/gnutella- protocol-0.4.pdf.
9. ConCert. Certified code for grid computing, project webpage, 2001. URL: http://www.cs.cmu.edu/concert.
10. Karl Crary and Stephanie Weirich. Resource bound certification. In Twenty-Seventh ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 184-198, Boston, Massachusetts, January 2000.
11. David E. Culler, Jaswinder Pal Singh, and Anoop Gupta. Parallel Computer Architecture: A Hardware/Software Approach. Morgan Kaufmann, San Francisco, California, 1999.
12. Margaret DeLap. Implementing a framework for certified grid computing. Technical Report CMU-CS-02-151, Carnegie Mellon University, June 2002. Undergraduate honors thesis.
13. Ian Foster and Carl Kesselman. The Globus toolkit. In Ian Foster and Carl Kesselman, editors, The Grid: Blueprint for a New Computing Infrastructure, chapter 11, pages 259-278. Morgan Kaufmann, San Francisco, California, 1999.
14. Neal Glew and Greg Morrisett. Type-safe linking and modular assembly language. In Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 250-261, San Antonio, Texas, January 1999.
15. Li Gong, Marianne Mueller, Hemma Prafullchandra, and Roland Schemers. Going beyond the sandbox: An overview of the new security architecture in the Java Development Kit 1.2. In USENIX Symposium on Internet Technologies and Systems, Monterey, California, December 1997.
16. ™ Language Specification. Addison-Wesley, second edition, 2000.
17. Paul A. Gray and Vaidy S. Sunderam. Metacomputing with the IceT system. International Journal of High Performance Computing Applications, 13(3):241-252, 1999.
18. Andrew S. Grimshaw and William A. Wulf. Legion: The next logical step toward the world-wide virtual computer. Communications of the ACM, 40(1):39-45, January 1997.
19. Nevin Heintze and Jon G. Riecke. The SLam calculus: Programming with secrecy and integrity. In Twenty-Fifth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 365-377, San Diego, California, January 1998.
20. ICFP. The third annual ICFP programming contest, 2000. URL: http://www.cs.cornell.edu/icfp/.
21. ™ Virtual Machine Specification. Addison-Wesley, second edition, 1999.
22. Steven Lucco, Oliver Sharp, and Robert Wahbe. Omniware: A universal substrate for web programming. In Fourth International World Wide Web Conference, pages 359-368, Boston, Massachusetts, December 1995.
23. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts, 1997.
24. 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.
25. Greg Morrisett, Karl Crary, Neal Glew, and David Walker. Stack-based typed assembly language. Journal of Functional Programming, 12(1):43-88, January 2002.
26. Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. ACM Transactions on Programming Languages and Systems, 21(3):527-568, May 1999.
27. Andrew C. Myers. Jflow: Practical mostly-static information flow control. In Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 228-241, San Antonio, Texas, January 1999.
28. George C. Necula. Proof-carrying code. In Twenty-Fourth ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pages 106-119, Paris, France, January 1997.
29. George C. Necula and Peter Lee. Safe kernel extensions without run-time checking. In Second Symposium on Operating Systems Design and Implementation, pages 229-243, Seattle, Washington, October 1996.
30. George C. Necula and Peter Lee. Safe, untrusted agents using proof-carrying code. In Giovanni Vigna, editor, Special Issue on Mobile Agent Security, volume 1419 of Lecture Notes in Computer Science, pages 61-91. Springer-Verlag, October 1997.
31. Jordan Ritter. Why Gnutella can't scale. No, really., February 2001. URL: http://www.darkridge.com/jpr5/doc/gnutella.html.
32. Luis F. G. Sarmenta. Bayanihan: Web-based volunteer computing using Java. In Second International Conference on World-Wide Computing and its Applications, pages 444-461, March 1998.
33. Luis F. G. Sarmenta and Satoshi Hirano. Bayanihan: Building and studying web-based volunteer computing systems using Java. Future Generation Computer Systems, 15(5-6):675-686, 1999. Special Issue on Metacomputing.
34. SETI@home. The search for extraterrestrial intelligence, 2001. URL: http://setiathome.ssl.berkeley.edu.
35. Robert Wahbe, Steven Lucco, Thomas E. Anderson, and Susan L. Graham. Efficient software-based fault isolation. In Fourteenth ACM Symposium on Operating Systems Principles, pages 203-216, December 1993.
36. Steve Zdancewic and Andrew C. Myers. Confidentiality and integrity with untrusted hosts. Technical Report 2000-1810, Cornell University, 2000.