A programming model representing reprogrammable interactive software as a declarative data structure.

Abstract

Codestrate Packages: An Alternative to “One-Size-Fits-All” Software

Most modern applications are immutable and turn-key despite the acknowledged benefits of empowering users to modify their software. Writing extensible software remains challenging, even for expert programmers. Reprogramming or extending existing software is often laborious or wholly blocked, requiring sophisticated knowledge of application architecture or setting up a development environment. We present Varv, a programming model representing reprogrammable interactive software as a declarative data structure. Varv defines interactive applications as a set of concepts that consist of a schema and actions. Applications in Varv support incremental modification, allowing users to reprogram through addition and selectively suppress, modify, or add behavior. Users can define high-level concepts, creating an abstraction layer and effectively a domain-specific language for their application domain, emphasizing reuse and modification. We demonstrate the reprogramming and collaboration capabilities of Varv in two case studies and illustrate how the event engine allows for extensive tooling support.

Time Frame
2021–2022

Context
PhD Research Project

Collaborators
Luke Murray
Rolf Bagge
Janus Bager Kristensen
Arvind Satyanarayan
Clemens N. Klokmose

Keywords
Declarative Programming, Reprogramming, Interactive Software, Liveness, Real-time Collaboration

Website
varv.projects.cavi.au.dk

Publications

Marcel Borowski, Luke Murray, Rolf Bagge, Janus Bager Kristensen, Arvind Satyanarayan, and Clemens N. Klokmose. 2022. Varv: Reprogrammable Interactive Software as a Declarative Data Structure. In Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems (CHI '22). DOI: 10.1145/3491102.3502064

Media

Conference presentation of the CHI 2022 paper:

Overview of the programming model: