Zhenjiang Hu

Registered user since Wed 10 Dec 2014

Name:Zhenjiang Hu
Country:China
Affiliation:Peking University

Contributions

ICFP 2023 Committee Member in Program Committee within the ICFP Research Papers-track
POPL 2023 Committee Member in Program Committee within the POPL-track
APLAS 2022 Committee Member in Program Committee
SLE 2022 Committee Member in Program Committee within the SLE 2022-track
SPLASH 2022 Author of A Counterexample-Guided Debugger for Non-Recursive Datalog within the COVID Time Papers In Person-track
MODELS 2022 Steering Committee Member in Steering Committee
ICSE 2022 Author of Towards Bidirectional Live Programming for Incomplete Programs within the Technical Track-track
SEAMS 2022 Committee Member in Program Committee within the SEAMS 2022-track
FLOPS 2022 Author of A Lazy Desugaring System for Evaluating Programs with Sugars within the FLOPS 2022-track
Session Chair of Session 10 (part of FLOPS 2022)
Committee Member in Program Committee within the FLOPS 2022-track
PEPM 2022 Committee Member in Program Committee within the PEPM 2022-track
Committee Member in Steering Committee within the PEPM 2022-track
SPLASH 2021 Author of Generalizable Synthesis through Unification within the OOPSLA-track
MODELS 2021 General Chair in Organizing Committee
Committee Member in Steering Committee
Haskell 2021 Committee Member in Program Committee within the Haskell 2021-track
SEAMS 2021 Committee Member in Program Committee within the SEAMS 2021-track
PEPM 2021 Committee Member in Steering Committee within the PEPM 2021-track
APLAS 2020 Author of A Counterexample-Guided Debugger for Non-Recursive Datalog within the Research Papers-track
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
MODELS 2020 Committee Member in Steering Committee
Panel chair in Organizing Committee
Session Chair of Panel (part of Panel)
ASE 2020 Author of Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations within the 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
PLDI 2020 Author of Question Selection for Interactive Program Synthesis within the PLDI Research Papers-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
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
ESEC/FSE 2018 Author of Putback-Based Bidirectional Model Transformations within the Research Papers-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
SEAMS 2018 Committee Member in Program Committee within the SEAMS 2018-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
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
FHPC 2017 Committee Member in Program Committee within the FHPC 2017-track
PEPM 2017 Committee Member in Programme Committee within the PEPM 2017-track
Committee Member in Programme Committee
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
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
ECOOP 2016 Author of Transforming programs between APIs with Many-to-Many Mappings within the Research Track-track
PEPM 2016 Author of BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming within the PEPM-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