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 CS320:  Concepts of Programming Languages, Spring 2014, TR 12:30-2:00

BU CS Graduate Program

Recent Drafts and Publications

  • 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
    http://www.cs.bu.edu/~hwxi