Travelled to:
1 × Canada
1 × Cyprus
1 × India
1 × Japan
1 × Norway
1 × Portugal
1 × Singapore
1 × South Korea
1 × Spain
15 × USA
2 × Denmark
2 × Estonia
2 × France
2 × Sweden
2 × United Kingdom
3 × Germany
3 × Switzerland
4 × Italy
4 × The Netherlands
Collaborated with:
M.Takeichi ∅ K.Nakano H.Iwasaki H.Kato S.Hidaka H.Ko W.Chin K.Matsuda H.Pacheco I.Sasano Y.Xiong S.Fischer T.Zan K.Inaba D.Liu T.Yokoyama S.Mu M.Ogawa H.Zhao H.Mei X.He A.Morihata K.Matsuzaki H.Song K.Asada J.Li C.Wang Z.Zhu P.Martins J.Saraiva A.Cunha K.Emoto J.Voigtländer M.Wang T.Murakami K.Kakehi S.Khoo A.Takano L.Liu F.Loulergue S.Robillard J.Tesson J.Legaux M.Onizuka M.Hamana K.Morita Y.Yu Y.Lin L.Montrieux B.Wang W.Zhang K.Czarnecki J.N.Foster R.Lämmel A.Schürr J.F.Terwilliger Y.Zhang J.Jiang Xiangyu Luo L.Z.0023
Talks about:
transform (20) program (16) bidirect (15) base (10) parallel (9) model (8) calcul (7) graph (7) toward (6) bidirection (5)
♂ Person: Zhenjiang Hu
DBLP: Hu:Zhenjiang
Facilitated 32 volumes:
Contributed to:
Wrote 58 papers:
- BX-2015-ZhuKMSH #named #parsing
- BiYacc: Roll Your Parser and Reflective Printer into One (ZZ, HSK, PM, JS, ZH), pp. 43–50.
- PEPM-2015-LiWXH #adaptation #api #java #named #towards #type safety
- SWIN: Towards Type-Safe Java Program Adaptation between APIs (JL, CW, YX, ZH), pp. 91–102.
- FM-2014-HuPF #bidirectional #programming
- Validity Checking of Putback Transformations in Bidirectional Programming (ZH, HP, SF), pp. 1–15.
- PEPM-2014-PachecoHF #bidirectional #combinator #monad #programming
- Monadic combinators for “Putback” style bidirectional programming (HP, ZH, SF), pp. 39–50.
- PPDP-2014-PachecoZH #bidirectional #functional #named #xml
- BiFluX: A Bidirectional Functional Update Language for XML (HP, TZ, ZH), pp. 147–158.
- SAC-2014-LoulergueRTLH #parallel #problem
- Formal derivation and extraction of a parallel program for the all nearest smaller values problem (FL, SR, JT, JL, ZH), pp. 1577–1584.
- VLDB-2014-OnizukaKHNH13 #optimisation #pipes and filters #query
- Optimization for iterative queries on MapReduce (MO, HK, SH, KN, ZH), pp. 241–252.
- ICFP-2013-HidakaAHKN #graph #order #query #recursion
- Structural recursion for querying ordered graphs (SH, KA, ZH, HK, KN), pp. 305–318.
- PEPM-2013-Hu #aspect-oriented #bidirectional #graph transformation
- Practical aspects of bidirectional graph transformations (ZH), pp. 1–2.
- PPDP-2013-AsadaHKHN #branch #calculus #finite #graph #graph transformation #monad
- A parameterized graph transformation calculus for finite graphs with monadic branches (KA, SH, HK, ZH, KN), pp. 73–84.
- BX-2012-PachecoCH #induction #lens
- Delta Lenses over Inductive Types (HP, AC, ZH), pp. 21–37.
- ESOP-2012-EmotoFH #framework #parallel #pipes and filters #programming
- Generate, Test, and Aggregate — A Calculation-based Framework for Systematic Parallel Programming with MapReduce (KE, SF, ZH), pp. 254–273.
- ICSE-2012-YuLHHKM #bidirectional #invariant #maintenance #traceability
- Maintaining invariant traceability through bidirectional transformations (YY, YL, ZH, SH, HK, LM), pp. 540–550.
- ASE-2011-HidakaHIKN #bidirectional #framework #model transformation #named
- GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations (SH, ZH, KI, HK, KN), pp. 480–483.
- BX-2011-Hu #bidirectional
- Trace-based Bidirectionalization (ZH), p. 49.
- ICMT-2011-SasanoHHIKN #atl #bidirectional #towards
- Toward Bidirectionalization of ATL with GRoundTram (IS, ZH, SH, KI, HK, KN), pp. 138–151.
- LOPSTR-2011-HidakaHIKMNS #graph transformation #optimisation
- Marker-Directed Optimization of UnCAL Graph Transformations (SH, ZH, KI, HK, KM, KN, IS), pp. 123–138.
- PPDP-2011-InabaHHKN #higher-order #logic #monad #using #verification
- Graph-transformation verification using monadic second-order logic (KI, SH, ZH, HK, KN), pp. 17–28.
- ESOP-2010-MatsudaMHT #approach #grammarware #source code
- A Grammar-Based Approach to Invertible Programs (KM, SCM, ZH, MT), pp. 448–467.
- ICFP-2010-HidakaHIKMN #bidirectional #graph transformation
- Bidirectionalizing graph transformations (SH, ZH, KI, HK, KM, KN), pp. 205–216.
- ICFP-2010-VoigtlanderHMW #bidirectional #semantics
- Combining syntactic and semantic bidirectionalization (JV, ZH, KM, MW), pp. 181–192.
- MoDELS-v1-2010-WangXHZZM #approach #consistency #feature model #modelling
- A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models (BW, YX, ZH, HZ, WZ, HM), pp. 181–195.
- ESEC-FSE-2009-XiongHZSTM #automation #consistency #nondeterminism
- Supporting automatic model inconsistency fixing (YX, ZH, HZ, HS, MT, HM), pp. 315–324.
- ICMT-2009-CzarneckiFHLST #bidirectional #perspective
- Bidirectional Transformations: A Cross-Discipline Perspective (KC, JNF, ZH, RL, AS, JFT), pp. 260–283.
- ICMT-2009-XiongSHT #bidirectional #model transformation #parallel
- Supporting Parallel Updates with Bidirectional Model Transformations (YX, HS, ZH, MT), pp. 213–228.
- PEPM-2009-MatsudaHT #type system #xml
- Type-based specialization of xml transformations (KM, ZH, MT), pp. 61–72.
- POPL-2009-MorihataMHT #divide and conquer #morphism #theorem
- The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer (AM, KM, ZH, MT), pp. 177–185.
- SAC-2009-HidakaHKN #approach #composition #development #model transformation #towards
- Towards a compositional approach to model transformation for software development (SH, ZH, HK, KN), pp. 468–475.
- BX-2008-Hu
- Languages Short Talk 6 (ZH), p. 6.
- BX-2008-Hu1 #parallel
- Inversion in Parallelization (ZH), p. 38.
- ASE-2007-XiongLHZTM #automation #model transformation #towards
- Towards automatic model synchronization from model transformations (YX, DL, ZH, HZ, MT, HM), pp. 164–173.
- ICFP-2007-MatsudaHNHT #automation #bidirectional
- Bidirectionalization transformation based on automatic derivation of view complement functions (KM, ZH, KN, MH, MT), pp. 47–58.
- PEPM-2007-LiuHT #bidirectional #xquery
- Bidirectional interpretation of XQuery (DL, ZH, MT), pp. 21–30.
- PLDI-2007-MoritaMMHT #automation #divide and conquer #parallel #source code
- Automatic inversion generates divide-and-conquer parallel programs (KM, AM, KM, ZH, MT), pp. 146–155.
- DocEng-2005-LiuHT #dependence #documentation #maintenance #xml
- An environment for maintaining computation dependency in XML documents (DL, ZH, MT), pp. 42–51.
- GTTSE-2005-HuYT #optimisation
- Program Optimizations and Transformations in Calculation Form (ZH, TY, MT), pp. 144–168.
- PEPM-2004-HuMT #bidirectional #documentation #editing #programmable
- A programmable editor for developing structured documents based on bidirectional transformations (ZH, SCM, MT), pp. 178–189.
- ICFP-2003-OgawaHS #program analysis
- Iterative-free program analysis (MO, ZH, IS), pp. 111–123.
- LOPSTR-2003-MurakamiHKT #algorithm #analysis #performance #staging
- An Efficient Staging Algorithm for Binding-Time Analysis (TM, ZH, KK, MT), pp. 106–107.
- LOPSTR-2003-YokoyamaHT #higher-order #program transformation
- Deterministic Higher-Order Patterns for Program Transformation (TY, ZH, MT), pp. 128–142.
- ESOP-2002-HuIT #cumulative #parallel
- An Accumulative Parallel Skeleton for All (ZH, HI, MT), pp. 83–97.
- GPCE-2002-ChinH #composition #towards
- Towards a Modular Program Derivation via Fusion and Tupling (WNC, ZH), pp. 140–155.
- SAIG-2001-SasanoHT #generative #multi #performance #problem #source code
- Generation of Efficient Programs for Solving Maximum Multi-marking Problems (IS, ZH, MT), pp. 72–91.
- ICFP-2000-SasanoHTO #algorithm #linear #problem
- Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems (IS, ZH, MT, MO), pp. 137–149.
- PADL-2000-HuCT #algorithm #analysis #data mining #mining
- Calculating a New Data Mining Algorithm for Market Basket Analysis (ZH, WNC, MT), pp. 169–184.
- SAS-2000-ChinKHT #invariant #parallel
- Deriving Parallel Codes via Invariants (WNC, SCK, ZH, MT), pp. 75–94.
- PEPM-1999-HuTI #named #parallel #performance #source code
- Diffusion: Calculating Efficient Parallel Programs (ZH, MT, HI), pp. 85–94.
- FLOPS-1998-IwasakiHT #recursion #towards
- Towards Manipulation of Mutually Recursive Functions (HI, ZH, MT), pp. 61–79.
- POPL-1998-HuTC #parallel
- Parallelization in Calculational Forms (ZH, MT, WNC), pp. 316–328.
- ICFP-1997-HuITT #multi #traversal
- Tupling Calculation Eliminates Multiple Data Traversals (ZH, HI, MT, AT), pp. 164–175.
- ICFP-1996-HuIT #morphism #recursion
- Deriving Structural Hylomorphisms From Recursive Definitions (ZH, HI, MT), pp. 73–82.
- PLILP-1996-HuIT
- Cheap Tupling in Calculational Form (ZH, HI, MT), pp. 471–472.
- SLE-2016-ZhuZK0SH #bidirectional #parsing
- Parsing and reflective printing, bidirectionally (ZZ, YZ, HSK, PM, JS, ZH), pp. 2–14.
- BX-2016-ZanLKH #bidirectional #library #named
- Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views (TZ, LL, HSK, ZH), pp. 77–89.
- ESEC-FSE-2018-HeH #bidirectional #model transformation
- Putback-based bidirectional model transformations (XH, ZH), pp. 434–444.
- ECOOP-2016-WangJLXLZH #api #source code
- Transforming Programs between APIs with Many-to-Many Mappings (CW, JJ, JL, YX, XL, LZ0, ZH), p. 26.
- PEPM-2016-KoZH #bidirectional #named #programming
- BiGUL: a formally verified core language for putback-based bidirectional programming (HSK, TZ, ZH), pp. 61–72.
- POPL-2018-KoH #axiom #bidirectional #programming
- An axiomatic basis for bidirectional programming (HSK, ZH), p. 29.