research
∙
02/24/2022
Synthesizing Efficient Dynamic Programming Algorithms
Dynamic programming is an important optimization technique, but designin...
share
research
∙
02/24/2022
Black-Box Algorithm Synthesis – Divide-and-Conquer and More
Algorithm synthesis is a newly emerging branch of program synthesis, tar...
research
∙
05/30/2021
Occam Learning Meets Synthesis Through Unification
The generalizability of PBE solvers is the key to the empirical synthesi...
research
∙
05/06/2021
Analytical Differential Calculus with Integration
Differential lambda-calculus was first introduced by Thomas Ehrhard and ...
research
∙
10/17/2020
iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose?
The vertex-centric programming model, designed to improve the programmab...
research
∙
07/13/2020
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
Cyber-physical space systems are engineered systems operating within phy...
research
∙
01/07/2020
Retentive Lenses
Based on Foster et al.'s lenses, various bidirectional programming langu...
research
∙
11/14/2019
Programmable View Update Strategies on Relations
View update is an important mechanism that allows updates on a view by t...
research
∙
10/24/2019
Toward Co-existing Database Schemas based on Bidirectional Transformation
According to strong demands for rapid and reliable software delivery, co...
research
∙
10/14/2019
FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence
This paper presents a new distributed-memory algorithm called FastSV for...
research
∙
04/24/2019
Blockchain-based Bidirectional Updates on Fine-grained Medical Data
Electronic medical data sharing between stakeholders, such as patients, ...
research
∙
11/05/2018
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels
Pregel's vertex-centric model allows us to implement many interesting gr...
research
∙
09/27/2018
Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -
Views are known mechanisms for controlling access of data and for sharin...
research
∙
03/18/2018