Complete Papers List

Comprehensive List of Group Papers

These are listed in reverse chronological order; for current writings, please see Recent Publications and Executive Summary.

  1. Leading to a Kind Description Language: Thoughts on Component Specification. (Postscript | PDF) by Joseph R. Kiniry. May, 1999.

  2. An Experiment in Program Composition and Proof. by K. Mani Chandy and Michel Charpentier. Accepted for publication in Formal Methods in System Design. April, 1999.

  3. Towards a Compositional Approach to the Design and Verification of Distributed Systems. (Postscript / PDF) by Michel Charpentier and K. Mani Chandy. To appear in World Congress on Formal Methods, FM'99. 1999.

  4. Examples of Program Composition Illustrating the Use of Universal Properties. (Postscript | PDF) by Michel Charpentier and K. Mani Chandy. Presented at the International workshop on Formal Methods for Parallel Programming: Theory and Applications at FMPPTA'99 and published in Springer Verlag Lecture Notes in Computer Science series (no. 1586). April, 1999.

  5. Fcast Scalable Multicast File Distribution: Caching and Parameter Optimizations. (Postscript) by Gemmell, J., Schooler, E., Gray, J.. Technical Report MSR-TR-99-14, Bay Area Research Center, Microsoft Research, San Francisco, CA. March, 1999.

  6. Session Initation Protocol (SIP). (Postscript, Text) by Handley, M., Schulzrinne, H., Schooler, E., Rosenberg, J.. Internet Draft, IETF MMusic Working Group. January, 1999. Now available as RFC 2543 (Text), a Proposed Standard.

  7. IDebug: An Advanced Debugging Framework for Java. (Postscript | PDF) by Joseph R. Kiniry. September, 1998.

  8. JPP: A Java Pre-Processor. (Postscript | PDF) by Joseph R. Kiniry. September, 1998.

  9. A New Construct for Systems Modeling and Theory: The Kind. (Postscript | PDF) by Joseph R. Kiniry. October, 1998.

  10. An Architecture for Multicast Telepresentations. (Postscript, Microsoft Word) by Gemmell, J., Schooler, E., and Kermode, R. To appear in Journal of Computing and Information Technology, 1998.

  11. A Scalable Multicast Architecture for One-to-Many Telepresentations. (Postscript, Microsoft Word) by Gemmell, J., Schooler, E., Kermode, R.. Included in Proceedings of the IEEE International Conference on Multimedia Computing Systems, ICMCS'98, Austin, TX. June, 1998.

  12. A Preliminary Investigation into Dynamic Distributed Workflow. (Postscript / PDF). Daniel M. Zimmerman's M.S. Thesis. May, 1998.

  13. The Specification of Dynamic Distributed Component Systems. (Gzipped Postscript / Gzippped PDF / HTML). Joseph R. Kiniry's M.S. Thesis. May, 1998.

  14. A Cottage Industry of Software Publishing: Implications for Theories of Composition. (Postscript / PDF / HTML) by K. Mani Chandy, Paolo Sivilotti, and Joseph R. Kiniry. Presented at the Third International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA'98), Orlando, Florida, April 1998. Published in the Springer Verlag Lecture Notes in Computer Science Series (no. 1388), Journal of Parallel and Distributed Processing.

  15. The ÜberNet User's Guide. (Postscript / HTML) Daniel M. Zimmerman's M.S. Research Framework. February, 1998.

  16. Using Announce-Listen with Global Events to Develop Distributed Control Systems. (Postscript / PDF / HTML / Postscript slides) by Chandy, K.M., Rifkin, A., Schooler, E.M. To appear in Concurrency: Practice and Experience (June 1998); also appeared in Proceedings of the ACM Workshop on High Performance Java Network Computing, Palo Alto, CA. February, 1998.

  17. Providing Easier Access to Remote Objects in Client-Server Systems. (HTML) by Jonathan Aldrich, James Dooley, Scott Mandelsohn, and Adam Rifkin. Engineering Client-Server Systems mini-track of the Software Technolgy Track of the 31st Hawaii International Conference on System Sciences. January, 1998

  18. A Framework for Structured Distributed Object Computing. (HTML / Postscript / zipped Postscript) by K. Mani Chandy, Joseph Kiniry, Adam Rifkin, and Daniel Zimmerman. Appeared in Parallel Computing, 1998.

  19. Developing Peer-to-Peer Applications on the Internet: the Distributed Editor, SimulEdit. by Louis Thomas, Sean Suchter, and Adam Rifkin. Appeared in Dr. Dobb's Journal, 1997. (HTML / Word 6.0 doc / Postscript / Download Info)

  20. A General Resource Reservation Framework for Scientific Computing. by Ravi Ramamoorthi, Adam Rifkin, Boris Dimitrov, and K. Mani Chandy. (HTML / Postscript). The First International Scientific Computing in Object-Oriented Parallel Environments (ISCOPE) Conference, Marina del Rey, CA. December, 1997.

  21. Constructing Client-Server Multi-Player Asynchronous Games Using a Single-Computer Model. by Daniel M. Zimmerman, Brian Rothstein, Yevgeniy Kaganovich and Khai Pham. Submitted to IASTED International Conference on Software Engineering, San Francisco, November 1997. (HTML / Postscript)

  22. Using Multicast FEC to Solve the Midnight Madness Problem. by Schooler, E., Gemmell, J. (Postscript), Technical Report MSR-TR-97-25, Bay Area Research Center, Microsoft Research, San Francisco, CA. September, 1997.

  23. Virtual Swap Meet: A Distributed Agent Marketplace. (HTML) CRPC Summer Research Program Summary, August 1997.

  24. Webs of Archived Distributed Computations for Asynchronous Collaboration. (Postscript / zipped Postscript / HTML). Journal of Supercomputing, 11(3), August 1997.

  25. Weaving a Web of Trust. by Rohit Khare and Adam Rifkin. Published in World Wide Web Journal, Summer 1997. (HTML)

  26. Capturing the State of Distributed Systems with XML. by Rohit Khare and Adam Rifkin. Published in World Wide Web Journal, Fall 1997. (HTML)

  27. Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions. by K. Mani Chandy and Adam Rifkin. (Postscript). Presented at HICSS 30, January 1997, where it was awarded the Best Paper in Software Technology prize. The full version of this paper will be published in the Oxford Computer Journal in October 1997, and is available as Caltech CS Technical Report CS-TR-96-15 and CRPC Technical Report Caltech-CRPC-96-2 (compressed Postscript).

  28. Conferencing and Collaborative Computing by Schooler, E.M. (Postscript, MIF, RTF, Text, Postscript Figures) ACM Multimedia Systems Journal, Vol.4, No.5, pp.210-225 (Oct 1996); invited white paper, Proceedings of the Dagstuhl International Workshop on Fundamentals and Perspectives on Multimedia Systems, pp.175-208, Dagstuhl, Germany (July 1994),

  29. Caltech Infospheres Project Overview: Information Infrastructures for Task Forces (Postscript / compressed Postscript / HTML). An overview of the problem domain and Infosphere project goals, November 1996.

  30. Leveraging the World Wide Web for the Worldwide Component Network (HTML). Presented at OOPSLA '96 via Workshop Toward the integration of WWW and Distributed Object Technology, October 1996.

  31. Dapplets: Distributed, Persistent, Multithreaded Objects and Support For Reliable Distributed Internet Applications (extended abstracts, HTML). Submitted as abstracts to HICSS 30, but not written as papers.

  32. QoS in the Internet:An Overview (Postscript), Schooler, E.M., Broadband Information Systems Lab, Hewlett-Packard Laboratories, Palo Alto, CA (Aug 1996).

  33. A World-Wide Distributed System Using Java and the Internet (Postscript). Presented at High Performance Distributed Computing (HPDC-5) - Focus Workshop on Multimedia and Collaborative Environments, Syracuse, August 1996 and awarded the Best Paper in HPDC Software prize. Also available as Caltech CS Technical Report CS-TR-96-08 and CRPC Technical Report Caltech-CRPC-96-1. (Postscript or compressed Postscript or HTML).

  34. Designing Directories in Distributed Systems: A Systematic Framework (Postscript), Chandy, K.M., Schooler, E.M. Proceedings of the Workshop on Multimedia and Collaborative Environments, High Performance Distributed Computing Conference, Syracuse, NY (Aug 1996); also available as technical report CS-TR-96-19, Department of Computer Science, California Institute of Technology, Pasadena, CA (Aug 1996).

  35. A Multicast User Directory Service for Synchronous Rendezvous (Postscript / PDF / HTML), Eve Schooler's M.S. Thesis, August, 1996.

  36. A New Approach To Collaborative Distributed Computing (HTML). In the Summer 1996 newsletter of the Center for Research on Parallel Computation.

  37. The Scientist's Infosphere (HTML). Written for the ENIAC anniversary issue (summer 96) of IEEE Computational Science and Engineering.

  38. Toward High-Confidence Distributed Programming with Java: Reliable Thread Libraries (Postscript). Presented at the 11th International Conference on Systems Engineering - ICSE 96, Las Vegas, 9-11 July 1996. The full version of this paper available as Caltech CS Technical Report CS-TR-96-11, Reliable Synchronization Primitives for Java Threads (compressed Postscript).

  39. Caltech Infospheres Project (position paper in HTML, slides in HTML/GIF). Published in the June 1996 at the Joint W3C/OMG Workshop on Distributed Objects and Mobile Code.

  40. Composing Processes Using Modified Rely-Guarantee Specifications (compressed Postscript). Submitted to Principles of Distributed Computing 97.

  41. A Problem Solving Environment for Airshed Models Using the 3D+T+M^k Archetype (slides, HTML). Presented to the Center for Research on Parallel Computation, May 1996.

  42. Distributed Coffee House: Safe Distributed Computing with Java (slides in HTML/GIF). Presented to the Center for Research on Parallel Computation, May 1996.

  43. Abstract: Specification, Composition, and Validation of Distributed Components. (HTML)

  44. Abstract: A Distributed, Persistent Component Repository. (HTML)

  45. The Web meets MOOs, IRC and the MBone (HTML) Mates, N., Nystrom, M., Schooler, E., CS138 Final Report, Department of Computer Science, California Institute of Technology, Pasadena, CA (June 1995).

  46. Managing Shared Ephemeral Teleconferencing State: Policy and Mechanism (Postscript), Shenker, S., Weinrib, A., Schooler, E., Proceedings of the International Workshop on Multimedia Transport and Teleservices, COST237, Vienna, Austria, (Nov 1994); republished in Lecture Notes in Computer Science, vol. 882, p. 69-?? (1994): a later version of this is Internet Draft, ietf-mmusic-agree-00.{Text, Postscript}.

[ Home ] [ People ] [ Papers ] [ Releases ] [ Mailing Lists ] [ Related Work ] [ Past Projects ] [ Group Resources ]

The Infospheres Project is sponsored by the CISE directorate of the National Science Foundation under Problem Solving Environments grant CCR-9527130, the Center for Research in Parallel Computing under grant NSF CCR-9120008, and by Parasoft and Novell. The formal methods and adaptivity (reliability, mobility, security) parts of the project are sponsored by the Air Force Office of Scientific Research under grant AFOSR F49620-94-1-0244.

Last modified: Wed Jun 9 01:29:23 PDT 1999