Write a Blog >>

The First Workshop on Incremental Computing (IC) will provide a space where PL enthusiasts and researchers can come to discuss incremental computing problems and solutions. A computation is incremental if repeating it with a changed input is faster than from-scratch recomputation. Incremental computations can be found across a wide range of computing domains, and thus across many areas of computer science. Consider the following examples:

  • spreadsheet evaluation,
  • the database view maintenance problem
  • incremental compilation management
  • the rendering pipeline of web browsers
  • artificial intelligence and planning in games and in robots
  • motion simulation in computational geometry
  • interactive features of integrated development environments (including incremental parsing, typing, verification and testing).

In each problem domain, practitioners engineer incremental computations to fulfill a practical need: Without these techniques, a system may be too unresponsive or inefficient to be useful, or at the very least, its utility would degrade.

In the area of PL, researchers are particularly interested in language-based approaches to incremental computation. In contrast to the algorithms community that often studies each incremental problem in isolation (e.g., incremental convex hull), PL researchers study large classes of incremental programs that are defined by a programming language. The scope of this programming language may vary, and be intended as general-purpose or domain-specific. In either case, the language and associated algorithmic techniques express the behavior of many incremental programs.

Accepted Papers

Title
Automated Incrementalization through Synthesis
IC
File Attached
Automatic Incrementalization of Functional Reports
IC
File Attached
IceDust Calculation Strategy Composition Performance in Web Applications
IC
File Attached
IncAL: A DSL for Incremental Program Analysis with Lattices
IC
File Attached
Incremental Relational Lenses
IC
File Attached
Privacy-aware Distributed Incremental Computation
IC
File Attached
Tuning Data and Control Structures for Incremental Computation
IC
File Attached

Call for Papers

IC solicits talk proposals from the community. A good talk at IC probably consists of one or more of the following:

  • explain an existing language or framework for incremental computing,
  • outline an incremental computing domain in detail, highlighting challenges,
  • outline a new incremental computing problem, or problem domain,
  • propose a new language or framework for incremental computing,

This list is not exhaustive, but merely suggestive.

Submissions for talks: Authors will submit at most a 2-page PDF document, in at least 10pt font, printable on US Letter paper. Authors are free to include links to multi-media content such as github projects, youtube videos or online demos. Reviewers may or may not view linked documents (it is up to authors to convince them to do so in their 2-page submission). Authors should not assume that reviewers will be experts in the particular area of the submission – they will most likely not be. All submissions should be accessible to a wide range of programming language researchers.

Submission will be handled through HotCRP. Click https://ic17.hotcrp.com/ to submit a paper.

Reviewing of submissions will be very light. Authors should not expect a detailed analysis of their submission by the program committee. Accepted submissions will be posted as is on this on this web site. By submitting a document, you agree that if it is accepted, it may be posted and you agree that one of the co-authors will attend the workshop and give a talk there. There will be no revision process and no formal publication.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 22 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Incremental computing 1: Keynote + Research talkIC at Vertex WS215
10:30
70m
Talk
Keynote: Incrementalizing the Rust Compiler
IC
K: Nicholas Matsakis Mozilla Corporation
11:40
30m
Talk
IncAL: A DSL for Incremental Program Analysis with Lattices
IC
Tamás Szabó itemis AG / TU Delft, Markus Völter itemis/independent, Sebastian Erdweg TU Delft
File Attached
13:40 - 15:20
Incremental computing 2: Research talksIC at Vertex WS215
13:40
30m
Talk
Automated Incrementalization through Synthesis
IC
Rohin Shah University of California, Berkeley, Rastislav Bodik University of Washington
File Attached
14:15
30m
Talk
IceDust Calculation Strategy Composition Performance in Web Applications
IC
Daco Harkes Delft University of Technology, Eelco Visser Delft University of Technology
File Attached
14:50
30m
Talk
Automatic Incrementalization of Functional Reports
IC
Ken Friis Larsen DIKU, University of Copenhagen, Fritz Henglein DIKU, Denmark
File Attached
15:50 - 17:30
Incremental computing 3: Research talksIC at Vertex WS215
15:50
30m
Talk
Incremental Relational Lenses
IC
Rudi Horn University of Edinburgh, James Cheney University of Edinburgh, UK
File Attached
16:25
30m
Talk
Privacy-aware Distributed Incremental Computation
IC
Mirko Köhler Technical University of Darmstadt, Philipp Haller KTH Royal Institute of Technology, Sebastian Erdweg TU Delft, Mira Mezini TU Darmstadt, Guido Salvaneschi TU Darmstadt
File Attached
17:00
30m
Talk
Tuning Data and Control Structures for Incremental Computation
IC
Kyle Headley University of Colorado Boulder
File Attached