Zhenjiang Hu

Registered user since Wed 10 Dec 2014

Name: Zhenjiang Hu

Country: Japan

Affiliation: National Institute of Informatics

Contributions

SEAMS 2019Committee Member in Doctoral Projects Program Committee 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