research
∙
09/20/2023
Live Local Schema Change: Challenge Problems
Schema change is an unsolved problem in both live programming and local-...
share
research
∙
02/14/2020
Bacatá: Notebooks for DSLs, Almost for Free
Context: Computational notebooks are a contemporary style of literate pr...
research
∙
08/16/2019
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions (Technical Report)
Concurrent objects with asynchronous messaging are an increasingly popul...
research
∙
02/01/2019