Onward! 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
Fri 27 Oct 2017 13:30 - 14:00 at Regency B - New Languages Chair(s): Adrian Sampson

We present Infra, a new baseline medium for representing data. With Infra, arbitrarily-complex structured data can be encoded, viewed, edited and processed, all within a parsed paradigm. It is suitable for the full range of information modalities, from free-form input, to compact schema-conforming structures. With its own equivalent of a text editor and text field widget, Infra is designed to target the domain currently dominated by flat character strings while simultaneously enabling the expression of sub-structure, inter-reference, dynamic dependencies, abstraction, computation, and context (metadata).

Existing metaformats fit neatly into two categories. They are either textual for human readability (such as XML and JSON) or binary for compact serialization (such as Thrift and Protocol Buffers). Infra can play the role of either, imbuing each with the desirable properties of the other.

We show how the new level of organization Infra brings to data makes a new non-textual programming paradigm viable. Programs that modify data can now be embedded into the data itself. Furthermore, these programs can often be authored by demonstration. We argue that Infra can be used to improve existing software projects and that bringing direct authoring and human readability to a binary data paradigm could have rippling ramifications on the computing landscape.

Fri 27 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
New LanguagesOnward! Papers at Regency B
Chair(s): Adrian Sampson Cornell University
13:30
30m
Talk
Infra: Structure All the Way Down - Structured Data as a Visual Programming Language
Onward! Papers
14:00
30m
Talk
Selfie and the Basics
Onward! Papers
Christoph Kirsch University of Salzburg
14:30
30m
Talk
Systems Level Liveness with AnonSystem
Onward! Papers
Andrew Sorensen Australian National University, Henry Gardner The Australian National University