Welcome!

Hongwei Xi picture

Assistant Professor	Curriculum Vitæ(pdf)(ps)
hwxi AT cs DOT bu DOT edu	Publications

Computer Science Department	Office:	172 MCS Building
Boston University	Phone:	+1 617 358 2511
111 Cummington Street, Boston, MA 02215, U.S.A.	Fax:	+1 617 353 6457

Research Interests

Programming Languages, Type Theory, Theorem Proving
Compiler Optimization, Software Engineering

Projects

ATS :	A Language to Support Practical Programming with Theorem Proving

Current Courses

BU CAS CS 520 The Princples of Programming Languages, Fall 08, TR 12:30-2:00PM

Conferences

The 2008 ACM SIGPLAN Workshop on ML, Victoria, British Columbia, Canada, September 21st, 2008
(PC member)

Recent Drafts and Publications

Hongwei Xi, ATS/LF: a type system for constructing proofs as total functional programs. In the Festschrift in honor of Peter Andrews on the occasion of his 70th birthday, Studies in Logic and the Foundation of Mathematics, 2008. (bibtex) (pdf) (ps)

Hongwei Xi, Attributive Types for Proof Erasure. In the post-workshop proceedings of the international workshop TYPES'07, LNCS vol. 4941, December 2007. (bibtex) (pdf) (ps)

Hongwei Xi, Dependent ML: an approach to practical programming with dependent types, Journal of Functional Programming (JFP), vol. 17(2), pp. 215-286, March 2007. (bibtex) (pdf) (ps)

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)

Research Students

I am currently working with the following student(s):

Matthew Danish (Graduate)

hwxi AT cs DOT bu DOT edu
http://www.cs.bu.edu/~hwxi

Hongwei Xi picture

BU CS Graduate Program

BU CS PL Reading Group

Recent Drafts and Publications

Research Students