Zhenjiang Hu

Registered user since Wed 10 Dec 2014

Name: Zhenjiang Hu

Affiliation: Peking University

Personal website: http://sei.pku.edu.cn/~hu/

Contributions

MODELS 2021 General Chair in Organizing Committee
SEAMS 2021 Committee Member in Program Committee within the SEAMS 2021-track
APLAS 2020 Author of A Counterexample-Guided Debugger for Non-Recursive Datalog within the Research Papers-track
ASE 2020 Author of Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations within the Research Papers-track
MODELS 2020 Committee Member in Steering Committee
Panel chair in Organizing Committee
Session Chair of Panel (part of Panel)
SPLASH 2020 Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the Posters-track
Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the OOPSLA-track
PEPM 2020 Co-chair in PC Chairs within the PEPM 2020-track
Co-chair in Program Committee within the PEPM 2020-track
Session Chair of Opening & Keynote Talk 1 (part of PEPM 2020)
PC Chair of Opening within the PEPM 2020-track
PLDI 2020 Author of Question Selection for Interactive Program Synthesis within the PLDI Research Papers-track
SEAMS 2020 Session Chair of Closing (part of SEAMS 2020)
Committee Member in Program Committee within the SEAMS 2020-track
Program Chair in MIP Award Committee within the SEAMS 2020-track
MIP Award Chair in Organizing Committee within the SEAMS 2020-track
Awards Chair of SEAMS Most Influential Paper Awards within the SEAMS 2020-track
APLAS 2019 Committee Member in Steering Committee
SEAMS 2019 Committee Member in Doctoral Projects Program Committee within the SEAMS 2019-track
Author of Modelling and Analysing ResilientCyber-Physical Systems within the SEAMS 2019-track
Program Committee in Program Committee within the SEAMS 2019-track
POPL 2019 Committee Member in Program Committee within the Research Papers-track
LASSY 2018 Committee Member in Program Committee within the LASSY 2018 (cancelled)-track
Bx 2018 Author of Lightweight Data Sharing System based on Bidirectional Transformations within the Bx 2018-track
Author of An Axiomatic Basis for Bidirectional Programming within the Bx 2018-track
Committee Member in Programme Committee within the Bx 2018-track
SEAMS 2018 Committee Member in Program Committee within the SEAMS 2018-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
FHPC 2017 Committee Member in Program Committee within the FHPC 2017-track
ESEC/FSE 2018 Author of Putback-Based Bidirectional Model Transformations within the Research Papers-track
POPL 2018 Author of An Axiomatic Basis for Bidirectional Programming within the Artifact Evaluation-track
Author of An Axiomatic Basis for Bidirectional Programming within the Research Papers-track
PEPM 2017 Committee Member in Programme Committee within the PEPM 2017-track
Committee Member in Programme Committee
Haskell 2016 Session Chair of Functors (part of Haskell)
Committee Member in Program Committee within the Haskell-track
FHPC 2016 Session Chair of Domain Specific Languages (part of FHPC)
Committee Member in Program Committee within the FHPC-track
SLE 2016 Author of Parsing and Reflective Printing, Bidirectionally within the SLE-track
ICFP 2016 Author of Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
PEPM 2016 Author of BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming within the PEPM-track
ECOOP 2016 Author of Transforming programs between APIs with Many-to-Many Mappings within the Research Track-track
SLE 2015 Committee Member in Program Committee within the SLE-track
PEPM 2015 Author of SWIN: Towards Type-Safe Java Program Adaptation between APIs within the PEPM 2015-track