5 papers
Baseline: Operation-Based Evolution and Versioning of Data
Jonathan Edwards, Tomas Petricek
Baseline is a platform for richly structured data supporting change in multiple dimensions: mutation over time, collaboration across space, and evolution through design changes. It…
Formal Semantics and Type System for Vega Data Transformations
Kristýna PetrlÃková, Tomas Petricek
Vega is a popular declarative language for creating interactive data visualizations. It supports reactive data transformations using its streaming dataflow architecture. Despite it…
Schema Evolution in Interactive Programming Systems
Jonathan Edwards, Tomas Petricek, Tijs van der Storm +1
Many improvements to programming have come from shortening feedback loops, for example with Integrated Development Environments, Unit Testing, Live Programming, and Distributed Ver…
Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory
Jan Liam Verter, Tomas Petricek
There are two kinds of systems that programming language researchers use for their work. Semantics engineering tools let them interactively explore their definitions, while proof a…
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…