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 CS Intro II: Data Structures, Spring 2010, TR 12:30-2:00PM

Recent Drafts and Publications

Matthew Danish and Hongwei Xi, Operating System Development with ATS. In the Proceedings of International Workshop on Programming Languages Meets Program Verification (PLPV'10), Madrid, Spain, January, 2010. (bibtex) (pdf) (ps)

Hongwei Xi, A Simple and General Theoretical Account for Abstract Types. In the Proceedings of Brazilian Symposium on Formal Methods (SBMF'09), LNCS 5902, 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)

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