Write a Blog >>
Thu 22 Jun 2017 13:40 - 14:10 at Vertex WS215 - Incremental computing 2: Research talks

Many domains require fast, efficient incremental algorithms with no runtime overhead, such as in approximate inference algorithms for machine learning. Currently, such algorithms must be produced manually. We propose the use of program synthesis to automate this work, since it is easily extensible, the generated programs are fast, and there is no runtime overhead. We explain the algorithm on a simple example and provide a comparison of synthesis to other techniques that automate incrementalization.

Thu 22 Jun

ic-2017-papers
13:40 - 15:20: IC 2017 - Incremental computing 2: Research talks at Vertex WS215
ic-2017-papers149813160000013:40 - 14:10
Talk
File Attached
ic-2017-papers149813370000014:15 - 14:45
Talk
File Attached
ic-2017-papers149813580000014:50 - 15:20
Talk
File Attached