MIME-Version: 1.0 Server: CERN/3.0 Date: Wednesday, 15-Jan-97 01:49:40 GMT Content-Type: text/html Content-Length: 5697 Last-Modified: Tuesday, 19-Nov-96 03:04:35 GMT Paul A.G. Sivilotti (Resume)

Paul A.G. Sivilotti

Caltech 256-80
Pasadena, CA 91125
(818) 395-6230
paolo@cs.caltech.edu
http://www.cs.caltech.edu/~paolo

Education

Expected June 1997
Ph.D. Computer Science
California Institute of Technology
Thesis Topic: Correctness of Distributed Object Computations
Advisor: K. Mani Chandy

June 1993
M.S. Computer Science
California Institute of Technology
Thesis Title: A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language

April 1991
B.Sc.H. Computing Science, Mathematics, and Biochemistry
Queen's University
Kingston, Ontario, Canada

Awards

Classes

1994-present
Classes toward Engineering Management Certificate
Industrial Relations Center, California Institute of Technology

Research Interests

Refereed Publications

"A World-Wide Distributed System Using Java and the Internet", K. Mani Chandy, Adam Rifkin, Paolo A.G. Sivilotti, Jacob Mandelson, Matt Richardson, Wesley Tanaka, and Luke Weisman. Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing (HPDC '96), p.11-18, Syracuse, Aug 9-11, 1996. (won Best Paper Award)

"Toward High Confidence Distributed Systems with Java: Reliable Thread Libraries", Paolo A.G. Sivilotti and K. Mani Chandy. Proceedings of the 11th International Conference on Systems Engineering (ICSE '96), p.194-199, Las Vegas, July 9-11, 1996.

"A Verified Integration of Parallel Programming Paradigms in CC++", Paolo A.G. Sivilotti. Proceedings of the 8th IEEE International Parallel Processing Symposium (IPPS '94), p.44-50, Cancun, Mexico, April 26-29, 1994.

Research Notes

"Composing Processes Using Modified Rely-Guarantee Specifications", Rajit Manohar and Paolo A.G. Sivilotti, Technical Report, Caltech CS-TR-96-22, June 1996.

"Reliable Synchronization Primitives for Java Threads", Paolo A.G. Sivilotti and K. Mani Chandy. Technical Report, Caltech CS-TR-96-11, June 1996.

"A Tutorial for CC++", Paolo A.G. Sivilotti and Peter A. Carlin. Technical Report, Caltech CS-TR-94-02, and CRPC-94391, 1994.

"A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language", Paolo A.G. Sivilotti. Master's Thesis, Technical Report, Caltech CS-TR-93-21, and CRPC-94-03, June 1993.

Work Experience

IBM Summer Research Internship, T.J. Watson Research Center, Summer 1995.

Teaching Assistant, California Institute of Technology

Research Assistant, Canadian Communications Research Center, Summer 1991.

References

References are available upon request.



Paul Sivilotti
Computer Science Department
California Institute of Technology, Pasadena, CA 91125.