Zhenjiang Hu -

Registered user since Wed 10 Dec 2014

Name:Zhenjiang Hu

Country:China

Affiliation:Peking University

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

Contributions

SLE 2023	Committee Member in Program Committee within the SLE 2023-track
SPLASH 2023	Author of Bidirectional Objected-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects within the OOPSLA-track Author of Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection within the OOPSLA-track
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