5 citations · 10 across the 6 of their papers we have counts for
9 papers
AI Assistants: A Framework for Semi-Automated Data Wrangling
Tomas Petricek, Gerrit J. J. van den Burg, Alfredo Nazábal +3
Data wrangling tasks such as obtaining and linking data from various sources, transforming data formats, and correcting erroneous records, can constitute up to 80% of typical data…
Typed Image-based Programming with Structure Editing
Jonathan Edwards, Tomas Petricek
Many beloved programming systems are image-based: self-contained worlds that persist both code and data in a single file. Examples include Smalltalk, LISP, HyperCard, Flash, and sp…
System for multi-robotic exploration of underground environments CTU-CRAS-NORLAB in the DARPA Subterranean Challenge
Tomáš Rouček, Martin Pecka, Petr Čížek +19
We present a field report of CTU-CRAS-NORLAB team from the Subterranean Challenge (SubT) organised by the Defense Advanced Research Projects Agency (DARPA). The contest seeks to ad…
Linked visualisations via Galois dependencies
Roly Perera, Minh Nguyen, Tomas Petricek +1
We present new language-based dynamic analysis techniques for linking visualisations and other structured outputs to data in a fine-grained way, allowing a user to interactively ex…
Foundations of a live data exploration environment
Tomas Petricek
Context: A growing amount of code is written to explore and analyze data, often by data analysts who do not have a traditional background in programming, for example by journalists…
What we talk about when we talk about monads
Tomas Petricek
Computer science provides an in-depth understanding of technical aspects of programming concepts, but if we want to understand how programming concepts evolve, how programmers thin…