Chercheurs

Informatique / CHEN, PETER M.

pmchen

Position

Associate Professor,
Department of Electrical Engineering and Computer Science
University of Michigan

Thèmes de recherche

- CoVirt Project, which uses virtual machines to provide security services.
- Rio (RAM I/O) project, which investigated how to implement and use reliable memory.
- affiliate member of ARMADA (A Real-time Middleware Architecture for Distributed Applications).
- member of two labs in the Computer Science and Engineering Division of EECS : Software Systems Lab and Advanced Computer Architecture Lab

Prix et récompenses

2002 ACM/AAAI Allen Newell Award "For seminal contributions to data modeling and software engineering, particularly his invention of the Entity-Relationship (ER) model and his pioneering technical contributions and leadership role in Computer-Aided Software Engineering (CASE)."

Publications

CoVirt

Samuel T. King, George W. Dunlap, Peter M. Chen, "Operating System Support for Virtual Machines", Proceedings of the 2003 Annual USENIX Technical Conference, to appear June 2003.

George W. Dunlap, Samuel T. King, Sukru Cinar, Murtaza Basrai, Peter M. Chen, "ReVirt: Enabling Intrusion Analysis through Virtual-Machine Logging and Replay", Proceedings of the 2002 Symposium on Operating Systems Design and Implementation (OSDI) , December 2002.

Peter M. Chen, Brian D. Noble, "When virtual is better than real", Proceedings of the 2001 Workshop on Hot Topics in Operating Systems (HotOS), May 2001.

Rio and fault-tolerance

Subhachandra Chandra, Peter M. Chen "The Impact of Recovery Mechanisms on the Likelihood of Saving Corrupted State", Proceedings of the 2002 International Symposium on Software Reliability Engineering (ISSRE) , November 2002.

Wee Teck Ng, Peter M. Chen, "The Design and Verification of the Rio File Cache", IEEE Transactions on Computers, April 2001. This is an expanded version of our FTCS 1999 paper.

Subhachandra Chandra, "An Evaluation of the Recovery-Related Properties of Software Faults", September 2000. This is Subhachandra Chandra's Ph.D. thesis.