research.gif (19100 bytes)
choices.gif (4488 bytes)
 

Robbert van Renesse

Senior Research Associate
rvr@cs.cornell.edu
http://www.cs.cornell.edu/home/rvr/

PhD Vrije Univ., Amsterdam 1989

I am an architect and developer in K. Birman's Ensemble project. Ensemble is a general-purpose group communication framework for supporting adaptive distributed applications. By stacking micro-protocols, a variety of communication semantics can be provided. A protocol stack can be reconfigured on-the-fly to adapt to changes in network services or application demands. We are particularly interested in protocols that support fault-tolerant, secure, and scalable applications. With B. Constable's Nuprl group, we are working on performance, specification, and correctness issues.

vanRenesse.tif (83088 bytes)

I am involved the TACOMA project, with visitor D. Johansen (Tromsoe Univ., Norway) and F. Schneider. This project investigates the "agent" or "smart packet" paradigm, which is a mobile computation. We have implemented several prototype systems and are interested particularly in security issues: host integrity, agent integrity, and interagent integrity.

Professional Activities

  • Associate Editor: IEEE Trans. Distributed and Parallel Systems.

  • Program Committee: IEEE Int. Conf. Distributed Computing Systems.

Lectures

Building adaptive systems using Ensemble. Computer Science, Univ. Penn, Jan. 20, 1998.

Publications

  • Optimizing layered communication protocols. Proc. 6th IEEE Int. Symp. High Performance Distributed Computing. Portland, Oregon (Aug. 1997) (with M. Hayden).

  • Packing messages as a tool for boosting the performance of total ordering protocols. Ibid (with R. Friedman).

  • Moving the Ensemble communication system to NT and Wolfpack. Proc. USENIX Windows NT Workshop (Aug. 1997) (with 7 others).

  • Performance issues in TACOMA. Proc. 3rd. Workshop on Mobile Object Systems, 11th European Conf. Object-Oriented Programming, Jyva_skyla, Finland (June 1997) (with D. Johansen and N. Sudmann).