Chiyan Chen's Homepage

Contact

Email: chiIyan@cCs.bBu.eDdu (remove the capital letters)
Office: 170 MCS Building
Tel: +1 617 358 1148 (office)
Address: Computer Science Department
Boston University
111 Cummington Street
Boston, MA 02215

Curriculum Vitæ

Research Interest:

  • Programming language design and implementation, type theory, type systems

  • Compiler implementation and optimization

  • Software engineering, specification and verification

Education:

Publications

Conferences and Workshops

  • Chiyan Chen and Hongwei Xi, Combining Programming with Theorem Proving. In Proceedings of the 10th International Conference on Functional Programming (ICFP'05), Tallinn, Estonia, September 2005. (pdf) (ps)

  • 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), LNCS vol. 3057, pp. 23--38, Dallas, TX, June 2004. (bibtex) (pdf) (ps)

  • Chiyan Chen, Dengping Zhu and Hongwei Xi, Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. In Proceedings of the 6th International Symposium on Practical Aspects of Declarative Languages (PADL '04), LNCS vol. 3057, pp. 239--254, Dallas, TX, June 2004. (bibtex) (pdf) (ps)

  • Chiyan Chen and Hongwei Xi, Meta-Programming through Typeful Code Representation. In Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming (ICFP 2003) Uppsala, pp. 275-286, Sweden, 25-29 August 2003. (bibtex) (ps) (pdf)

  • Chiyan Chen and Hongwei Xi, Implementing Typeful Program Transformation. In Proceedings of the ACM SIGPLAN 2003 Workshop on Partial Evaluation and Semantics Based Program Manipulation (PEPM'03), pp. 20-28, San Diego, California, Saturday June 7, 2003. (bibtex) (ps) (pdf) (slides for presentation at PEPM)

  • Hongwei Xi, Chiyan Chen and Gang Chen, Guarded Recursive Datatype Constructors. In Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL '03), pp. 224-235, New Orleans, Louisiana, January 2003. (bibtex) (ps) (pdf)

Journals

  • Chiyan Chen and Hongwei Xi, Meta-Programming through Typeful Code Representation. Journal of Functional Programming, vol. 15(6), pp. 1--39, 2005. (bibtex) (pdf) (ps)

  • Chiyan Chen, Rui Shi and Hongwei Xi, Implementing Typeful Program Transformations. Accepted by Fundamenta Informaticae. (pdf) (ps)

Recent Drafts

  • Juan Chen and Chiyan Chen, A Typed Intermediate Language for Supporting Multiple Inheritance via Interfaces. December 2004.

  • Rui Shi, Chiyan Chen and Hongwei Xi, A Functional Approach to Typed Object-Oriented Programming. December 2004.

  • Chiyan Chen and Hongwei Xi, ATS/LF: a type system for constructing proofs as total functional programs. November 2004. (pdf) (ps)

  • Chiyan Chen, Rui Shi and Hongwei Xi, Distributed Meta-Programming. July 2004. (pdf) (ps)

Technical Reports

  • Chiyan Chen, A Type System for Scoped Memory Management. Technical Report. (ps) (pdf)

Professional Activities

  • Previous coordinator of the Church Project seminar series

  • Presentation: Implementing Staged Computation, in the 7th NEPLS, Worcester, MA, October 15, 2002.

  • Presentation: A Type Theoretical Model for OOP with Multiple Inheritance, in the 10th NEPLS, Brandeis University, Waltham, MA, October 21, 2003.

  • Presentation: Voice from an Isolated Corner. BU CS Friday lunch performance.