IncAL: A DSL for Incremental Program Analysis with Lattices (IC 2017 - First Workshop on Incremental Computing)

Write a Blog >>

Sun 18 - Fri 23 June 2017 Barcelona, Spain

co-located with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

Who

Tamás Szabó, Markus Völter, Sebastian Erdweg

Track

IC 2017

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 22 Jun 2017 11:40 - 12:10 at Vertex WS215 - Incremental computing 1: Keynote + Research talk

Abstract

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.

File attachments

(ic17-paper4.pdf)	1.30MiB

Tamás Szabó

itemis AG / TU Delft

Germany

Markus Völter

itemis/independent

Sebastian Erdweg

TU Delft

Netherlands