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 CS520: Principles of Programming Languages, Spring 2018, TR 2:00-3:15pm

BU CS Graduate Program

Recent Drafts and Publications

Matthew Danish and Hongwei Xi, Using lightweight theorem proving in an asynchronous systems context. In Proceedings of the Sixth NASA Formal Methods Symposium. Houston, TX, April 30, 2014. (pdf)

Zhiqiang Ren and Hongwei Xi, A Programmer-Centric Approach to Program Verification in ATS, Automated Reasoning in Security and Software Verification (a workshop with CADE24), Lake Placid, New York, June 9, 2013. (bibtex) (pdf)

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)

Research Students

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

Zhiqiang Ren (Graduate)
Hanwen Wu (Graduate)
William Blair (Graduate)

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