Zhenjiang Hu's home page

		Zhenjiang Hu Chair Professor Director of Programming Languages Laboratory Dean of School of Computer Science Peking University

I am a chair professor and the dean of School of Computer Science in Peking University. I received BS and MS degrees from Department of Computer Science and Engineering of Shanghai Jiaotong Unviersity in 1988 and 1991 respectively, and PhD degree from Department of Information Engineering of University of Tokyo in 1996. I became a lecturer (assistant professor) in 1997 and an associate professor in 2000 in University of Tokyo. I joined National Institute of Informatics as a full professor in 2008. I was a full professor in Department of Communication and Information Engineering of University of Tokyo for the period of 2018-2019.

I am Fellow of JFES (Japan Federation of Engineering Society, 2016), ACM Distinguished Scientist (2016), Member of Academia Europaea (2019), IEEE Fellow (2020), and Member of Engineering Academy of Japan (2020).

Research

My main interest is in programming languages and software engineering in general, and functional programming, bidirectional transformation, and software adaptation in particular. I am very interested in transformational programming, and I am looking into how to apply it to automatic program optimization, systematic parallelization of sequential programs, efficient manipulation of structured documents, and bidirectional model transformation for software development.

Selected Recent Publications [complete list | DBLP | Google Scholar]

Semantics Lifting for Syntactic Sugar (OOPSLA 2024)
Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms (TOPLAS)
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis (PLDI 2024)
Fusing Direct Manipulations into Functional Programs (POPL 2024)
Contract Lenses: Reasoning about Bidirectional Programs via Calculation (JFP)

Bidirectional Objected-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects (OOPSLA 2023)
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection (OOPSLA 2023)
Generic Recursive Lens Combinators and Their Calculation Laws (TCS)
A Lazy Desugaring System for Evaluating Programs with Sugars (FLOPS 2022)
Towards Bidirectional Live Programming for Incomplete Programs (ICSE 2022)
Fregel: A Functional Domain-Specific Language for Vertex-Centric Large-Scale Graph Processing (JFP)
Generalizable Synthesis Through Unification (OOPSLA 2021)
Analytical Differential Calculus with Integration (ICALP 2021)
Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example (OOPSLA 2020)
A Counterexample-Guided Debugger for Non-Recursive Datalog (APLAS 2020)
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations (ASE 2020)
Programmable View Update Strategies on Relations (VLDB 2020)
Question Selection for Interactive Program Synthesis (PLDI 2020)
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update (FLOPS 2020)
Model-Driven Design of City Spaces via Bidirectional Transformations (MODELS 2019)
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels (IPDPS 2019)
Incrementalization of Vertex-Centric Programs (IPDPS 2019)
POET: Privacy on the Edge with Bidirectional Data Transformations (PerCom 2019)
Putback-Based Bidirectional Model Transformations (ESEC/FSE 2018)
An Axiomatic Basis for Bidirectional Programming (POPL 2018)

More selected publications: APLAS17, ICFP16, ECOOP16, PEPM16, MPC'15, PPDP'14, VLDB'14, FM'14, ICFP'13, PPDP'13, ICSE'12, ESOP'12, PPDP'11, ICFP'10, MPC'10, ESOP'10, MODELS'10, APLAS'10, ESEC/FSE'09, POPL'09, PEPM'09, ASE'07, ICFP'07, PLDI'07, SPAA'06, MPC'06, APLAS'04, MPC'04, EuroPar'04, ICFP'03, ESOP'02, ICFP'00, SAS'00, POPL'98 ICFP'97, ICFP'96,

Recent Keynote/Invited Talks:

Constructive Bidirectional Programming @ TFP 2021
Dependable Bidirectional Programming @ APSEC 2020
Dependable View Update Strategies on Relations @ FROM 2020
On Verification of Bidirectional Transformations @ ICFEM 2018
Verification of Roundtrip Property in Bidirectional Programming @ FMAC 2018
Can Programming be Liberated from Unidirectional Style? @ FLOPS 2018

My old keynote/invited talks: GRACE 2017, KSE 2017, SCAM'17, JSSST'16, APLAS'14, FM'14, ISHCS'13, AWASE'13, PEPM'13, HOR'12.

Academic Activities

I am now involved in the following international conferences, journals, and communities. Please consider submission of your papers and participation in the related events.

Member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi
Editorial Board Members: Science of Computer Programming, Software and Systems Modeling, Journal of Object Technology, National Science Review, SCIENCE CHINA Information Sciences
Organizers: MODELS 2021 (GC Co-Chair), PEPM 2020 (PC Co-Chair), SoICT 2019 (General Co-Chair)
PC Members: ICFP 2023, POPL 2023, SLE 2022, APLAS 2022, Euro-Par 2022, SEAMS 2022, FLOPS 2022, ESOP 2021, SEAMS 2021, ECMFA 2021, IFL 2020, SEAMS 2020 (MIP Award Committee Chair), FLOPS 2020, PPDP 2019, FM 2019, MPC 2019, SEAMS 2019, POPL 2019, ICFEM 2018, MODELS 2018, ICFP 2018 (ERC), SEAMS 2018, FASE 2018, ICDE 2018, FHPC 2017, Internetware 2017, ECMFA 2017, PEPM 2017

You may find more information about my activities by clicking here.

Teaching

I like teaching. Some materials are available online.

Introduction to Computing A (Special Class on Functional Programming) (Peking University, 2023)
Design Principles of Programming Languages (Peking University, 2022)

Contact Information

Office: Room 1247, Science Building #1, Peking University
Email: huzj at pku.edu.cn

Last modified in April 2021.