1 citations · 1 across the 2 of their papers we have counts for
5 papers
Weakly Durable High-Performance Transactions
Yun-Sheng Chang, Yu-Fang Chen, Hsiang-Shang Ko
Existing disk-based database systems largely fall into two categories -- they either provide very high performance but few guarantees, or expose the transaction abstraction satisfy…
Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design
Hsiang-Shang Ko
In dependently typed programming, proofs of basic, structural properties can be embedded implicitly into programs and do not need to be written explicitly. Besides saving the effor…
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-…
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…