Welcome!

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
Projects
ATS for systems programming with theorem-proving
Current Courses BU CAS CS520:  Principles of Programming Languages, Fall 2015, MW 2:30-4:00pm

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


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

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