Research

PROJECTS

PUBLICATIONS

1. Rui Shi, Chiyan Chen and Hongwei Xi, Distributed Meta-Programming, In Proceedings of the 5th International Conference on Generative Programming and Component Engineering (GPCE'06), Portland, OR, October 2006. (pdf) (ps) (ppt)
2. Chiyan Chen, Rui Shi and Hongwei Xi, Implementing Typeful Program Transformations, Fundamenta Informaticae, vol. 70, pp. 1-19. (bibtex) (pdf) (ps)
3. Chiyan Chen, Rui Shi and Hongwei Xi, A Typeful Approach to Object-Oriented Programming with Multiple Inheritance. In Proceedings of the 6th International Symposium on Practical Aspects of Declarative Languages (PADL'04), Springer-Verlag LNCS vol. 3057, pp. 23--38, Dallas, TX, June 2004. (bibtex) (pdf) (ps) (slides in ppt)

TECHNICAL REPORTS

1. Rui Shi and Hongwei Xi. Types for Safe Concurrent Programming with Shared Resources. November 2006.
2. Rui Shi, Hongwei Xi and Dengping Zhu. A Modality for Safe Resource Sharing in Practical Programming. October 2006.
3. Rui Shi, Chiyan Chen and Hongwei Xi, A Functional Approach to Typed Object-Oriented Programming. April 2005. (pdf) (ps)
4. Chiyan Chen, Rui Shi and Hongwei Xi, Distributed Meta-Programming. July 2004. (pdf) (ps)

PRESENTATIONS

1. Distributed Meta-Programming. The 5th International Conference on Generative Programming and Component Engineering (GPCE’06), Portland, OR, October 2006.(ppt)
2. Distributed Meta-Programming. The 18th New England Programming Languages and Systems Symposium (NEPLS), University of Southern Maine, Portland, ME, October, 2006.(ppt)
3. A Functional Approach to Typed Object-Oriented Programming. 15th New England Programming Languages and Systems Symposium (NEPLS), Williams College, Williamstown, MA, June, 2005. (ppt)
4. A Typeful Approach to Object-Oriented Programming with Multiple Inheritance. The 6th International Symposium on Practical Aspects of Declarative Languages (PADL'04), Dallas, TX, June 2004. (ppt)