research
∙
09/20/2023
Live Local Schema Change: Challenge Problems
Schema change is an unsolved problem in both live programming and local-...
share
research
∙
03/02/2023
Self-Supervised Depth Correction of Lidar Measurements from Map Consistency Loss
Depth perception is considered an invaluable source of information in th...
research
∙
02/20/2023
Technical Dimensions of Programming Systems
Programming requires much more than just writing code in a programming l...
research
∙
10/31/2022
AI Assistants: A Framework for Semi-Automated Data Wrangling
Data wrangling tasks such as obtaining and linking data from various sou...
research
∙
10/18/2021
Typed Image-based Programming with Structure Editing
Many beloved programming systems are image-based: self-contained worlds ...
research
∙
10/12/2021
System for multi-robotic exploration of underground environments CTU-CRAS-NORLAB in the DARPA Subterranean Challenge
We present a field report of CTU-CRAS-NORLAB team from the Subterranean ...
research
∙
02/14/2020
Foundations of a live data exploration environment
Context: A growing amount of code is written to explore and analyze data...
research
∙
03/27/2018
What we talk about when we talk about monads
Computer science provides an in-depth understanding of technical aspects...
research
∙
08/07/2017