17 citations · 43 across the 17 of their papers we have counts for
19 papers
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…
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…
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…
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…
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…
Learning for Active 3D Mapping
Karel Zimmermann, Tomas Petricek, Vojtech Salansky +1
We propose an active 3D mapping method for depth sensors, which allow individual control of depth-measuring rays, such as the newly emerging solid-state lidars. The method simultan…
Miscomputation in software: Learning to live with errors
Tomas Petricek
Computer programs do not always work as expected. In fact, ominous warnings about the desperate state of the software industry continue to be released with almost ritualistic regul…
Types from data: Making structured data first-class citizens in F#
Tomas Petricek, Gustavo Guerra, Don Syme
Most modern applications interact with external services and access data in structured formats such as XML, JSON and CSV. Static type systems do not understand such formats, often…
In the Age of Web: Typed Functional-First Programming Revisited
Tomas Petricek, Don Syme, Zach Bray
Most programming languages were designed before the age of web. This matters because the web changes many assumptions that typed functional language designers take for granted. For…
The semantic marriage of monads and effects
Dominic Orchard, Tomas Petricek, Alan Mycroft
Wadler and Thiemann unified type-and-effect systems with monadic semantics via a syntactic correspondence and soundness results with respect to an operational semantics. They conje…
Evaluation strategies for monadic computations
Tomas Petricek
Monads have become a powerful tool for structuring effectful computations in functional programming, because they make the order of effects explicit. When translating pure code to…