research
∙
10/04/2021
Weakly Durable High-Performance Transactions
Existing disk-based database systems largely fall into two categories – ...
share
research
∙
10/30/2020
Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design
In dependently typed programming, proofs of basic, structural properties...
research
∙
01/07/2020
Retentive Lenses
Based on Foster et al.'s lenses, various bidirectional programming langu...
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