PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / IC 2017 (series) /
IC 2017 Program
This is the IC 2017 program - see the full program for PLDI 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:10 | |||
10:30 70mTalk | Keynote: Incrementalizing the Rust Compiler IC | ||
11:40 30mTalk | IncAL: A DSL for Incremental Program Analysis with Lattices IC File Attached |
13:40 - 15:20 | |||
13:40 30mTalk | Automated Incrementalization through Synthesis IC File Attached | ||
14:15 30mTalk | IceDust Calculation Strategy Composition Performance in Web Applications IC File Attached | ||
14:50 30mTalk | Automatic Incrementalization of Functional Reports IC File Attached |
15:50 - 17:30 | |||
15:50 30mTalk | Incremental Relational Lenses IC File Attached | ||
16:25 30mTalk | 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 30mTalk | Tuning Data and Control Structures for Incremental Computation IC Kyle Headley University of Colorado Boulder File Attached |