17 citations · 43 across the 17 of their papers we have counts for
3 papers · 1 filter
Live & Local Schema Change: Challenge Problems
Jonathan Edwards, Tomas Petricek, Tijs van der Storm
Schema change is an unsolved problem in both live programming and local-first software. We include in schema change any change to the expected shape of data, whether that is expres…
Self-Supervised Depth Correction of Lidar Measurements from Map Consistency Loss
Ruslan Agishev, Tomáš Pětříček, Karel Zimmermann
Depth perception is considered an invaluable source of information in the context of 3D mapping and various robotics applications. However, point cloud maps acquired using consumer…
Technical Dimensions of Programming Systems
Joel Jakubovic, Jonathan Edwards, Tomas Petricek
Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a…