Zhenjiang Hu

Registered user since Wed 10 Dec 2014

Name: Zhenjiang Hu

Affiliation: Peking University

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

Contributions

SEAMS 2021Committee Member in Program Committee within the SEAMS 2021-track
APLAS 2020Author of A Counterexample-Guided Debugger for Non-Recursive Datalog within the Research Papers-track
ASE 2020Author of Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations within the Research Papers-track
MODELS 2020Committee Member in Steering Committee
Panel chair in Organizing Committee
Session Chair of Panel (part of Panel)
SPLASH 2020Author 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 2020Co-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 2020Author of Question Selection for Interactive Program Synthesis within the PLDI Research Papers-track
SEAMS 2020Session 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 2019Committee Member in Steering Committee
SEAMS 2019Committee 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 2019Committee Member in Program Committee within the Research Papers-track
LASSY 2018Committee Member in Program Committee within the LASSY 2018 (cancelled)-track
Bx 2018Author 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 2018Committee Member in Program Committee within the SEAMS 2018-track
ICFP 2018Committee Member in External Review Committee within the Research Papers-track
FHPC 2017Committee Member in Program Committee within the FHPC 2017-track
ESEC/FSE 2018Author of Putback-Based Bidirectional Model Transformations within the Research Papers-track
POPL 2018Author 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 2017Committee Member in Programme Committee within the PEPM 2017-track
Committee Member in Programme Committee
Haskell 2016Session Chair of Functors (part of Haskell)
Committee Member in Program Committee within the Haskell-track
FHPC 2016Session Chair of Domain Specific Languages (part of FHPC)
Committee Member in Program Committee within the FHPC-track
SLE 2016Author of Parsing and Reflective Printing, Bidirectionally within the SLE-track
ICFP 2016Author 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 2016Author of BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming within the PEPM-track
ECOOP 2016Author of Transforming programs between APIs with Many-to-Many Mappings within the Research Track-track
SLE 2015Committee Member in Program Committee within the SLE-track
PEPM 2015Author of SWIN: Towards Type-Safe Java Program Adaptation between APIs within the PEPM 2015-track