Zhenjiang Hu
Orcid: 0009-0006-5406-7560
According to our database1,
Zhenjiang Hu
authored at least 213 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.
ACM Trans. Program. Lang. Syst., June, 2024
Proc. ACM Program. Lang., January, 2024
Proc. ACM Program. Lang., 2024
S<sub>YNTH</sub>BX: An Example-guided Synthesizer for Bidirectional Programs on Relations.
J. Inf. Process., 2024
J. Inf. Process., 2024
CoRR, 2024
Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024
2023
Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects.
Proc. ACM Program. Lang., April, 2023
Proc. ACM Program. Lang., April, 2023
J. Funct. Program., 2023
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2023
2022
Theor. Comput. Sci., 2022
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing.
J. Funct. Program., 2022
Sci. China Inf. Sci., 2022
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022
2021
End Effect Analysis of a Slot-Less Long-Stator Permanent Magnet Linear Synchronous Motor.
Symmetry, 2021
Softw. Syst. Model., 2021
Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
2020
Guiding dynamic programing via structural probability for accelerating programming by example.
Proc. ACM Program. Lang., 2020
IEEE Open J. Comput. Soc., 2020
New Gener. Comput., 2020
J. Syst. Softw., 2020
Proceedings of the Software Foundations for Data Interoperability and Large Scale Graph Data Analytics, 2020
Proceedings of the Software Foundations for Data Interoperability and Large Scale Graph Data Analytics, 2020
Proceedings of the Software Foundations for Data Interoperability and Large Scale Graph Data Analytics, 2020
Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020
Proceedings of the 2020 SIAM Conference on Parallel Processing for Scientific Computing, 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
Blockchain-based Bidirectional Transformations for Access Control and Data Sharing in EMRs.
Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020
Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020
Proceedings of the Blockchain and Trustworthy Systems - Second International Conference, 2020
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020
2019
iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose?
Parallel Comput., 2019
CoRR, 2019
Auto-Updating Portable Application Model of Multi-Cloud Marketplace Through Bidirectional Transformations System.
Proceedings of the Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques, 2019
Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels.
Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019
Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019
Proceedings of the 35th IEEE International Conference on Data Engineering Workshops, 2019
Towards Bidirectional Synchronization Between Communicating Processes and Session Types.
Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019
Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019
Proceedings of the Engineering Adaptive Software Systems, 2019
Proceedings of the Engineering Adaptive Software Systems, 2019
2018
Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -.
CoRR, 2018
A View-based Programmable Architecture for Controlling and Integrating Decentralized Data.
CoRR, 2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018
Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018
Proceedings of the 47th International Conference on Parallel Processing, 2018
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers.
Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018
2017
Inf. Media Technol., 2017
Int. J. Secur. Softw. Eng., 2017
Int. J. Parallel Program., 2017
Proceedings of the 9th International Conference on Knowledge and Systems Engineering, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017
2016
Softw. Syst. Model., 2016
Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel.
J. Inf. Process., 2016
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016
Derivation of parallel-efficient structural recursive functions from declarative graph queries.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
BiGUL: a formally verified core language for putback-based bidirectional programming.
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016
Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016
Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
Proceedings of the Bidirectional Transformations, 2016
2015
Softw. Syst. Model., 2015
Sci. China Inf. Sci., 2015
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015
Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, 2015
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015
2014
A Generate-Test-Aggregate parallel programming library for systematic parallel programming.
Parallel Comput., 2014
Formal derivation and extraction of a parallel program for the all nearest smaller values problem.
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014
Proceedings of the Model-Driven Engineering and Software Development, 2014
Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014
Proceedings of the 36th International Conference on Software Engineering, 2014
Proceedings of the FM 2014: Formal Methods, 2014
2013
Softw. Syst. Model., 2013
NII Shonan Meet. Rep., 2013
J. Funct. Program., 2013
Frontiers Comput. Sci., 2013
Proceedings of the 4th International Symposium on Information and Communication Technology, 2013
Proceedings of the 4th International Symposium on Information and Communication Technology, 2013
A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce.
Proceedings of the 2013 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, 2013
A parameterized graph transformation calculus for finite graphs with monadic branches.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013
Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013
Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism.
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013
Proceedings of the Euro-Par 2013 Parallel Processing, 2013
2012
Manipulating accumulative functions by swapping call-time and return-time computations.
J. Funct. Program., 2012
Formal Aspects Comput., 2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce.
Proceedings of the Programming Languages and Systems, 2012
2011
Supporting runtime software architecture: A bidirectional-transformation-based approach.
J. Syst. Softw., 2011
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the Theory and Practice of Model Transformations, 2011
Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011
2010
Proceedings of the 2010 International Conference on Parallel and Distributed Computing, 2010
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, 2010
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010
Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010
Proceedings of the Programming Languages and Systems, 2010
Proceedings of the Algebraic Methodology and Software Technology, 2010
2009
Int. J. Softw. Tools Technol. Transf., 2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009
Generating Synchronization Engines between Running Systems and Their Model-Based Views.
Proceedings of the Models in Software Engineering, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
Proceedings of the Theory and Practice of Model Transformations, 2009
Proceedings of the Theory and Practice of Model Transformations, 2009
2008
A programmable editor for developing structured documents based on bidirectional transformations.
High. Order Symb. Comput., 2008
Proceedings of the 4th ACM Workshop on Quality of Protection, 2008
2007
Inf. Media Technol., 2007
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays.
Int. J. Parallel Program., 2007
Proceedings of the Advances in Data and Web Management, 2007
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Bidirectionalization transformation based on automatic derivation of view complement functions.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007
Proceedings of the Euro-Par 2007, 2007
2006
Proceedings of the SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30, 2006
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006
Proceedings of the 1st International Conference on Scalable Information Systems, 2006
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006
2005
Proceedings of the Advances in Neural Networks - ISNN 2005, Second International Symposium on Neural Networks, Chongqing, China, May 30, 2005
Proceedings of the Theoretical Aspects of Computing, 2005
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005
Proceedings of the 2005 ACM Symposium on Document Engineering, 2005
2004
Int. J. Parallel Program., 2004
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004
Proceedings of the Euro-Par 2004 Parallel Processing, 2004
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004
2003
J. Funct. Log. Program., 2003
List Homomorphism with Accumulation.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003
Proceedings of the Logic Based Program Synthesis and Transformation, 2003
Proceedings of the Logic Based Program Synthesis and Transformation, 2003
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003
Proceedings of the Euro-Par 2003. Parallel Processing, 2003
2002
Proceedings of the Generative Programming and Component Engineering, 2002
Proceedings of the Discovery Science, 5th International Conference, 2002
Yicho - A System for Programming Program Calculations.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
A Type-Based Approach to Parallelization (preliminary report).
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
An Optimal Staging Algorithm.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
Implementation of Parallel Tree Skeletons on Distributed Systems.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
Fusion Transformation on Functional Programs of Regular Expression Types.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
2001
Calculating a New Data Mining Algorithm for Market Basket Analysis.
J. Funct. Log. Program., 2001
Proceedings of the Semantics, 2001
A Compositional Framework for Querying Optimized Ranges.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001
An Accumulative Parallel Skeleton for All.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001
2000
Proceedings of the Static Analysis, 7th International Symposium, 2000
Diff: A Powerful Parallel Skeleton.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000
Mining Optimized Ranges.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000
1999
Parallel Process. Lett., 1999
Diffusion: Calculating Efficient Parallel Programs.
Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999
1998
Proceedings of the 1998 International Conference on Computer Languages, 1998
Towards Manipulation of Mutually Recursive Functions.
Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998
1997
Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms.
ACM Trans. Program. Lang. Syst., 1997
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997
A calculational fusion system HYLO.
Proceedings of the Algorithmic Languages and Calculi, 1997
1996
Proceedings of the Programming Languages: Implementations, 1996
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996
Proceedings of the Euro-Par '96 Parallel Processing, 1996