Project

General

Profile

Skype Meeting 06092016 » History » Version 9

« Previous - Version 9/21 (diff) - Next » - Current version
Sepideh Asadi, 06/09/2016 21:52


Skype Meeting 06092016

Updates of current tasks:

Antti:

Karine: is working on new version of CBMC- and refinement.

Sepideh:

=========================================

Things we agreed to do this week:

Antti: Uploaded the benchmark of Milano guys, FABRIZIO PASTORE,(also will upload more)

Karine:

Sepideh:
1) We need to know how consistent the results of experiment are, so Sepideh will prepare Scatter plot, and compare the results.
2) she will do experiment on Milano guys' benchmark.
3) benchmarking the OpenSMT2 incrementality implementation

--------------
We need to have proper benchmark for interpolation.