Write a Blog >>

We describe IncAL, a DSL for incremental lattice-based program analyses. IncAL is an extension of our previous work, IncA, which supported relational program analyses, that has been used for practically relevant analyses on industrial code bases. IncAL improves the expressive power of IncA by adding support for synthesis of data, enabling, for example, incremental execution of interval analysis.

(ic17-paper4.pdf)1.30MiB

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