A programming model representing reprogrammable interactive software as a declarative data structure.
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.
PhD Research Project
Janus Bager Kristensen
Clemens N. Klokmose
Declarative Programming, Reprogramming, Interactive Software, Liveness, Real-time Collaboration
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
Conference presentation of the CHI 2022 paper:
Overview of the programming model: