我们收录了 "胡振江" 的 161 篇 paper：

• Special Issue on Programming Languages and Systems., 2020-05-14
• Calculating Accumulations., 2020-05-14
• Programmable View Update Strategies on Relations., 2020-04-25
• Optimization for iterative queries on MapReduce., 2020-04-25
• An axiomatic basis for bidirectional programming., 2020-04-16
• Consistent Web site updating based on bidirectional transformation., 2020-04-02
• Towards Systematic Parallelization of Graph Transformations Over Pregel., 2020-04-01
• A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays., 2020-04-01
• Editorial: the Sixth International Symposium on Functional and Logic Programming., 2020-04-01
• A New Parallel Skeleton for General Accumulative Computations., 2020-04-01
• A programmable editor for developing structured documents based on bidirectional transformations., 2020-03-27
• Calculating an Optimal Homomorphic Algorithm for Bracket Matching., 2020-03-24
• Systematic Derivation of Tree Contraction Algorithms., 2020-03-24
• Dagstuhl seminar on bidirectional transformations (BX)., 2020-03-06
• Preface., 2020-03-02
• Constructing format-preserving printing from syntax-directed definitions., 2020-03-02
• The essence of bidirectional programming., 2020-03-02
• Supporting runtime software architecture: A bidirectional-transformation-based approach., 2020-02-24
• Parallel skeletons for manipulating general trees., 2020-02-22
• iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose?, 2020-02-22
• A Generate-Test-Aggregate parallel programming library for systematic parallel programming., 2020-02-22
• Retentive Lenses., 2020-01-13
• Towards Bidirectional Synchronization Between Communicating Processes and Session Types., 2019-12-27
• Programmable View Update Strategies on Relations., 2019-12-02
• Model-Driven Design of City Spaces via Bidirectional Transformations., 2019-12-02
• Auto-Updating Portable Application Model of Multi-Cloud Marketplace Through Bidirectional Transformations System., 2019-11-08
• Toward Co-existing Database Schemas based on Bidirectional Transformation., 2019-10-25
• POET: Privacy on the Edge with Bidirectional Data Transformations., 2019-10-19
• Modelling and analysing resilient cyber-physical systems., 2019-10-19
• A Fusion-Embedded Skeleton Library., 2019-10-19
• Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers., 2019-10-19
• Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing., 2019-10-19
• A library of constructive skeletons for sequential style of parallel programming., 2019-10-19
• FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence., 2019-10-16
• Goal Modelling for Security Problem Matching and Pattern Enforcement., 2019-09-25
• Incrementalization of Vertex-Centric Programs., 2019-09-25
• Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels., 2019-09-09
• Synchronizing concurrent model updates based on bidirectional transformation., 2019-08-19
• Guest editorial to the special section on model transformation., 2019-08-19
• Feature-based classification of bidirectional transformation approaches., 2019-08-19
• Blockchain-Based Bidirectional Updates on Fine-Grained Medical Data., 2019-07-05
• Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views., 2019-05-28
• BiYacc: Roll Your Parser and Reflective Printer into One., 2019-05-28
• Tolerating Inconsistency in Feature Models., 2019-05-28
• Delta Lenses over Inductive Types., 2019-05-22
• Blockchain-based Bidirectional Updates on Fine-grained Medical Data., 2019-05-02
• Controlling and Sharing Distributed Data for Implementing Service Alliance., 2019-04-09
• A compositional approach to bidirectional model transformation., 2019-02-12
• Integrating Goal Model into Rule-Based Adaptation., 2019-02-05
• Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels., 2018-11-22
• On early statistical requirements validation of cyber-physical space systems., 2018-11-21
• Putback-based bidirectional model transformations., 2018-11-21
• iPregel: A Combiner-Based In-Memory Shared Memory Vertex-Centric Framework., 2018-11-21
• A lightweight data sharing system based on bidirectional transformations., 2018-11-21
• Bidirectional Transformations: A Cross-Discipline Perspective., 2018-11-14
• A programmable editor for developing structured documents based on bidirectional transformations., 2018-11-06
• An environment for maintaining computation dependency in XML documents., 2018-11-06
• Towards Attribute-Based Authorisation for Bidirectional Programming., 2018-11-06
• A parameterized graph transformation calculus for finite graphs with monadic branches., 2018-11-06
• Monadic combinators for "Putback" style bidirectional programming., 2018-11-06
• Iterative-free program analysis., 2018-11-06
• Structural recursion for querying ordered graphs., 2018-11-06
• The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer., 2018-11-06
• BiGUL: a formally verified core language for putback-based bidirectional programming., 2018-11-06
• Type-based specialization of xml transformations., 2018-11-06
• Towards a compositional approach to model transformation for software development., 2018-11-06
• Enforcing a security pattern in stakeholder goal models., 2018-11-06
• Writing bidirectional model transformations as intentional updates., 2018-11-06
• Iterative-free program analysis., 2018-11-06
• SWIN: Towards Type-Safe Java Program Adaptation between APIs., 2018-11-06
• Parallelization in Calculational Forms., 2018-11-06
• Bidirectional interpretation of XQuery., 2018-11-06
• Tupling Calculation Eliminates Multiple Data Traversals., 2018-11-06
• Derivation of parallel-efficient structural recursive functions from declarative graph queries., 2018-11-06
• Formal derivation and extraction of a parallel program for the all nearest smaller values problem., 2018-11-06
• A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce., 2018-11-06
• Graph-transformation verification using monadic second-order logic., 2018-11-06
• Bidirectionalizing graph transformations., 2018-11-06
• Program Transformation in Calculational Form., 2018-11-06
• Automatic inversion generates divide-and-conquer parallel programs., 2018-11-06
• Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms., 2018-11-06
• Minimizing data transfers for regular reachability queries on distributed graphs., 2018-11-06
• Bidirectionalization transformation based on automatic derivation of view complement functions., 2018-11-06
• Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems., 2018-11-06
• Efficient query evaluation on distributed graphs with Hadoop environment., 2018-11-06
• Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism., 2018-11-06
• Towards automatic parallelization of tree reductions in dynamic programming., 2018-11-06
• Practical aspects of bidirectional graph transformations., 2018-11-06
• Supporting automatic model inconsistency fixing., 2018-11-06
• BiFluX: A Bidirectional Functional Update Language for XML., 2018-11-06
• Deriving Structural Hylomorphisms From Recursive Definitions., 2018-11-06
• Combining syntactic and semantic bidirectionalization., 2018-11-06
• Reusable self-adaptation through bidirectional programming., 2018-11-06
• Towards automatic model synchronization from model transformations., 2018-11-06
• Maintaining invariant traceability through bidirectional transformations., 2018-11-02
• Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access., 2018-11-02
• Validity Checking of Putback Transformations in Bidirectional Programming., 2018-11-02
• Towards Variability Management in Bidirectional Model Transformation., 2018-11-02
• A Clear Picture of Lens Laws - Functional Pearl., 2018-11-02
• Rule-directed code clone synchronization., 2018-11-02
• Supporting Selective Undo for Refactoring., 2018-11-02
• Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -., 2018-10-08
• Transforming Programs between APIs with Many-to-Many Mappings., 2018-08-23
• A View-based Programmable Architecture for Controlling and Integrating Decentralized Data., 2018-08-13
• Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access., 2018-08-13
• A Grammar-Based Approach to Invertible Programs., 2018-06-26
• Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce., 2018-06-26
• Principles and Practice of Bidirectional Programming in BiGUL., 2018-05-05
• Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7)., 2018-02-22
• Supporting feature model refinement with updatable view., 2018-02-19
• Bidirectional programming and software adaptation: Towards a happy marriage., 2017-12-08
• Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins., 2017-09-17
• Gradual Refinement., 2017-09-17
• Refactoring pattern matching., 2017-09-17
• Generating Synchronization Engines between Running Systems and Their Model-Based Views., 2017-06-15
• A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models., 2017-06-15
• Supporting Parallel Updates with Bidirectional Model Transformations., 2017-06-15
• Bidirectional Transformation "bx" (Dagstuhl Seminar 11031)., 2017-06-07
• Interactive Inconsistency Fixing in Feature Modeling., 2017-05-28
• Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel., 2017-05-28
• Manipulating accumulative functions by swapping call-time and return-time computations., 2017-05-27
• Program Calculation in Coq., 2017-05-26
• Consistent Web site updating based on bidirectional transformation., 2017-05-26
• Deterministic second-order patterns., 2017-05-26
• Program Optimizations and Transformations in Calculation Form., 2017-05-25
• Toward Bidirectionalization of ATL with GRoundTram., 2017-05-24
• Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions., 2017-05-24
• Deriving Parallel Codes via Invariants., 2017-05-24
• Towards Systematic Parallel Programming over MapReduce., 2017-05-24
• Parallelization with Tree Skeletons., 2017-05-24
• Domain-Specific Optimization Strategy for Skeleton Programs., 2017-05-24
• Programming with BSP Homomorphisms., 2017-05-24
• Generators-of-Generators Library with Optimization Capabilities in Fortress., 2017-05-24
• GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations., 2017-05-23
• Issues in representing domain-specific concerns in model-driven engineering., 2017-05-23
• A Compositional Framework for Mining Longest Ranges., 2017-05-23
• Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolution., 2017-05-23
• Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation., 2017-05-23
• Maximum Marking Problems with Accumulative Weight Functions., 2017-05-23
• Construction of List Homomorphisms by Tupling and Fusion., 2017-05-22
• A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming., 2017-05-22
• Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem., 2017-05-22
• Swapping Arguments and Results of Recursive Functions., 2017-05-22
• An Injective Language for Reversible Computation., 2017-05-22
• Systematic Development of Correct Bulk Synchronous Parallel Programs., 2017-05-22
• Generation of Efficient Programs for Solving Maximum Multi-marking Problems., 2017-05-21
• A Web Service Architecture for Bidirectional XML Updating., 2017-05-21
• Towards a Modular Program Derivation via Fusion and Tupling., 2017-05-21
• Gabor Features-Based Classification Using SVM for Face Recognition., 2017-05-19
• An Accumulative Parallel Skeleton for All., 2017-05-19
• An Algebraic Approach to Bi-directional Updating., 2017-05-19
• PType System: A Featherweight Parallelizability Detector., 2017-05-19
• Cheap Tupling in Calculational Form., 2017-05-19
• Context-Preserving XQuery Fusion., 2017-05-19
• Deterministic Higher-Order Patterns for Program Transformation., 2017-05-17
• Calculating a New Data Mining Algorithm for Market Basket Analysis., 2017-05-17
• Filter-embedding semiring fusion for programming with MapReduce., 2017-05-17
• An Efficient Staging Algorithm for Binding-Time Analysis., 2017-05-17
• Marker-Directed Optimization of UnCAL Graph Transformations., 2017-05-17
• Parallelization via Context Preservation., 2017-05-17
• Parsing and reflective printing, bidirectionally., 2016-12-02