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

Computer Science Department	Office:	287 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	for systems programming with theorem-proving

Current Courses

BU CAS CS320: Concepts of Programming Languages, Spring 2013, TR 12:30-2:00

BU CS Graduate Program

Recent Drafts and Publications

Rui Shi, and Hongwei Xi, A Linear Type System for Multicore Programming, Science of Computer Programming, 2012.

Rui Shi, Dengping Zhu, and Hongwei Xi, A Modality for Safe Resource Sharing and Code Reentrancy. In Proceedings of International Colloquium on Theoretical Aspects of Computing (ICTAC'10), LNCS 6255, pp. 382-396, Natal, Brazil, September 1-3, 2010. (bibtex) (pdf) (ps) (slides in ppt)

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, pp. 336-349, Gramado, Brazil, August 19-21, 2009. (bibtex) (pdf) (ps) (slides in pdf) (slides in ps)

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)

Research Students

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

Likai Liu (Graduate)
Matthew Danish (Graduate)
Zhiqiang Ren (Graduate)

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