Constructive Bidirectional Programming
Speaker: Zhenjiang Hu (Peking University)
Abstract: Bidirectional Transformation provides a powerful mechanism for synchronizing and maintaining the consistency of information between different representations. Although many languages have been proposed to support programming bidirectional transformations, we are lacking systematic ways to develop both correct and efficient bidirectional transformation. In this talk, we show that the program calculation technique, which is known to be useful for development of unidirectional functional programs, is useful for systematic development of correct and efficient bidirectional functional programs from a straightforward specification through correctness-preserving calculation.
Bio: Zhenjiang Hu is Chair Professor in Department of Computer Science and Technology, Peking University. He received his B.S. and M.S. degrees from Shanghai Jiao Tong University in 1988 and 1991, respectively, and Ph.D. degree from University of Tokyo in 1996. He was a lecturer (1997–2000) and an associate professor (2000–2008) in University of Tokyo, a full professor at NII (2008-2019), and a full professor at University of Tokyo (2018-2019), before joining Peking University in 2019. His main research interest is in programming languages and software engineering in general, and functional programming, parallel programming, and bidirectional programming in particular. He is Fellow of JFES (Japan Federation of Engineering Society), Fellow of IEEE, Member of Academy of Europe, and Member of Engineering Academy of Japan.