9 citations · 30 across the 14 of their papers we have counts for
15 papers
Automating Thinning Theorem: Synthesizing Efficient Dynamic Programming Algorithms
Ruyi Ji, Tianran Zhu, Yingfei Xiong +1
Dynamic programming is an important optimization technique, but designing efficient dynamic programming algorithms can be difficult for even professional programmers. Thinning, a t…
Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
Ruyi Ji, Yuwei Zhao, Yingfei Xiong +3
Algorithmic paradigms such as divide-and-conquer (D&C) are proposed to guide developers in designing efficient algorithms, but it can still be difficult to apply algorithmic paradi…
Occam Learning Meets Synthesis Through Unification
Ruyi Ji, Jingtao Xia, Yingfei Xiong +1
The generalizability of PBE solvers is the key to the empirical synthesis performance. Despite the importance of generalizability, related studies on PBE solvers are still limited.…
Analytical Differential Calculus with Integration
Han Xu, Zhenjiang Hu
Differential lambda-calculus was first introduced by Thomas Ehrhard and Laurent Regnier in 2003. Despite more than 15 years of history, little work has been done on a differential…
iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose?
Ludovic A. R. Capelli, Zhenjiang Hu, Timothy A. K. Zakian +2
The vertex-centric programming model, designed to improve the programmability in graph processing application writing, has attracted great attention over the years. However, shared…
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
Nianyu Li, Christos Tsigkanos, Zhi Jin +2
Cyber-physical space systems are engineered systems operating within physical space with design requirements that depend on space, e.g., regarding location or movement behavior. Th…
Retentive Lenses
Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko +1
Based on Foster et al.'s lenses, various bidirectional programming languages and systems have been developed for helping the user to write correct data synchronisers. The two well-…
Programmable View Update Strategies on Relations
Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
View update is an important mechanism that allows updates on a view by translating them into the corresponding updates on the base relations. The existing literature has shown the…
Toward Co-existing Database Schemas based on Bidirectional Transformation
Jumpei Tanaka, Van-Dang Tran, Hiroyuki kato +1
According to strong demands for rapid and reliable software delivery, co-existing database schema versions with multiple application versions are reality to contribute them. Curren…
FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence
Yongzhe Zhang, Ariful Azad, Zhenjiang Hu
This paper presents a new distributed-memory algorithm called FastSV for finding connected components in an undirected graph. Our algorithm simplifies the classic Shiloach-Vishkin…
Blockchain-based Bidirectional Updates on Fine-grained Medical Data
Chunmiao Li, Yang Cao, Zhenjiang Hu +1
Electronic medical data sharing between stakeholders, such as patients, doctors, and researchers, can promote more effective medical treatment collaboratively. These sensitive and…
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels
Yongzhe Zhang, Zhenjiang Hu
Pregel's vertex-centric model allows us to implement many interesting graph algorithms, where optimization plays an important role in making it practically useful. Although many op…
Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -
Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu +10
Views are known mechanisms for controlling access of data and for sharing data of different schemas. Despite long and intensive research on views in both the database community and…
A View-based Programmable Architecture for Controlling and Integrating Decentralized Data
Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu +9
The view and the view update are known mechanism for controlling access of data and for integrating data of different schemas. Despite intensive and long research on them in both t…
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access
Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
Pregel is a popular distributed computing model for dealing with large-scale graphs. However, it can be tricky to implement graph algorithms correctly and efficiently in Pregel's v…