Hongwei Xi picture

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
ATS for systems programming with theorem-proving
Current Courses BU CAS CS520:  Concepts of Programming Languages, Spring 2015, MW 1:00-2:30

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)

  • 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):

    [ Home | Contact | CV | Research | Publications ]
    [ Projects | Courses ]

    hwxi AT cs DOT bu DOT edu