Associate Professor

Hongwei Xi received his Ph.D. degree in the field of Pure and Applied Logic from Carnegie Mellon University (CMU), Pittsburgh, PA, 1998. He joined the Computer Science Department at Boston University in October 2001, and is currently an Associate Professor of Computer Science. Dr. Xi’s research primarily focuses on applying advanced type theory to modern programming language design and implementation. He is the principal designer and implementor of the ATS programming language, which aims to facilitate the construction of safe and reliable software by advocating a programming paradigm that combines programming with theorem proving. Dr. Xi has done a large body of pioneering work on supporting dependent types and linear types for practical programming. He also served on the program committees of several prestigious ACM conferences on programming languages (e.g., POPL, PLDI and ICFP).

Selected 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.

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.