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 (faculty)	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, Programming with Theorem Proving

Projects

ATS:	A Language to Support Practical Programming with Theorem Proving

Current Courses

BU CAS CS 520 Principles of Programming Languages, Fall 09, TR 11:00-12:30

Recent Drafts and Publications

Hongwei Xi, A Simple and General Theoretical Account for Abstract Types. In the Proceedings of Brazilian Symposium on Formal Methods (SBMF'09), LNCS, Gramado, Brazil, August 19-21, 2009. (bibtex) (pdf) (ps) (slides in ps) (slides in pdf)

Rui Shi and Hongwei Xi, A Linear Type System for Multicore Programming. In Proceedings of Simposio Brasileiro de Linguagens de Programacao (SBLP'09), Gramado, Brazil, August 19-21, 2009. (bibtex) (pdf) (ps) (slides in ps) (slides in pdf)

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)

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